diff --git a/content/emfrp.md b/content/emfrp.md new file mode 100644 index 00000000..22ef3029 --- /dev/null +++ b/content/emfrp.md @@ -0,0 +1,16 @@ +--- +date: 2024-12-02 16:21 +--- +#programming-language #frp + +[GitHub - psg-titech/emfrp: Pure Functional Reactive Programming Language for Small-Scale Embedded Systems](https://github.com/psg-titech/emfrp) + +東工大(科学大)で研究されている、組み込みシステム向けの[[Functional Reactive Programming]]を想定した言語 + +`x@last`という演算子でxの直前の時刻の計算結果を利用できる([[mimium]]の`self`に近しい機能) + +もともとは再帰データ型を許さない、高階関数を許さないことで有限なメモリサイズを保証していたが、最大サイズを型として指定することでリストのような再帰データ構造を部分的に許す拡張などが行われている + +[PPL2020a\_paper.pdf](https://www.psg.c.titech.ac.jp/files/PPL2020a_paper.pdf) + +