なぜ純粋関数型言語が本質なのか理解に苦しむ。
本質はチューリングマシンを祖としたノイマンコンピューターの手続き型。
それに最も近いのがアセンブラ、次にCでしょ。