From e9cc3f36f9b515238679672335ce1b01ceaa5c92 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Sat, 23 Nov 2024 02:35:13 +0100 Subject: [PATCH] [obsidian] vault backup: 2024-11-23 02:35:13[ --- content/mimiumグローバル環境評価について.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/content/mimiumグローバル環境評価について.md b/content/mimiumグローバル環境評価について.md index 4b9ae46e..6eabc9f1 100644 --- a/content/mimiumグローバル環境評価について.md +++ b/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で名前の情報失ってるから無理か + + +