Learn Lambda Calculus in 10 minutes with OCaml
#ocaml#programming#functional
Dmitrii Kovanikov

Dmitrii Kovanikov @chshersh

About: I'm a Functional Programming enthusiast and Senior Software Engineer at Bloomberg using OCaml at work. All opinions are my own.

Location:
London, UK
Joined:
Mar 7, 2023

Learn Lambda Calculus in 10 minutes with OCaml

Publish Date: Feb 5 '24
36 7

This article was permanently moved to my personal website:

Comments 7 total

  • Dmytro Klimenko
    Dmytro KlimenkoFeb 5, 2024

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

    • Dmitrii Kovanikov
      Dmitrii KovanikovFeb 5, 2024

      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.

  • Lukasz Stafiniak
    Lukasz StafiniakFeb 5, 2024

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

    • Dmitrii Kovanikov
      Dmitrii KovanikovFeb 5, 2024

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

  • Kerry Woodall
    Kerry WoodallFeb 6, 2024

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

  • Alexandre
    AlexandreFeb 28, 2024

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

Add comment