Battle tank combat racing!
I'm looking to port some code from the game Tread Marks and ideally keep it functional.
Seems like a neat signature. Is it an instance of some deeper concept or property? Is there a general typeclass for it? It looks a little bit like distribute from distributive.
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.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
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?
Tools for programming with ConstraintKinds in GHC
If it's anywhere, I'd expect it in constraints, but it's not Dict and it's not Forall.
Options for a frontend of demo for a toy app
6 projects | reddit.com/r/haskell | 13 Jun 2022
Is std::collections::HashMap optimized for enums?
2 projects | reddit.com/r/rust | 2 Jun 2022
Type inference of letrec in Algorithm W
3 projects | reddit.com/r/haskell | 10 May 2022
How is an instance of Monad an instance of Applicative?
1 project | reddit.com/r/haskell | 8 Feb 2022
November 2021 monthly "What are you working on?" thread
13 projects | reddit.com/r/ProgrammingLanguages | 1 Nov 2021