>>426
Haskellじゃダメなの?

世の中、手続きが大事だから、それが表現できない言語は失敗するよ。
(通信・ハードウェア制御・UI等)