The video loads from YouTube only after you press Play.

Programming with Math | The Lambda Calculus

A 22-minute video by Eyesomorphic about calculus, computing mechanisms and theory of computation, on the Computer science shelf. It was posted to r/functionalprogramming as “Programming with Math | The Lambda Calculus”.

Eyesomorphic, Video, 22 min, 2024, on the Computer science shelf

The Lambda Calculus is a tiny mathematical programming language that has the same computational power as any language you can dream of. In this video, we'll first explore this calculus before seeing how we can flesh it out into a functional programming language.