昔、九大の人がデータフロー計算機上で、関数型言語の実装の研究してたね。