search

stylewarning / deprecated-coalton-prototype

Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
MIT License
208 stars 7 forks source link

Tuple support #15

Open colescott opened 4 years ago

colescott commented 4 years ago

Coalton should support standard tuples

This can be achieved like with TYAPP and TYFUN using a new TYTUP type. The hope would be to allow for tuples in the language without having to explicitly specify every sized tuple constructor.

Tuple decomposition in matches are also be a nice addition

stylewarning commented 4 years ago

I agree with this I think. Of course there won't be any functions that are generic on any sized tuple. (You'd have to specialize on tuple size.) But we can get support for the type expressions. We are 1/2 way doing this with tyfuns now which have arbitrary arity.