15/08/29 16:06:46.95 PwA9Vh//.net
ML系統も変数:型だけど、valに相当する構文を入れて、定義の所では省略したいってこと？
val foo : i32 -> i32;
fn foo(n) { n * 2 }
個人的には賛成。
多相型に対してimplを書くとimpl<'a, T1, T2, ...>が続いて読みにくくなるのも何とかならんかな。
punningというか、同じ文字を使っているなら省略してもオッケーみたいな。
15/08/29 16:06:46.95 PwA9Vh//.net
ML系統も変数:型だけど、valに相当する構文を入れて、定義の所では省略したいってこと？
val foo : i32 -> i32;
fn foo(n) { n * 2 }
個人的には賛成。
多相型に対してimplを書くとimpl<'a, T1, T2, ...>が続いて読みにくくなるのも何とかならんかな。
punningというか、同じ文字を使っているなら省略してもオッケーみたいな。