-
- Downloads
Allow function definition for compound types
For instance, following constructions are syntactically correct `` let f : R*R -> R*R, (x,y) -> (y, x); let g : R*R -> R, (x,y) -> x+y; let h : R -> R*R, x -> (x, x*x); `` Semantic remains to be defined. Also, `` let f : R*R -> R*R, x -> x; `` is a correct construction, but one will require `x[0]` and `x[1]` to be defined to make this syntax useful.
Loading
Please register or sign in to comment