Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
constraint-rules provides a way to extend GHC's type checker with custom rules without having to write your own type checker plugin. See https://github.com/YellPika/constraint-rules for more info and some example code.
rewrite rules for type-level equalities
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.
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.
Proposed compiler and language changes for GHC and GHC/Haskell (by goldfirere)
I can't get it installed but does it allow deriving instances that need higher-order roles? The second argument of GList f a has a nominal role so we can't coerce through it but it should be representational if f is Representational1
📜 Length of String in TypeScript
1 project | dev.to | 31 Aug 2023
Type-challenges: Collection of TypeScript type challenges with online judge
1 project | news.ycombinator.com | 16 Aug 2023
Complete Beginner tasked with ML at work - where do I start
1 project | /r/learnmachinelearning | 27 Jun 2023
Where to start?
1 project | /r/csMajors | 24 Jun 2023
1 project | /r/typescript | 23 Jun 2023