どの様な話？ 大抵のプログラム言語は、 関数（陽関数、陰関数を問わず）を基礎としている のは動かし難い事実だと思います。 では何で、それが関数”型”となるとしょぼくなるのでしょうか？ それを手続型プログラミングをベンチマークとして、公理型、論理型…