【型システム入門】TAPL翻訳の発売に沸き立つTL
@yasei_no_otoko TAPLに関しては入門ってのもあながち間違いじゃないし良いんじゃないだろうか。基礎的な所から応用まで幅広く網羅されてる良本だし
2013-03-01 19:25:51Amazonだと発売日が3月26日になってるね。とりあえず予約注文しておこうかな。 / Benjamin C. Pierce の 型システム入門 −プログラミング言語と型の理論− を Amazon でチェック! http://t.co/H2w03b1TT2 @さんから
2013-03-01 19:57:20次の商品を購入しました:'型システム入門 -プログラミング言語と型の理論-':Benjamin C. Pierce via @amazonJP 予約完了! http://t.co/lfCVFF3uZu
2013-03-01 19:58:54TaPLは興味会ったけど数学系ってことならスルー。数式とかで説明されても、意味の分からない数式とか意味を調べるのがすごく困難だし。
2013-03-01 20:10:08TaPLの原著のKindle買ったが、画像をそのまま表示するバージョンのため、明るさ調整ができないという微妙なバグが。Android版のリーダーはデバイスの明るさ設定を無視するのだが、普通のKindle版だと文字の大きさ設定画面で明るさも変えられるのに、それがこの本はできない。
2013-03-01 20:16:28.@tanakh 一先ず、static/dynamic typing がどうのこうの言いたいなら TAPL 読んでこい、話はそれからだとつっぱねれば少なくとも一ヶ月位は鎮火させられるような(笑)
2013-03-01 21:16:39訳者の一人えんどうさん @mametter による紹介記事投下
“TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」が発売されます - まめめも” http://t.co/c3fa56XiLd
2013-03-01 21:38:33"TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」が発売されます - まめめも" - http://t.co/WJoSV40UAP
2013-03-01 21:39:21おっ学生はTAPL邦訳10%オフで買えるんですねー http://t.co/bixC7abJRK 「Amazon Student会員なら、この商品は10%Amazonポイント還元」しかし人によってはぎりぎり卒業前って感じですか、きわどい
2013-03-01 21:40:35