【型システム入門】TAPL翻訳の発売に沸き立つTL

なべさん @nabesan_go

最近TLで話題のTAPL本買おうと思ったけど高杉ワロタ・・・解散だな・・・

にーととろ @ototorosama

Amazon プログラミング入門書 の ベストセラー第一位！「型システム入門 －プログラミング言語と型の理論－」！

Hideyuki Tanaka @tanakh

http://t.co/RfLEsg4hF9 WinPC → 日経PC21 → 型システム入門 これもなかなか

七誌 @7shi

昨日までAmazonで検索しても出てこなかったけど、登録されたっぽい。とりあえず予約。 < 型システム入門 −プログラミング言語と型の理論− Benjamin C. Pierce http://t.co/IblO8S6Nww

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

TaPL日本語訳、とりあえずKindle化希望をぽちった。可能な限りキンドるのが、我が家の地震対策です。

Yoshinori Kawasaki @kawasy

学生のときに原著を少し読んだけど面白い本だったなー / TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」が発売されます - まめめも http://t.co/rfyl7z8PDq

Yoshiki Ito/伊藤由貴 @yoshikiito

今度から揉め事が起きたらTAPLで殴れば解決！

takeo @bonotake

今更ながら宣伝 / 型システム入門 −プログラミング言語と型の理論− Benjamin C. Pierce http://t.co/gGgeYqdAlN @AmazonJPさんから

Daisuke Matsumoto @daimatz

TAPL 流行りすぎだろー

Seizan Shimazaki @seizans

型システムに入門したいので買いました | 次の商品を購入しました：'型システム入門 －プログラミング言語と型の理論－'：Benjamin C. Pierce via @amazonJP http://t.co/JkkN5EFyyI

Haruhiko Okumura @h_okumura

アマゾンのプログラミング入門書ランキング http://t.co/4ETnDA2caJ TAPLが1位なんてすごい。2位『猫でもわかるC#…』は例の事件の影響か

Web猫 @webdevjp

新刊。ちと高いｗ > http://t.co/Fub7loYztD： 型システム入門 －プログラミング言語と型の理論－http://t.co/M3krft2Rqp

まじかんと @tnacigam

TAPL が一位とは、胸が熱くなるな…… http://t.co/fkFAN1OSIR

Haruhiko Okumura @h_okumura

念のため，『型システム入門』（TAPL）はプログラミング入門書ではありません(ｷﾘｯ

bohnen（草食系SA） @bohnen

TAPL高いぉ... お小遣い制の趣味プログラマーには手が出ないお値段...!!

takeo @bonotake

TAPL、「Web開発」でも1位です。……Web開発？ http://t.co/ErwW1pxbJM

まじかんと @tnacigam

例の記事で型に興味を持ったからと言っていきなり TAPL に手を出すのはお勧めできないな

func @func_hs

ナイフ(TaPL)？

久野 靖 @ykuno

型システムで計算そのものを記述すれば… QT @h_okumura 念のため，『型システム入門』（TAPL）はプログラミング入門書ではありません(ｷﾘｯ

Naruhiko Ogasawara @naru0ga

って、アホが何を書いとるんだという話やね。TaPL読んで理解が及ばないバカは黙ってろって感じだね。読んですらいないけど

Hideyuki Kawabata @k_w_b_t

TAPLの本、Kindle版は出ないのかな。

Jun Furuse 🐫🌴 @camloeba

TaPL はあきらめた人からもらったほうｇ

Hideyuki Kawabata @k_w_b_t

しまった、「TAPLの本」って、「ドラゴンブックの本」と言ってるみたいだ。

Kinoshita Shuji @kiiiino3

しかしタイムラインがTaPLとそれ以外との混濁になっててカオス・・・

kaki @gengar68

"TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」" http://t.co/QMuif7qfRA "PHP しか知らない人が PHP の良さを語るのが滑稽なように、型がないことのメリット・デメリットを語るには、本気で型がある言語の考え方を学ぶべきです。"