SWEST23 Talk

Posted on September 2, 2021

関数リアクティブプログラミング言語による小規模組込みシステムのプログラミング

渡部卓雄
第23回 組込みシステム技術に関するサマーワークショップ(SWEST23), Sep. 2-3, 2021.

概要

小規模組込みシステム向け関数リアクティブプログラミング(FRP)言語Emfrpは,8bitマイクロコントローラでも動作する純粋関数型言語である.この言語ではセンサーの計測値などの時間とともに変化するデータを時変値と呼ばれるオブジェクトとして抽象化し,それらの関係を副作用のない関数として定義することで組込みシステムの動作を記述する.本発表では,Emfrpとそのプログラム例に加え,現在進行中の関連プロジェクトについて紹介する. (ベストポスター賞ゴールド受賞)