将一段 Lisp 代码移植到 Clojure (PAIP)

Question

我正在阅读 Peter Norvig 的人工智能编程范式（PAIP），并且我尝试用 Clojure 而不是普通的 Lisp 编写所有代码。然而我被困在第 39 页的这段代码上：

(defparameter *simple-grammar*
  '((sentence -> (noun-phrase verb-phrase))
   (noun-phrase -> (Article Noun))
   (verb-phrase -> (Verb noun-phrase))
   (Article -> the a)
   (Noun -> man ball woman table)
   (Verb -> hit took saw liked))
  "A grammar for a trivial subset of English.")

 (defvar *grammar* *simple-grammar*)

如何将其翻译成 Clojure？ 谢谢。

Answer 1

我是一个 Clojure 新手，不久前经历过这个练习。这里需要考虑的是，您是否想尽可能严格地遵循 Norvig 的代码（例如编写“Common-Lisp 风格”Clojure），或者您是否想编写更接近惯用 Clojure 的代码。这就是我所做的：

(use '[clojure.contrib.def :only [defvar]])

(defvar *simple-grammar* 
  {:sentence [[:noun-phrase :verb-phrase]]
   :noun-phrase [[:Article :Noun]]
   :verb-phrase [[:Verb :noun-phrase]]
   :Article ["the" "a"]    
   :Noun ["man" "ball" "woman" "table"]
   :Verb ["hit" "took" "saw" "liked"]}
  "A grammar for a trivial subset of English.")

defvar 是糖，它允许您更自然地向变量添加文档字符串。在本例中，我使用映射（由 {} 分隔的键值对）来获取从每个规则的左侧到右侧的字典式查找。我还使用向量（由 [] 分隔）而不是列表来表示每个规则的 RHS。一般来说，“惯用的”Clojure 代码很少使用列表来保存顺序数据；除非您代表 Clojure 形式（源代码），否则首选向量。

这些类型的更改将允许您更多地使用该语言的内置功能，而不必编写一些辅助函数来操作嵌套列表。

Answer 2

Ken 是对的，只需对 def* 形式进行一些简单的更改，以及不同样式的文档字符串（文档字符串对于函数定义来说比对于普通变量要简单一些）：

(def ^{:doc "A grammar for a trivial subset of English."} 
  *simple-grammar*
  '((sentence -> (noun-phrase verb-phrase))
    (noun-phrase -> (Article Noun))
    (verb-phrase -> (Verb noun-phrase))
    (Article -> the a)
    (Noun -> man ball woman table)
    (Verb -> hit took saw liked)))

(def *grammar* *simple-grammar*)