DEV Community

Dmitrii Kovanikov
Dmitrii Kovanikov

Posted on • Edited on

Learn Lambda Calculus in 10 minutes with OCaml

This article was permanently moved to my personal website:

Top comments (7)

Collapse
 
lukstafi profile image
Lukasz Stafiniak •

And with -rectypes it's the (eager) untyped lambda calculus.

Collapse
 
chshersh profile image
Dmitrii Kovanikov •

Sounds like too advanced OCaml feature for an intro blog post 😅

Collapse
 
z4nder profile image
Alexandre •

Excellent post helped me a lot, decide to solve the challenge in rust
github.com/z4nder/lambda-calculus

Collapse
 
chshersh profile image
Dmitrii Kovanikov •

Really nice solution!

Collapse
 
vincoop profile image
Vin Cooper •

exciting! but you need to read it several times to understand the material

Collapse
 
chshersh profile image
Dmitrii Kovanikov •

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.

Collapse
 
kbwoodall profile image
Kerry Woodall •

Do Calculus parameters and formulas have to be
so cryptic. They really do model programming
Languages.