更新 2013年3月5日作成 2013年3月1日

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

書籍：型システム入門－プログラミング言語と型の理論－ Benjamin C. Pierce (著), 住井英二郎 (監訳) http://www.amazon.co.jp/dp/4274069117/ についてここ1週間のツィートをまとめました。【宣伝】一般発売前のTAPL邦訳を購入できる、出版を記念したトークセッションが開催されます。いまこそ学ぶ！型システム～TAPL日本語出版までの道のり～ ■会場：ジュンク堂書店池袋本店続きを読む

プログラミング関数プログラミング関数型プログラミング言語関数型言語 OCaml Haskell 型システム入門 Scala tapl 静的型付き

keigoi
16735
1
2
8
4

TAPL邦訳、オーム社webページに登場

まとめ

型システム入門プログラミング言語と型の理論発売ニュースに沸き立つTL "Types And Programming Languages"の邦訳「型システム入門プログラミング言語と型の理論」の発売にTLが沸いた。 http://www.ohmsha.co.jp/kaihatsu/archive/2013/01/17112000.html 6789 pv 45 3 users 4

Ohotech @ohotech

【Ohotech勉強会告知】特盛#02 は2/23(土)14:00より北見芸術文化ホール小練習室2にて行います。才川隆文さんによる「TAPLの宣伝と型付きラムダ計算の話」、他3本です。 [あと05:56]詳細:http://t.co/yoiBjSvwl0

2013-02-23 08:03:02

あかゆき@夏の魔法使い2014 @redsnow622

型付きλ計算とTAPLの紹介 #ohotech

2013-02-23 16:26:08

Takafumi Saikawa @t6s

ohotechでTAPL和訳の宣伝しました

2013-02-23 17:08:12

ᓬᐓᔒᐓᓳᐓᔙᐓᓙᐓᓠᐓ @razon

マジレスするとTaPLが。まだ尼に来てない気がするけど。

2013-02-25 15:48:13

椎路ちひろ @ChihiroShiiji

2013年3月新刊予定：型システム入門プログラミング言語と型の理論 - オーム社開発部 http://t.co/qShqCFm2jQ #Zenback @zenbackさんから

2013-02-26 01:09:13

ちゅーん @its_out_of_tune

@func_hs TaPLにOOPについての解説があったと思うので、そこまで読めればあるいは…

2013-02-26 15:11:20

ちゅーん @its_out_of_tune

TaPLは型無しラムダ計算だけでもWikipediaなんかより突っ込んでるから正直序盤入る前にお腹いっぱいになる。

2013-02-26 15:24:28

Sohei Takeno / SANU @Altech_2015

3月に TaPL 邦訳出るし、そろそろ僕も静的型付け言語にアタッチしようと思い「プログラミング Haskell」と「すごい Haskell 〜」を買いました。

2013-02-26 19:27:52

kzfm @kzfm

Haskell楽しいわ。だけど、ヒトを増やすんだったらすごいハスケル読書会とかのほうがいいのかなぁ。でもやるんだったらあの面子(misima.hs)だとTAPL読書会やりたいだろうな。

2013-02-24 21:12:15

「変数に型がないということの利点について考える」が話題に

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

Perlゼミ - Perlプログラミング入門 @perlzemi

“変数に型がないということの利点について考える - サンプルコードによるPerl入門” http://t.co/Bo7Ri1M2yJ

2013-02-27 15:24:45

まとめ

「変数に型がないということの利点について考える」について考える http://d.hatena.ne.jp/perlcodesample/20130227/1361928810 についての記事に関するコメントをまとめました。誰でも追加、編集してください。 19879 pv 48 9 users 24