東工大(科学大)で研究されている、組み込みシステム向けのFunctional Reactive Programmingを想定した言語
x@last
という演算子でxの直前の時刻の計算結果を利用できる(mimiumのself
に近しい機能)
もともとは再帰データ型を許さない、高階関数を許さないことで有限なメモリサイズを保証していたが、最大サイズを型として指定することでリストのような再帰データ構造を部分的に許す拡張などが行われている
東工大(科学大)で研究されている、組み込みシステム向けのFunctional Reactive Programmingを想定した言語
x@last
という演算子でxの直前の時刻の計算結果を利用できる(mimiumのself
に近しい機能)
もともとは再帰データ型を許さない、高階関数を許さないことで有限なメモリサイズを保証していたが、最大サイズを型として指定することでリストのような再帰データ構造を部分的に許す拡張などが行われている