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

Functional Programming in Clojure

✓ Core Functional Programming
✓ Functional Sequences Transformations
✓ Macro Programming

Object Oriented Programming in Scala

A Tour of Scala

Index

By Ken Pu
© Copyright Ken Pu 2021.