programming languages01 Sept 2025Outline

Programming Languages

Types, abstraction, and the ideas that shape how programs are built.

Reading guide

These notes explore abstraction, types, and evaluation across programming languages. The current starting point is functional programming with cons lists, using a small data structure to connect recursion, immutability, and composition. Later topics will include algebraic data types, pattern matching, lambda calculus, and effects.

Reading path

Functional Programming Basics with Cons Lists
A functional-programming note that uses lambda calculus combinators, cons cells, recursion, and TypeScript generics to build intuition for immutable lists.