>>44 は次世代のプログラミングを考えるスレにおいて
>>43 が単なるイメージ「だけ」で論理実証とかいう言葉と Haskell を結びつけているのか、
それとも意味があって結びつけているのかを試している

具体的に、どのような理論の実証を Haskell でやっているのか訊きたい
そしてそれが、Haskell が学術系言語と言うに相応しいほど一般的なのか

代わりに >>45 が解説してくれるのなら、してくれ

Haskell は確かに色々な用途で使えるからそういう用途もあるだろうとは思う
ただ、Haskell を何らかの理論を実証するためのものと位置づけている学者より、
それ以外の用途（事務処理や趣味など）と位置づけている人間の方が圧倒的に多いぞ

そもそも、Haskell は実用的なプログラミング ツールとして開発された言語であり
（http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/）
その理念・目的は今も変わっていないし、そのような方向に向けて進化させようとしている