TOP

TAPL読書会@名古屋 #1

イベント内容

僕と一緒に型推論しませんか?

ScalaやF#やSML#などの静的型付き関数型言語の基礎になっている型理論についての勉強会です。

説明が丁寧で例が豊富な 型システム入門 をみんなで読みます。

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

今回の内容

  • 1章 はじめに(さらっと)
  • 2章 数学的準備(もっとさらっと)
  • 3章 型無し算術式(マジメに読む)

持ち物

参加者
10人 /定員10人
申込先
会場
名古屋市 短歌会館 1階 集会室
名古屋市中区錦2-13-22

注目のイベント

タグに関連するイベント

2018/02/04(日) 10:00 〜 12:00
愛知県 岩倉
2018/02/10(土) 14:00 〜 19:00
2018/02/28(水) 18:00 〜 21:00
熊本県 熊本駅前

コラム

イベント New

【レポート】海外最先端デジタルトランスフォーメーション事情と日本での導入実例 - DELL Meetup #1

2017年11月29日(水)19時50分より、「【20代30代必見!インフラエンジニア向け勉強会】海外最先端デジタル...
49 views
イベント

1月(後半)に開催する注目のITイベント・勉強会まとめ 27選

1月後半に開催される注目のITイベント・勉強会をまとめました! 気になるイベントがあれば是非ご参加くだ...
1,332 views
イベント

Ableton Meetup Tokyo Vol.16『​ 音楽家側からしか出てこない提案』編

今回のAMT、ホンッッッッッッッッットに内容が濃くて、長いのはタイトルだけじゃなくて本文も長いです。録...
261 views