From 9cf5f6ad334dc8726e484def2bb67259ede1482a 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: Mon, 2 Dec 2024 17:27:05 +0900 Subject: [PATCH] [obsidian] vault backup: 2024-12-02 17:27:05[ --- content/emfrp.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 content/emfrp.md 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) + +