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

書籍:型システム入門 -プログラミング言語と型の理論- Benjamin C. Pierce (著), 住井 英二郎 (監訳) http://www.amazon.co.jp/dp/4274069117/ についてここ1週間のツィートをまとめました。 【宣伝】一般発売前のTAPL邦訳を購入できる、出版を記念したトークセッションが開催されます。 いまこそ学ぶ! 型システム ~TAPL日本語出版までの道のり~ ■会場:ジュンク堂書店池袋本店 続きを読む
プログラミング Haskell 関数型プログラミング言語 関数型言語 関数プログラミング OCaml Scala 静的型付き 型システム入門 tapl
5
TAPL邦訳、オーム社webページに登場
まとめ 型システム入門 プログラミング言語と型の理論 発売ニュースに沸き立つTL "Types And Programming Languages"の邦訳「型システム入門 プログラミング言語と型の理論」の発売にTLが沸いた。 http://www.ohmsha.co.jp/kaihatsu/archive/2013/01/17112000.html 5697 pv 45 3 users 4
Ohotech @ohotech
【Ohotech勉強会告知】特盛#02 は2/23(土)14:00より北見芸術文化ホール 小練習室2にて行います。才川隆文さんによる「TAPLの宣伝と型付きラムダ計算の話」、他3本です。 [あと05:56]詳細:http://t.co/yoiBjSvwl0
Takafumi Saikawa @t6s
ohotechでTAPL和訳の宣伝しました
ᓬᐓᔒᐓᓳᐓᔙᐓᓙᐓᓠᐓ @razon
マジレスするとTaPLが。まだ尼に来てない気がするけど。
椎路ちひろ @ChihiroShiiji
2013年3月新刊予定:型システム入門 プログラミング言語と型の理論 - オーム社開発部 http://t.co/qShqCFm2jQ #Zenback @zenbackさんから
ちゅーん @its_out_of_tune
@func_hs TaPLにOOPについての解説があったと思うので、そこまで読めればあるいは…
ちゅーん @its_out_of_tune
TaPLは型無しラムダ計算だけでもWikipediaなんかより突っ込んでるから正直序盤入る前にお腹いっぱいになる。
Sohei Takeno @Altech_2015
3月に TaPL 邦訳出るし、そろそろ僕も静的型付け言語にアタッチしようと思い「プログラミング Haskell」と「すごい Haskell 〜」を買いました。
kzfm @kzfm
Haskell楽しいわ。だけど、ヒトを増やすんだったらすごいハスケル読書会とかのほうがいいのかなぁ。でもやるんだったらあの面子(misima.hs)だとTAPL読書会やりたいだろうな。
「変数に型がないということの利点について考える」が話題に

TAPL発売前の「ステマ」では!?というツィートが複数見られました。

Perlゼミ@Perl好きな方、相互フォローでつながりましょう! @perlzemi
“変数に型がないということの利点について考える - サンプルコードによるPerl入門” http://t.co/Bo7Ri1M2yJ
まとめ 「変数に型がないということの利点について考える」について考える http://d.hatena.ne.jp/perlcodesample/20130227/1361928810 についての記事に関するコメントをまとめました。誰でも追加、編集してください。 14133 pv 48 9 users 24
ジュンク堂池袋本店でのトークセッション企画

トークセッション:いまこそ学ぶ! 型システム ~TAPL日本語出版までの道のり~ (要電話予約)
http://www.junkudo.co.jp/tenpo/evtalk.html#20130319_talk

丸善ジュンク堂書店劇場 @junkudo_net
◆池袋本店◆ 2013年3月19日(火)19:30 ~Benjamin C. Pierce型システム入門 プログラミング言語と型の理論』(オーム社)刊行記念トークセッション 住井英二郎(監訳者)&翻訳チーム http://t.co/GWTjmI7FvC
ころすけ@JSON色付け10年生 @cor0suke_k
おおお、TaPL翻訳本3月にでるのかっ
とむ @masquerade0324
近日発売になってて値段は税込で7,140円みたい. / 型システム入門 プログラミング言語と型の理論|Ohmsha http://t.co/BIjbjvdktY
まきひろ @m_akihiro
P言語全般を”型の無い言語”って呼ぶのは止めてください!動的片付け言語ですよ!そんなに型無し言語やりたかったらTaPLの頭にある型無しラムダ計算でもやってみてください
さかばー @saka_bar
TaPL翻訳版、図書館に入ってほしい
AoiMoe a.k.aしお兄P @AoiMoe
「型なんていらない」って釣りブログで型システムの重要性を再認識させてからの「型システム入門」という、ある種の炎上ステマか何かか
kei-q @kei_q
TaPL日本語版、eStoreで販売するかな。販売してくれると嬉しいな
室町幕府十代将軍 @oskimura
TaPL日本語版翻訳者だいたいあったことあることに気づいた
keiichiro shikano λ♪ @golden_lucky
TAPL(型システム入門)の翻訳者がほぼ一同に会して参加者からの質問に答えてくれるかもしれない発売直前だけど製本はもう間に合ってそうなイベントがジュンク堂池袋店で3/19日の夜に開催されるんです! http://t.co/ZBGSWcLWgG
keiichiro shikano λ♪ @golden_lucky
なお、ジュンク堂のイベントは当日満員になると入れなくなってしまうので、電話か店頭で要予約なんです。 http://t.co/ZBGSWcLWgG
残りを読む(348)

コメント

Keigo Imai @keigoi 2013年3月1日
地味にまとめを更新しました。
ログインして広告を非表示にする
ログインして広告を非表示にする