kiyoka.2013_05_13 RSSPLAIN

Related pages: !kiyoka.blog.list !kiyoka.blog.2013_05
5555555555544545
5

[本] TAPL 型システム入門

5
 4274069117  型システム入門 -プログラミング言語と型の理論-: Benjamin C. Pierce
5

 

5

この本良さそう。第一章「はじめに」が無償公開されていたので読んでみた。

5

型システム入門 プログラミング言語と型の理論 EXT

5

 

5

Nendoに副作用「あり」か「なし」だけでも型チェックさせよう思って、もう1年以上。

5

自分の知識の土台が無いので、どこから手を付けて良いものかさっぱりで止まっていた。

5

Haskellの本を読んでもなんか関数型に偏りすぎてて、なんか釈然としなかった。

5

 

5

そこに来てこの本。

4

第一章を読むだけで自分の疑問に答えてくれそうな趣きなので、オーム社からPDF版を買った。(もう少しで紙版を買いそうになってPDFがあるのを知った)

4

少し高いけどそんなことは気にならない。

5

なんか久々にプログラミングのレベルが上がりそうな予感です。

4

 

5

...comment disabled...