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

azu @azu_re

値段が古典だった 「￥ 7,140」 "Amazon-co-jp： 型システム入門 －プログラミング言語と型の理論－: Benjamin C. Pierce, 住井 英二郎, 遠藤 侑介, 酒井 政裕, 今井 敬吾, 黒木 …" http://t.co/8z2ww9GuPc

意識の高いメイド @_ST63Jun

静的型付けをdisるとTaPLで殴られて死ぬ

いげ太 @igeta

@keigoi これを貼るべきな気がした。 https://t.co/Cz29VhL5Nb

Jun Furuse 🐫🌴 @camloeba

よろしい例えば twitter、君も読んでいるくらいだから興味あるな。この API を関数型言語でアクセスしてみようか。JSON をそのまま扱うのは面倒だから型定義と JSON スキーマの自動対応を試みよう。さて…おや、君、息をしていないが？さてはまだフィボナッチレベルだったか…

Keigo Imai @keigoi

TAPL読みたいけど、OCaml読めぬ(?)…そんな貴方にTAPL in F# https://t.co/gApZK5nVas Scala https://t.co/ph2IDcIP6c よんたSML(untypedのみ) https://t.co/CHoPnGQNea

Keigo Imai @keigoi

いやOCaml読めないからTAPL諦めるなんて人はそもそも無茶なのでまずは原著をなか見検索すべきなんですが http://t.co/TuVnYtguSV そうじゃなくてOCaml→他言語の翻訳の手間が省けますという話

Jun Furuse 🐫🌴 @camloeba

. @keigoi TAPL は頑張ってそれぞれの機能の解説を初出の時点で解説していましたよね？もちろんざっと読める程度であって、あれだけで OCaml が書ける様になるとは思わないですが

Keigo Imai @keigoi

.@camloeba その通りですね、ちゃんとTAPL本文中にOCamlの構文の解説があるので、Scala Haskell SML Schemeあたりを読める人は普通にOCamlも読めますね。いわんやF#をや！

Yusuke Terada @doraTeX

池袋ジュンク堂でのTAPL日本語版刊行記念トークセッション、予約して席を確保できた♪ http://t.co/Dw44Z2v5lT

アントニオ @douzan_toniok

『TaPL』と猫C#が並ぶ、ってところが好きだ。だって「合わせて買う」人なんてほぼいないだろうし

hole @h013

TaPLって入門書だったのか

めどすけ / Medos-K @heppoko_maid

TAPLの訳本ってまだ出てなかったんでしたっけ

くコ:彡 @nobyuki_bot

TAPL のトークセッション、申し込んじゃおうかな http://t.co/pUJgiQCXWN

野生の男 WILDMAN @yasei_no_otoko

@katze_7514 これが昨日僕がつぶやいてたTaPLの話題の元の元ですね…

ruichi @ruicc

書いてしまった / “静的型付言語/動的型付言語のメリット/デメリットについて考えてみる - think and error” http://t.co/lFX6LpFUeV

ruichi @ruicc

まあTAPL買いましょうあたりが結論でいいと思います

はなだ☆のぶかず@lisp &ボドゲ勢ボドゲプレイヤー) @nobkz

TaPL読むのに必要な、前提知識ってなんだろう。

ちゅーん @its_out_of_tune

TaPL読もう

茶蔦 @tyatsuta

TAPLを翻訳してるって話、るびまのインタビューで知った。

Uchio Kondo🍙 @udzura

“Ruby ユーザ (動的型付き言語しか知らない人) にこそ読んで欲しい”　読みます！！！！！１１１２３ / “TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」が発売されます - まめめも” http://t.co/CYyy0dj1hr

BASH @bash0C7

"型システム入門 プログラミング言語と型の理論" ３月かー。オーム社なのでebookで買おう http://t.co/UHukvNafs3

Takafumi Saikawa @t6s

G+さんが表紙画像選んでくれたようで http://t.co/XbVGJcFhkQ

拡大

keiichiro shikano λ♪ @golden_lucky

@t6s ある意味タイル

Jun Furuse 🐫🌴 @camloeba

. @k_matsuzaki それはゴールがそういう本なんでしょ？ OCaml なら TaPL と言う本があってね、 OCaml 知らなくても一から解説してくれてますから、いい本ですよ （また死人が増える

Takeshi UME Imai @umejam

で、「型システム入門」電子書籍版の予定はあるんかな