作者背景#

鄭暉（筆名「冒號老師」）於 1986 年入武漢大學數學系，1993 年畢業後從事教學工作。1996 年赴美攻讀數學博士學位，後轉修電腦科學並取得碩士學位。2000 年起於華爾街 IT 公司任職，2004 年回國後先於廣州外企工作，後出任軟體公司技術總監。自 2008 年起在網路發表連載文章《冒號課堂》，以對話式教學風格探討程式設計的底層思維，本書即由此連載整理而成。其數學背景賦予本書獨特的抽象分析視角。

完整摘要#

本書以「範式是程式王國的世界觀」為核心論點，主張程式設計範式（Programming Paradigm）是比語法、框架更為根本的思維基礎。全書首先建立程式設計師成長的四層境界模型（學會、會學、會用、被用），反思傳統教育的封閉性與被動性，強調範式思維的培養。接著系統性地剖析五大基礎範式：命令式（君主制隱喻，強調結構化定理）、宣告式（含函數式與邏輯式兩大分支）、物件導向（民主制隱喻，以封裝、繼承、多型三大支柱模擬社會身份）以及並行式（以資源的競爭與合作為主線）。進而探討四種進階範式：泛型（分離演算法與資料結構）、元程式設計（將程式碼視為資料）、切面導向（橫向關注點分離）及事件驅動（控制反轉與依賴注入）。全書以深入的函數式與邏輯式範式回顧作結，並以一張九大範式的宏觀對比表統整全書脈絡。書中大量運用社會學隱喻、比較表格與對話式敘述，將抽象概念具象化。

本書的貢獻與定位#

本書是少數以中文原創、從哲學與數學視角系統性探討程式設計範式的著作。不同於 Robert C. Martin 的《Clean Architecture》從架構原則切入範式討論，或 Peter Van Roy 的《Concepts, Techniques, and Models of Computer Programming》以形式化方法為基礎，本書的獨特價值在於以通俗易懂的隱喻和對話式教學，幫助開發者建立對範式的直覺理解與宏觀視野。適合希望超越語法層面、理解程式設計底層思維的開發者。