プログラミング言語理論の研究

Question

私は最近、（機能的な）プログラミング言語の側面を理解し、証明することに非常に興味を持ちました。

しかし、私が深く掘り下げるにつれて、$ lambda $微調合、カテゴリ理論、および概算セマンティクスのようなものは、適切な説明なしでは少し困難です。

私はSICP（非常に啓発的な本）を読みましたが、機能的プログラミングの理論をより深く掘り下げたいと思っています。ゼロから機能的なプログラミング言語の理論について議論する本/ブログ/サイト/You-Name-Itはありますか？

Answer 1

$ lambda $ -calculusの表現セマンティクスを考慮する本で来るのは簡単ではありません。 1つの可能性は次のとおりです。

1. ロベルト・M・アマディオとピエール・ルイ・キュリアン： ドメインとラムダカルクリ

タイプ理論アカウントは、手に入れるのが簡単です：

1. ボブ・ハーパー、 プログラミング言語の実用的な基盤 （aもあります 印刷バージョン).
2. ベンジャミンピアス、 タイプとプログラミング言語.
3. フランク・ペンニングのコース 計算と控除, 、彼は同じタイトルの本も出版したと思います。

Answer 2

古い質問に対する新しい答え. 。あなたは興味があるかもしれません プログラマーのカテゴリ理論 Bartosz Milewskiによる。より一般的には、見ることができます Bartosz Milewskiのプログラミングカフェ ブログ。

Answer 3

これらの本は高い評価を持ち、さまざまな科学コミュニティに登場します。

サイモン・トンプソンによるタイプ理論と機能プログラミング。

コンピュータープログラムの構造と解釈