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

Allow syntactic sugar (fn a -> b -> ... -> z) #26

Open stylewarning opened 4 years ago

stylewarning commented 4 years ago

Allow syntactic sugar for curried function types:

(fn <ty>* -> <ty>* -> ... -> <ty>* -> <ty>)

This would match Haskell et al. and be right-associative.

This would require being able to (a) parse these types, and (b) print these types.

The tyfun object shouldn't need to be modified.