4 ms·
Coalton's type system is roughly the same as Haskell's or OCaml. That includes full type inference, type variables, type classes, etc.
by reikonomusha 3y ago
Coalton's type system is roughly the same as Haskell's or OCaml. That includes full type inference, type variables, type classes, etc.
- koito17 3y agoAh, so it is closer to a Hindley–Milner type system than something like Typed Racket's type system. Typed Clojure is largely based off of the latter and takes inspiration from some papers on local type inference[1] and [2] to handle multi-arity functions. I should look more into Coalton. Thanks for responding. [1] https://www.cis.upenn.edu/~bcpierce/papers/lti.pdf https://www.cis.upenn.edu/~bcpierce/papers/lti.pdf [2] https://www2.ccs.neu.edu/racket/pubs/esop09-sthf.pdf https://www2.ccs.neu.edu/racket/pubs/esop09-sthf.pdf