Programming Languages

Foundation of Computation

✓ History of Computation
✓ Formal Languages
✓ Turing Machine
✓ Univesal Turing Machine And Computability
✓ Impact On Programming Language Design

Lambda Calculus

✓ Reducing Python Into Functional Core
✓ Introduction to Lambda Calculus
✓ Evaluation of LC Expressions
✓ Integer arithmetics in LC

Lisp

From Lambda Calculus To Lisp
Homoiconicity: Data First, Syntax Second
Data Transformation
Symbols, Bindings and Scopes in Clojure
Functions

Data Structures

Lists (draft)
Vectors (draft)
Hashmap (draft)

Flow Control

Branching in Clojure (draft)
Loops (draft)
Sequences (draft)
Recursion and tail recursion (draft)

Functional Programming

Higher order functions (draft)
Reactive programming in Clojure (draft)
Concurrency in Clojure (draft)
Macro Programming (draft)

Hashmap (draft)¶

previous

Vectors (draft)

next

Branching in Clojure (draft)

By Ken Pu
© Copyright Ken Pu 2021.