[obsidian] vault backup: 2026-01-09 13:08:38[

2026-01-09 13:08:38 +09:00
parent 8924855866
commit ebf256982d
3 changed files with 25 additions and 6 deletions
--- a/content/emfrp.md
+++ b/content/emfrp.md
@@ -7,7 +7,7 @@ date: 2024-12-02 16:21

 東工大（科学大）で研究されている、組み込みシステム向けの[[Functional Reactive Programming]]を想定した言語

-`x@last`という演算子でxの直前の時刻の計算結果を利用できる（[[mimium]]の`self`に近しい機能）
+`x@last`という演算子でxの直前の時刻の計算結果を利用できる（[[mimium]]の`mem`と`self`に近しい機能）

 もともとは再帰データ型を許さない、高階関数を許さないことで有限なメモリサイズを保証していたが、最大サイズを型として指定することでリストのような再帰データ構造を部分的に許す拡張などが行われている