本書將利用組合子邏輯實現(xiàn)一個簡單的LISP解釋器。什么是組合子邏輯？一般來說組合子邏輯是指一類函數(shù)式編程語言的編程模式，它將具有同一功能接口的不同邏輯功能(算子)組合為新的、更復雜的邏輯，同時保留同樣的功能接口，使接口具有外在的一致性。這是函數(shù)式編程中的一個基本范式。在面向對象的設計模式中，也有一些類似的設計思想。

不少函數(shù)式編程語言的文本分析工具是用組合子實現(xiàn)的，例如Haskell的Parsec和Scala的Parser.Combinators庫。這是因為組合子很適合表達抽象模式，例如重復、間隔、順序依賴等。組合子的這種特性使其可應用于各種各樣的序列分析，包括非線性序列。

在學習Haskell的時候，我接觸到了Parsec組合子。我結合手頭的工作，開始嘗試用一些常規(guī)編程語言實現(xiàn)Parsec算子。接下來十余年，我用Go、Swfit、Rust、Javascript、Python、Scala、Java等多種編程語言進行了探索和嘗試，包括對Parsec解釋器進行移植、實現(xiàn)規(guī)則引擎等。最后，主要做出了兩項成果：用Scala開發(fā)出了Jaskell Core Parsec，以及專門為Java 8項目完成的Jasekll Parsec Java 8。這些成果也在我目前的工作中得到應用，收到了良好的效果。

本書從一些簡單的例子入手，逐步介紹Parsec組合子的原理、應用和實現(xiàn)，重點是講解它在Java和Scala中的實現(xiàn)方式，并給出相應的代碼。因為示例解釋器是分別用Java和Scala實現(xiàn)的，所以本書也可以作為Java和Scala語言的補充教材。

為了方便書籍的排版和印刷，我對書中代碼做了一些格式上的處理，這些處理并不影響代碼的功能。讀者可以在書尾找到最新版本的代碼。