ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記

ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり

[sadness_ojisan]

簡約の対応が分かりやすい

[jsstudy]

ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです.　関数を作る構文を抽象(abstraction)と言います. 　ラムダ計算の式を実行することを簡約(reduction)と言います.

[nminoru]

Schemeで勉強しますた。

[yorisilo]

計算

[muto_masa]

ラムダラムダ

[tuka_koto]

　単純に、記号論と新しい定義のような感じで読めば、いい感じですね。　Wikipediaのほうは、α同値の説明が不足している感じだったので、助かります。

[Hash]

勉強する

[choplin]

reading / "ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記"

[udzura]

数学ガ～ルの三巻を熟読すればラムダ計算が分かる気がしてきた

[taki0313]

あとで読む

[iaskell]

なるほどわからん

[rakk]

"参考 5. プログラミング言語の意味論(PDF)"

[Sin_K]

もう一回勉強しなおそう…orz

[sukepyon]

うーん、簡約の最後の例がどうも分からないな。どういう順番で変形してるんだろう。勉強不足です。

[imo_jo_chu]

うむ。わからん。わからんが何回も読む。

[tanakaBox]

コンビネータいろいろ

[ytel]

ラムダ計算について学ぶときに後で見直す

[rin51]

λ...

[JULY]

ラムダ計算で来たか。

[ringtaro]

同じようなものが「入門Common Lisp」にあった。ような？あとで確認しよう。

[sakura-1]

λかわいいよλ

[uva]

なるほど、やっぱり全然理解できてないな俺

[aont]

「ラムダ計算基礎文法最速マスター」ラムダ式とか物理系の自分にはさっぱりだ…

[osiire]

これは素晴らしい。ラムダ計算はもっと知られるべき。

[coppieee]

ラムダぁあああああ！

[nakag0711]

1.「左(右)結合」というのは同一の演算子が続くときにどちらから結合するかの話ではなかったか 2.λxyz.x z (y z)の(y z)の意味がわからず／追記了解多謝

[nitoyon]

大学で最初見たときは何がなんやらさっぱりだったが、関数型言語を少しかじったおかげで理解しやすい。が、途中からわけわからなくなった。

[yagiey]

やっと出た！

[hakobe932]

らむだかわいい

[mattn]

λλλλλλλλλλλλλλλλλλλλλλλλλλλλ ← レミングス