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

Keigo Imai @keigoi

参加には池袋ジュンク堂に電話予約が必要です。＜ジュンク堂書店池袋本店 TEL 03-5956-6111

闇ぶいれこ @yami_vreco

TAPL邦訳版のトークセッション、コンピューターサイエンスをかじった者として是非行きたいのだが、平日……

Student @rejasupotaro

ジュンクドーでTAPL予約しよう

Uchio Kondo🍙 @udzura

型ブームが若干きていてTAPL邦訳がどんどん売れる

Yoshihiro503 @yoshihiro503

#taplnagoya の方は、日本語版TAPLを買うならココから注文すれば、サーバー運営費に貢献できます。 http://t.co/a2zT32L8EV #型システム入門

natsutan @natsutan

これ、絶対TAPLのステマだよね。

_ko1 @_ko1

OO を手軽にした（ものの1つ）のが Ruby、みたいな話があるので、ごにょごにょ、という思いがあるので TAPL で勉強するのを楽しみにしています

zakki @k_matsuzaki

TAPL って特定言語要求する系統の本だったのか。なんとなく一般化した概念の本なのかと思ってた。

Keigo Imai @keigoi

@k_matsuzaki 実装の章がOCamlで書かれているというだけです。

zakki @k_matsuzaki

@keigoi そうなんですか。どうするか立ち読みして考えます。

Keigo Imai @keigoi

@k_matsuzaki 原著をなか見検索で見てみるのもよいと思います http://t.co/BacjnYUA7s

keiichiro shikano λ♪ @golden_lucky

なぜか某サイトの「型システム入門」予約ページが、サイト内検索で「TAPL」というキーワードで検索できるようになっている。なんで？

りらっくみゃー @rirakkumya

TaPL本、紙版とPDF版同時発売らしい。値段が違うかは不明。 こんな重そうな本、PDF版を買うしかないよね。

HARUYAMA Seigo @haruyama

というわけで プログラミング言語の基礎概念(五十嵐先生)は返送して交換してもらうことに. SICP大反省会で輪読したらいいかも本として候補になるかなと思って買ってみたのだが, SICPというよりTaPLを読む前に読むと良い本のようだ. (ぱらぱら見ただけの感想)

Yoshihiro503 @yoshihiro503

@k_matsuzaki 実装の章以外は一般的な概念の本だと思います。実装も、有志でScala版や、F# 版を公開している人がいます。 https://t.co/u3beJ6uoMZ https://t.co/C8pDo0oSwW

Keigo Imai @keigoi

@rirakkumya オーム社さんですのでPDF版を待つのはアリだと思いますが、同時発売という話は出ていないと思いますー。

ELD-R-ESH-2 @eldesh

うーむtaplが来るまでに今の(hd 積読)を消化出来るかなぁ…。かなり厳しそう…。

りらっくみゃー @rirakkumya

@keigoi メールで問い合わせた、公式な返答だそうです。

りらっくみゃー @rirakkumya

オーム社さんの公式回答: 「『型システム入門 プログラミング言語と型の理論』は、紙版とPDF版を同時に発売する予定でおります」 だそうです。

Keigo Imai @keigoi

@rirakkumya なるほど。訳者一同は発売日については聞いていないのですが、確かにPDF版自体の予定はちゃんとあるみたいですねー。

yadokarielectric @yadokarielectri

TAPLイベント予約だん！

関数型妹bot @functional_bot

へー、お兄ちゃん TaPL の日本語版が出るからって浮かれてるねー。で、SICP は読み終ったの?

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

社内でTaPLの読書会とかもおもしろいけど、もっとHerokuとかを使って簡単なアプリをつくって触ってみる勉強会とかやりたい。

natsutan @natsutan

とりあえず、TAPLキャンセルするか。

職長 @syokucyo

7140円の本！なにこれ、買わねば(会社の金で)「型システム入門 －プログラミング言語と型の理論」http://t.co/pcGKnEFubw