ソースコードの表現論の問題だ

逐次実行の数学的な表現方法が今のテキストベースのコードだ
時間を無視して一瞬で終わることを念頭に作られている

今は時間や状態の関与が著しい
だから50〜60年代に確立された学術的・数学的なコード表現と乖離している