4 ms·

While coconut looks very cool, does it include a Hindley-Milner type system and type classes? Those are big features of Haskell that I see implemented in this

While coconut looks very cool, does it include a Hindley-Milner type system and type classes? Those are big features of Haskell that I see implemented in this repo that I couldn't see in Coconut. But I could be mistaken. I don't know much about Coconut.

ben509 6y ago
From the FAQ[1]: > Does Coconut support static type checking? > Yes! Coconut compiles the newest, fanciest type annotation syntax into version-independent type comments which can then by checked using Coconut’s built-in MyPy Integration. So it uses MyPy. I've never seen documentation on what overall algorithm they use, and the code[2] is not an easy read. [1]: https://coconut.readthedocs.io/en/master/FAQ.html#does-coconut-support-static-type-checking https://coconut.readthedocs.io/en/master/FAQ.html#does-cocon... [2]: https://github.com/python/mypy/blob/master/mypy/typeanal.py https://github.com/python/mypy/blob/master/mypy/typeanal.py