Purpose

This collection keeps factual notes about programming-language ideas: abstraction mechanisms, type systems, functional programming, and the patterns that recur across languages. The aim is durable conceptual reference rather than tutorials tied to one stack.

Current Reading Path

  1. Functional Programming Basics with Cons Lists

Planned Areas

  • Type systems and type theory
  • Algebraic data types and pattern matching
  • Lambda calculus and evaluation
  • Effects, immutability, and state

Status

One complete bilingual note so far. New pages should be added in English and Chinese together.