ハスケルのような純粋な関数型言語の背後にある理論を学ぶための参考資料？

Question

ハスケルを学びながら、私はいつも私にすべてを教えてくれるわけではないので、本当にそれを理解するために、私は型システムの背後にある理論、そのようなモナドと概念を知りたいと思っているという気持ちがありました。

これらのコンセプトのほとんどは、私が聞いたカテゴリ理論から来ているので、このトピックと関連するトピックに関するいくつかの良い本/ウェブサイトはありますか？

Answer 1

論文by Philip WadlerとSimon Peyton Jonesは、Haskellの背後にある理論を始めるはずです。サイモン・ペイトン・ジョーンズの本The Implementation of Functional Programming Languages（オンラインで入手可能）はかなり古く、しかも面白いです。

Answer 2

このトピックに関するいくつかの研究論文を見ることをお勧めします。フィリップ・ワドラーの「モナドを理解する」と「機能プログラミングのためのモナド」は、モナドを理解するための2つの良い出発点です。

ほとんどのリンクはhttp://www.haskell.org/haskellwiki/Research_papersにあります。

Answer 3

ハスケルは、ヒンドレーミルナー型システムを持っています。詳細については、Wikipediaおよびthis blog postを参照してください。

Answer 4

おそらく、このblog postが役に立ちます。

Answer 5

本当に関数型言語を理解したい場合、ラムダの計算は間違いなく無駄です。 Henk Barendregt's introductionと彼のbook（全文オンライン）をお勧めします。