この資源を学びラムダ計算?[定休日]

Question

ので文を引用される場合は、出典が"エントリー ラムダ計算 面白かったん終了します。私はダイビングをしたい少し深く理解を深めのラムダ計算.

誰でもできるのでお勧めしうると考えられるので、プライマーをラムダ計算?

Answer 1

あなたはWikipediaのエントリで行われている場合、

は、noreferrer">計算機プログラムの構造と解釈をrel="nofollow href="http://mitpress.mit.edu/sicp/"オンライン、割り当てを行う、またはブックを読みます。

Answer 2

まあ、常にあります<のhref = "http://web.archive.org/web/20170809103332if_/http://gpl.internetconnection.net/mirror-lambda-calculus.pdf" のrel = "nofollowをnoreferrer" >ラムダ計算の概要に。私はそれを数回読んで試してみたが、常に捕まってしまいました。私はすでにこのようなもののほとんどを知っていて、それがLispの/スキームではなく、数学の観点から提示された場合は、おそらくそれを理解する簡単に時間を持っているでしょうしつこい感じを持っています。あなたはしかし、より良い運を持っている場合があります）。

Answer 3

私は、「コンピュータ科学者のラムダ結石への導入」によって発見かなり良いが、私はだけは本当に一つのクラスのためにそれを使用するためにクリスハンキン - 現実の世界でそれを使用していない：）

の

Answer 4

言語の構文ではなく、パーサーを経由してビルドを使用して理想的な関数型言語では、ラムダ計算のinterpetterを書いてみてください。これは驚くほど簡単で、それのためのあなたの感触を改善するための良い方法です。

Answer 5

私は最近、「ラムダ計算を通じて、関数型プログラミング入門として題しアマゾンから本を買っ「グレッグ・マイケルソンによってに。これは、関数型プログラミングへの導入をよりであり、またラムダ計算を紹介します。第一印象はかなり良いです。自己完結して本を読みやすいです。 ここに、あなたは、PostScriptにインデックスなしの無料版をダウンロードすることができます。

Answer 6

本当に私は、ラムダ計算を使用して理解するために開始作られた本は、ブラックバーンとボスによる「自然言語のための表現と推論」でした。これは、プロローグを使用して自然言語処理についての本です。あなたは検討するかもしれないもう一つの本は、アレンによる「自然言語理解」です。あなたはラムダ計算を好きならコンビネータは、ラムダ式のように定義することができます最後に、あなたはおそらくも、結合論理をお楽しみいただけます。このために、私は強く「モッキンバードをモックするには。」、パズルのSmullyanの本をお勧めします終わりに向かって、彼は初歩的なプログラミング言語を構築するためにコンビネータを使用します。

Answer 7

私はラムダ計算自体の主題上の参照はまだ Barendregtの本だと思います。

の

タイピング：

これはかなり興味のあるものをラムダ計算の「一部」に依存していることを越えて？証明論？書き換え用語？関数型プログラミング？

これらのそれぞれは、それ自体ではフィールドであり、私はそれをすべてをカバーしてどんな本を知りません。

Answer 8

ここには素敵な説明を使用スキーム): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf

このビビット(らん)低減、再帰的要因の専lambdas:http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

お楽しみに！