Release 0.4.0

Release 0.4.0

型指定に型変数を使用できるようにする

id::a->a;

関数をデフォルトでカリー化するように

ラムダ式の実装

infixl 0 +;
id::(Fn Int32->Int32)->(Fn Int32->Int32);
id x = x;
main = (id (\x->x+2)) 5;

infixl 0 +;
add::Int32->Fn[Int32]Int32->Int32;
add x = \[x]y->x+y;
main = (add 4) 5;

infixl 0 +;
main = (\x,y,z->x+y+z)x y z;