松浦 知也 Matsuura Tomoya
9cf5f6ad33
All checks were successful
Build / build (push) Successful in 3m27s
844 B
844 B
| date |
|---|
| 2024-12-02 16:21 |
#programming-language #frp
東工大（科学大）で研究されている、組み込みシステム向けのFunctional Reactive Programmingを想定した言語
x@lastという演算子でxの直前の時刻の計算結果を利用できる（mimiumのselfに近しい機能）
もともとは再帰データ型を許さない、高階関数を許さないことで有限なメモリサイズを保証していたが、最大サイズを型として指定することでリストのような再帰データ構造を部分的に許す拡張などが行われている