- 307 名前：）のは技術
個々のプログラミング言語、特に実用を目指している言語、は
言語に関する様々な理論（構文の理論や意味論などで、これらは自然科学ではないが数学という科学…形式哲学とでも呼ぶべきもの…の一分野の成果）の
適用としてより「容易にプログラムを書ける」とか「よりバグの発生する可能性を減らす」といった現世的な御利益つまり価値の増大や創造を求めたものだから
> というわけでHaskellの成果を挙げて
うん、技術的成果としてのプログラミング言語に対して、この要請は実に適切だね [] - [ここ壊れてます]
