- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
207 ：デフォルトの名無しさん[sage]：2015/08/08(土) 10:56:41.88 ID:fC37rrhT - >>206
逆だよ。ラッセルのような論理主義は自然言語が曖昧性を持ち、真理を記述するのに不適格だと
考えて記号論理を推進した。そのラッセルが生み出した型理論を（大幅に）修正したものが
強い型を持つ言語の基盤になっている。
自然言語による真理記述に興味を持ち続けた学者もいるけど、少数派（間違いだといいたいわけじゃない）
で、今日のプログラミング言語には全く影響を与えていない。
|
|