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

Coalton thinks (-> (Liszt t) t) is a binary function #2

Closed stylewarning closed 4 years ago

stylewarning commented 5 years ago

This is a usability issue, not a technical one. The proper way to write the type as of writing is (-> ((Liszt t)) t), but it will certainly trip people up.

fiddlerwoaroof commented 5 years ago

I wonder if a ML-style (-> ((a Liszt)) a) might be a better choice for type expressions rather than the Haskell-like (-> ((Liszt a)) a). Generic function specializers already have the variable before its associated type, although the type there isn't exactly the same sort of thing as this use-case.

stylewarning commented 5 years ago

@fiddlerwoaroof Perhaps, but I do like the fact that Liszt can be seen as a function on types.

stylewarning commented 4 years ago

Some random thoughts:

((Liszt a) -> a)
(fn (Liszt a) -> a)
stylewarning commented 4 years ago

fixed since syntax changed to (fn (liszt a) -> a)