数学初心者のための「型システム入門」入門 - 廻る技術の覗き穴

社内で「TaPLで殴りあう会*1」が開催されるというので、型システム入門(通称TaPL: Types and Programming Languages)を購入したものの、内容が難しくて序盤からまったくと言っていいほど読み進めることができませんでした。 型システム入門 −プログラミング言語と型の理論− 作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男出版社/メーカー: オーム社発売日: 2013/03/26メディア: 単行本（ソフトカバー） クリック: 68回この商品を含むブログ (7件) を見る しかし、読めないままにしておくのは悔しいし、内容はとても面白そうなので、やはりちゃんと読めるようになりたい。 そこで基礎的な書籍とWebで情報収集してから再度挑戦したところ、なんとか読み進められるようになりました。 監

[ZOETROPE]

はてなブログ移行後はじめての記事。書いてから気づいたけど、数学初心者ってどういう人を指すのかよく分からない言葉だな・・・。

[efcl]

TaPLを読むために読むもの

[h-hirai]

すごい。おれ全然読み進められてないや。

[escape_artist]

助かります

[sle]

もっと前提知識のいる本かと思ってた

[little_elephant]

なんか昔、興味あったんだけどねー。ラムダ計算とか圏論とか。

[mas-higa]

学習の学習的なのキタ!

[motsuni2]

TaPLを読み進めるための参考文献など

[saisa6153]

"TaPLで殴りあう会"とは一体...

[ytRino]

TaPL情報だ

[abcang]

前提知識やばさある

[ir_takt]

スキルツリーの3ポップ先にある感じだ

[bouzuya]

何度見ても前提知識の時点でやばいな。

[kasumani]

数学初心者のための「型システム入門」入門 社内で「TaPLで殴りあう会*1」が開催されるというので、型システム入門(通称TaPL: Types and Programming Languages)を購入したものの、内容が難しくて序盤からまったくと言っていいほど

[natsutan]

@igeta の本でTAPL！