http://d.hatena.ne.jp/bellbind/20071127/1196146911 のつづき中を調べるには単純な例に限る。 # \x->x x print "expr1_3" expr1_3 = Lambda(["x"], Apply(Ref("x"), [Ref("x")])) print_type(expr1_3) これを実行すると、 expr1_3 ([([([([...]) -> <variable type>]) -> <variable type></variable></variable>…

高階関数の型推論の問題 http://d.hatena.ne.jp/bellbind/20071122/1195681317 とりあえずできたが、今度は推論で完全じゃない部分を入れてないためにおきる問題にぶつかる。Haskellだと普通はidid x = x xは型が(((...->t)->t)-t)となる型エラーで定義でき…