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
 
klimd1389 profile image
Dmytro Klimenko

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.