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

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

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

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

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