日比野 啓 (Kei Hibino) @khibino
Haskellとか関数型プログラミング言語が好きなプログラマ
-
Soft Typingに対するMatzの誤解とDuck TypingとStructural Subtyping
27957pv 60 67 users 158 -
matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ
15970pv 110 15 users 3 -
真夜中のmalloc
7129pv 39 25 users
-
let rec の型推論と多相型
6406pv 12 7 users