>>870
> で、機械語は手続き型で動作する。

CPU に入力する機械語や解釈の構造が関数型というのは、
机上の空論だとしても理論的には可能なのかな？

そもそも、どういうのか想像もできんが