Learn Lambda Calculus in 10 minutes with OCaml Dmitrii Kovanikov on February 05, 2024 This article was permanently moved to my personal website: chshersh.com :: Learn Lambda Calculus in 10 minutes with OCaml
And with
-rectypesit's the (eager) untyped lambda calculus.Sounds like too advanced OCaml feature for an intro blog post 😅
exciting! but you need to read it several times to understand the material
Thanks! It makes sense. Getting familiar is one thing but fully understanding the concept to the level of being able to explain it to someone else is another.
Excellent post helped me a lot, decide to solve the challenge in rust
github.com/z4nder/lambda-calculus
Really nice solution!
Do Calculus parameters and formulas have to be
so cryptic. They really do model programming
Languages.