# TAPL-nagoya 勉強会
- 2012年1月14日から開催予定
- 参加登録: []()
- ハッシュタグ [#taplnagoya](http://twitter.com/search/%23taplnagoya)
![TAPL](http://wms.assoc-amazon.jp/20070822/JP/img/noscript.gif?tag=proofcafe-22)


## 型とプログラミング言語を勉強しましょう
ScalaやF#などの静的型付け言語の基礎になっている型理論についての勉強会です。

英語ですが、説明が丁寧で例が豊富な[TAPL](http://www.amazon.co.jp/dp/0262162091)をみんなで読みます。

型に興味のある人は誰でも歓迎です。

## 場所・時間 
- 毎月 第二土曜日 14:00〜17:00
- 場所は検討中(名古屋市内の予定)

## 進め方
(検討中)

## 持ち物
- [TAPL本体](http://www.amazon.co.jp/dp/0262162091)
- (好みに応じて)ノートPC
- (好みに応じて)紙と鉛筆

## 募集ページ
- [第一回](http://partake.in/events/b1fe9645-7827-4cff-817c-dc97152e22c0#)