[obsidian] vault backup: 2024-11-23 02:35:13[

content/mimiumグローバル環境評価について.md

@@ -12,6 +12,21 @@ date: 2024-07-23 14:42
 
 importとか考え出したらグローバル環境は特別あつかいした方が良さそうだけど、現状では別にいいのか？
 
+---
+
+## 「弱い正規化」を導入しよう
+
+
+IFCで発表した操作的意味論では、delayやfeedのステップごとに実行までを定義した。
+
+しかし、delayとfeedをそれ以上簡約しない値だと捉えると、ラムダを全部評価すれば正規系として[[Faust]]のSignal APIに変換できる形になる。
+
+また、それに加えて入出力で関数をパラメーターに取ったり返却するものだけをあらかじめ簡約すれば、それを命令型に変換した時に可読性をキープすることもできる（Cコードにするとか）
+
+VMでクロージャを評価した結果が関数（クロージャのインスタンス）だった場合、それをラムダに戻すことは可能か？ upvalueで名前の情報失ってるから無理か
+
+
+