DEV Community

Dmitrii Kovanikov
Dmitrii Kovanikov

Posted on • Edited on

26 3 2 2 3

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.

Billboard image

The Next Generation Developer Platform

Coherence is the first Platform-as-a-Service you can control. Unlike "black-box" platforms that are opinionated about the infra you can deploy, Coherence is powered by CNC, the open-source IaC framework, which offers limitless customization.

Learn more