Top 7 Haskell Type System Projects
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)Project mention: Monthly Hask Anything (November 2021) | reddit.com/r/haskell | 2021-11-02
I feel like Write You A Haskell was set out to introduce some of these foundational concepts in the right order: lambda calculus, to system-f to core - but that's more of a skeleton, right? What about logic? proofs? Is there anything else ... that can all be put together to create a "course" of some sort to master the theoretical concepts that Haskell stands upon?
A typed, polyglot, functional languageProject mention: morloc-project/morloc: A typed, polyglot, functional language | reddit.com/r/functionalprogramming | 2021-07-29
OPS - Build and Run Open Source Unikernels. Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
rewrite rules for type-level equalitiesProject mention: [ANN/RFC] constraint-rules | reddit.com/r/haskell | 2021-09-10
Nice! Thanks for including a comparison with my package typelevel-rewrite-rules. Since my package indeed struggles with infinite loops introduced by self-triggering rewrite rules, I would like to better understand why your package doesn't suffer from that same problem.
Units of measure as a GHC typechecker plugin
Implementation of type level natural and signed integer numbers in haskell using type families.
Type equality evidence you can carry around
Type-level function utilities
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Haskell Type System related posts
3 projects | reddit.com/r/haskell | 10 Sep 2021
morloc-project/morloc: A typed, polyglot, functional language
1 project | reddit.com/r/functionalprogramming | 29 Jul 2021
Hacker News top posts: Jul 29, 2021
1 project | reddit.com/r/hackerdigest | 29 Jul 2021
Morloc: Foreign languages unified under common functional type system
2 projects | news.ycombinator.com | 29 Jul 2021
Transpiling to GHC Core language
4 projects | reddit.com/r/haskell | 30 Apr 2021
What are some of the best open-source Type System projects in Haskell? This list will help you:
Are you hiring? Post a new remote job listing for free.