expressi Type annotation syntax

Type annotation syntax

Open coord-e opened this issue 5 years ago • 2 comments

let f = (a, b) -> a(b);
f <(Number -> Number) -> Number>;
f(x -> x, 1) <Number>

Mar 11 '19 16:03 coord-e

expr? "<" type_expr ">" expr defaults to Empty

Mar 12 '19 12:03 coord-e

Empty <Number> causes type mismatch...

Mar 17 '19 01:03 coord-e