最強の数式処理系を考える [無断転載禁止]©2ch.net (28ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
3(1): 片山博文MZ ◆T6xkBnTXz7B0 2016/02/25(木)21:59 ID:MF+IFOM4O携(3/3) AAS
コンビネーター理論がよくわからない
18: 2017/07/05(水)23:59 ID:tI6WhfVD0(1) AAS
>>3
> コンビネーター理論がよくわからない
英語だがCambridge University Pressから出ているHindley & Seldinの入門書を読め
（新旧どちらでも良いし、取り敢えずはモデルの話とかは読まずに省いても良い
ちゃんと理解できれば面白い話題だけどプログラミングにはλやコンビネータのモデルの話は知らなくても影響ゼロ）
それ読んでも良く解らなかったなら自分はλやコンビネータには無縁の人間だと諦めろ
とにかくちゃんとわかりたければちゃんとした人が書いた入門用教科書、それも良い教科書を読むことだ
論文とか解説とかをつまみ食いしてる限りはちゃんと解らなくても仕方ない
単に色んなコンビネータの品評会みたいなのを知りたいだけならばSmullyanのTo Mock a Mocking Birdか
森北から出てる日本語訳を読め（俺自身は日本語訳は読んでないので訳の質は保証できないが）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.297s*