Mô tả các nguyên tắc lý thuyết của lập trình hàm (Functional Programming). Tập trung vào các khái niệm như bất biến (immutability), các hàm là công dân hạng nhất (first-class functions), và các hàm thuần túy (pure functions). Giải thích lý thuyết đằng sau việc tránh trạng thái thay đổi (mutable state) và tác dụng phụ (side effects).