Top 4 Haskell type-inference Projects
-
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
frea
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
I highly recommend https://github.com/sdiehl/write-you-a-haskell as it is very developer friendly. It’s not complete, but it really gets the gears turning and will set you up for writing your own Hendley-Milner style type checker.
For the development of Lamdu I've embarked on a similar quest and ended up creating hypertypes after getting a helpful pointer in SO.
Haskell type-inference related posts
Index
What are some of the best open-source type-inference projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | write-you-a-haskell | 3,304 |
2 | hypertypes | 107 |
3 | hindley-milner | 37 |
4 | frea | 17 |
Sponsored