関数型言語を作ろう！あるいはRubyistのための型推論入門 #rubykaigi 2015 #rubykaigiB
Let's make a functional language!
@yhara
http://rubykaigi.org/2015/presentations/yhara
-
- いいね！0
よしこ
@yoshiko_pg
fn(x){ x } のような引数を返す関数は、最初と二回目に呼び出したときの引数の型が違ったときに型推論でエラーになってしまう こういう場合はいろんな型を許容する関数にしておく必要がある fn :: ∀(1). (1) -> (1) #rubykaigi #rubykaigiB
2015-12-13 16:36:20