tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[obsidian] vault backup: 2024-12-02 17:27:05[
All checks were successful
Build / build (push) Successful in 3m27s
Details

Browse Source
This commit is contained in:
松浦 知也 Matsuura Tomoya 2024-12-02 17:27:05 +09:00
parent 608f5d6e22
commit 9cf5f6ad33
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
content/emfrp.md Normal file
View File

@ -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)