Top 8 Haskell lambda-calculu Projects
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)Project mention: Type inference of letrec in Algorithm W | reddit.com/r/haskell | 2022-05-10
This is the best resource I know of: http://dev.stephendiehl.com/fun/006\_hindley\_milner.html https://github.com/sdiehl/write-you-a-haskell/blob/master/chapter7/poly_constraints/src/Infer.hs
Elsa is a lambda calculus evaluator (by ucsd-progsys)
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
The compilation target that functional programmers always wanted. (by discus-lang)
An introduction to the Lambda Calculus
(λ) Educational lambda calculus interpreter
λtext - higher-order file applicator
Efficient and single-steppable ULC evaluation algorithm
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Simple purely functional language based on lambda-calculus.Project mention: Created my own functional language to solve FizzBuzz. | reddit.com/r/programming | 2021-12-27
Haskell lambda-calculus related posts
Type inference of letrec in Algorithm W
3 projects | reddit.com/r/haskell | 10 May 2022
[Kind-Lang] Getters and Setters done right in a pure functional language
3 projects | reddit.com/r/programming | 17 Oct 2021
My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick
6 projects | reddit.com/r/ethereum | 4 Jun 2021
StepULC: Efficient and single-steppable ULC (untyped lambda calculus) evaluation algorithm
3 projects | reddit.com/r/haskell | 23 May 2021
What are some of the best open-source lambda-calculu projects in Haskell? This list will help you:
Are you hiring? Post a new remote job listing for free.