公元9世紀，也就是是中國唐朝的時代，在阿拉伯文明的中心——巴格達，有一位來自東方的大學者剛剛完成了一本著作。書名叫做《還原與對消的科學》（Kitab al-Jabr wa-l-Muqabala）。它講述瞭如何解二次以內的方程。人們用這本書的拉丁文簡稱Al-Jab，創造了一個詞Algebra。1859年，李善蘭與英國傳教士偉列亞力創造性地將其翻譯為“代數”。

遺憾的是，沒有人知道這位僑居在巴格達的數學家的真正名字。人們只知道他來自一個名叫花剌子模的東方國家。感謝金庸先生，《射鵰英雄傳》讓這個國家的名字得以普及。如今的烏茲別克的撒馬爾罕，還立有這位數學家的雕像。於是來自（Al）花剌子模（Khwarimi）的人，Al-Khwarimi（阿爾-花剌子密）就成了這位數學家的名字。它的拉丁文譯法為Algorithm，中文譯作“演算法”。

我們的前輩在發展代數時，大約經歷了三個階段：文辭代數，簡字代數、和符號代數。早期的解方程方法，如花剌子密著作中的方法，使用詳細的文字描述解題的步驟，直到16世紀，文辭代數仍然是主流的代數描述手段。後來古希臘的丟翻圖，逐漸使用了一些符號簡記方法，發展了簡字代數。現代的符號代數在萊布尼茨時達到了頂峰。極大了提高了數學語言的嚴謹性和表達能力。

可是反觀我們現在的演算法描述和很多計算機語言，似乎仍然停留在文辭代數階段。這一想法是我在2013年時逐漸形成的。那時距離開始寫作《初等演算法》一書，已經過去了好幾年了。

2005年前後，我經過一番曲折的道路，從C++的template meta programming，經由Lisp方言Scheme，開始使用Haskell來試著編寫程式。這是一門純函數語言程式設計語言，往往引導使用者用“代數”的方式思考和解決問題。但是深入下去，我發現需要解決一個問題。Dijsktra說“程式=演算法+資料結構”。大量的已有演算法和資料結構都是用命令式的描述和實現的，我們需要發展一套函式式的演算法和資料結構。從那時起，我開始試著用多種語言實現《演算法導論》一書中的演算法。2009年的時候我把這些工作放到了github上，希望更多的人能從中受益。

幸運的是，已經有前人認識到這一問題了。卡耐基梅隆大學的Chris Okasaki在讀博士的時候，就發展出了很多函式式資料結構。他的博士論文後來出版成為一本書《Purelyfunctional data structure》。其中用Standard ML給出了一系列的實現。牛津大學的Richard Bird出版了《Pearlsof functional algorithm design》針對很多問題，給出了對應的函式式演算法。

站在這些成果的基礎上，我得以把一些常見的基本演算法整理出來，同時給出命令式和函式式描述，方便大家對照參考。書中給出了一些例子程式碼，包括Haskell,C, C++, Python，以及Lisp方言Scheme的。

2014年夏天的時候，這本書的英文稿大部分完成了。我接受了一些朋友的建議，開始將其譯為中文。到2016年4月的時候，中文版也基本完成了。它們在github上可以獲得：

最近幾年，我的思路發生了一些轉變。從2013年開始，我逐漸開始讀一些和數學相關的書籍，開始是一些趣題集，後來是一些數學家的逸聞趣事，和科普讀物。偶爾也看看範疇論(Categorytheory)。我逐漸認為電腦科學，以及演算法終究還是數學的一個分支。回顧讀書期間，我們的數學教學也許忽略了一些東西，例如幫助學生了解數學的歷史，培養趣味性和幽默感等等。

如果再次重寫《初等演算法》這本書，也許不需要放入那些例子程式。而是可以加入更多數學元素，突出一下趣味性。如果有時間，我打算給中小學讀者寫一本名叫“Unplug”的書，不插電，不用電腦，不編寫程式來解決生活中的問題。

當然，也有另一個可能，就是為了迎合主流的讀者，將這本書用Scala和Java 8重寫一遍。不過未來無法預測，很多時候，我們像布朗運動中的分子，只是邁著“醉漢的腳步”不斷前行。