#函数式编程

关于最早的 LISP 的核心想法，它如何实现图灵完备及元编程，及在此基础上的扩展和现状。

函数式编程以函数为基本计算单元，强调不变性与表达式求值，与类型论和范畴论有深刻的内在联系。