Functional Reactive Programming

Dynamicの機構の似ているような違うような機構でFunctional Reactive Programming というものもある．
電子回路とかロボット制御に使われているらしい．ある瞬間における電圧とかアームの位置とかを，時間t の 微分方程式で表現するそうだ

• 4th International School on Functional Programming, AFP 2002

• http://portal.acm.org/citation.cfm?id=944720

Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, graphical user interfaces, robotics, and computer vision.

ところで，Reactive Functional Programming を使ってコンパイラを作る酔狂な方はいないのか．

Compiler :: [Source] -> ([Binary], [Error])

[Source] の一部が変わったら，[Binary] や [Error] の一部が変わる，というコンパイラが簡単に作れそうだ