【型システム入門】TAPL翻訳の発売に沸き立つTL その２
http://togetter.com/li/464159 の続きです。
書籍：型システム入門 －プログラミング言語と型の理論－ Benjamin C. Pierce (著), 住井 英二郎 (監訳) http://www.amazon.co.jp/dp/4274069117/
【宣伝】一般発売前のTAPL邦訳を購入できる、出版を記念したトークセッションが開催されます。
いまこそ学ぶ！ 型システム ～TAPL日本語出版までの道のり～
続きを読む
-
- いいね！0
Tadahiro Ishisaka🖖
@ishisaka
型システム入門 プログラミング言語と型の理論｜Ohmsha http://t.co/m5250mdyFG ふみゅー。
2013-03-06 17:50:45
keiichiro shikano λ♪
@golden_lucky
ラフのときは太陽っぽいと思ったことないけど、たしかに色校として本紙印刷されたものを見ると熱い連星に見えてくるし、デザイナーさんすごい。
2013-03-06 18:03:47
都元ダイスケ🍅
@daisuke_m
なんだこの本はｗｗｗ 読みてえｗｗｗ / 次の商品をほしい物リストに追加しました：'型システム入門 －プログラミング言語と型の理論－'：Benjamin C. Pierce via @amazonJP http://t.co/3yxwDSzIqG
2013-03-06 18:11:05
しいたけ
@yuroyoro
@daisuke_m その本を手に持って「タップルタップル(TaPL TaPL)」って呪文唱えると静的関数型言語方面からモヒカン召喚できるよ
2013-03-06 18:14:47
もっちぃ
@tanimocchi
次の商品を購入しました：'型システム入門 －プログラミング言語と型の理論－'：Benjamin C. Pierce via @amazonJP http://t.co/bkt5KM57hu
2013-03-07 00:45:53
お惣菜
@n7k7
TAPLが「プログラミング入門」に分類されてるのは型システムを理解していないような人間はプログラマとは呼べないという、また「Web開発」に分類されているのは今時のWeb開発は強い静的型付言語によって開発されるのが当然であるという、Amazon様のありがたいお言葉であるに違いない。
2013-03-07 06:49:42