TOP

クリップ
2014/08/02(土) 14:00 開催
愛知県 伏見

TAPL読書会@名古屋 #1

基本情報

日 時: 2014/08/02(土) 14:00 〜 17:00
会 場: 名古屋市 短歌会館 1階 集会室
住 所: 名古屋市中区錦2-13-22

イベント内容

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

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

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

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

今回の内容

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

持ち物

  • Twitterでシェア
  • 0
    Facebookでシェア
  • 0
    Google+でシェア
  • 0
    はてなブックマークに追加

Facebookページ

dots.で申込可能なイベント