[obsidian] vault backup: 2025-09-23 01:39:19[

2025-09-23 01:39:19 +09:00
parent 6d721cd9b6
commit f08ff8368c
2 changed files with 7 additions and 5 deletions
--- a/content/Incremental
+++ b/content/Incremental
@@ -23,8 +23,8 @@ date: 2025-08-20 15:12

 きちんと文脈を持ち越すためにはエディタレベルでの編集履歴と突き合わせる連携が必要となる（論文中では[[Emacs]]の拡張として実装しているらしい）

-この言語における関数定義と適用はあくまでコンパイル時計算（+や`*`は状態を持たないランタイム時に実行される計算ノード）
-
-
+(...でもこれって、「`(f 2) (f 3)`をまず`(f 5) (f 2)`へ書き換え、後ろに`(f 3)`を挿入した」の場合は、「`(f 5) (f 2)`へ書き換え」の時点でリロード、「(f 3)を挿入」の時点で再度リロードってコンパイルのタイミングを細かく分割できればそこまで問題にならないのではないか？)
+
+なおこの言語における関数定義と適用はあくまでコンパイル時計算（+や`*`は状態を持たないランタイム時に実行される計算ノード）