Prelude TAPL読んでることだし、FM_Forumでも型付きラムダ計算やってみるか Isabelle/HOLもやってみたい TAPL読書会は第２週で固定しましょうか http://staff.aist.go.jp/reynald.affeldt/seplog/ cocoatomoさんのTAPL発表資料 https://github.com/cocoatomo…

http://atnd.org/events/15009というわけで5/7 14:00-18:00豆蔵トレーニングルームにて開催。 ここから本格的な型推論とかの話になる、のかな。

定理証明系イベント 9/25で名古屋勢と調整して、だめなら9/17の関数型イベントへの相乗りを考えよう 関数の引数部分適用 OCamlで引数を部分適用すると、後ろの多相型が変わってしまう Haskellでは変わらない 副作用があるかどうかで違う 9.1 保守的になりす…

やります。http://partake.in/events/9e460004-25c1-4c0b-b6a9-a2aa0443ab23今回は8章から。