1

我正在做一些编程语言练习，我正在尝试使用 Spec 来定义语言语法并对其进行解析。代码很简单，如下所示。但是我在如何使用子表达式正确解析时遇到问题。

(:require [clojure.spec.alpha :as s]
        [clojure.edn :as e])

(s/def ::const-exp integer?)
(s/def ::var-exp symbol?)

;; -(1,2)
(s/def ::diff-exp (s/cat :minus #{'-} :exps (s/coll-of ::expr :count 2)))

;; zero? 2
(s/def ::zero?-exp (s/cat :zero? #{'zero?} :exp1 ::expr))

;; if x then y else c
(s/def ::if-exp (s/cat :if #{'if} :exp1 ::expr :then #{'then} :exp2 ::expr :else #{'else} :exp3 ::expr))

;; let x = y in c
(s/def ::let-exp (s/cat :let #{'let} :id ::var-exp :eq #{'=} :exp1 ::expr :in #{'in} :body ::expr))

(s/def ::expr
  (s/or
   :const-exp ::const-exp
   :diff-exp ::diff-exp
   :var-exp ::var-exp
   :zero?-exp ::zero?-exp
   :if-exp ::if-exp
   :let-exp ::let-exp))

(defn pgm [x] (e/read-string (format "[%s]" x)))

到目前为止，它可以很好地解析基本表达式。喜欢(s/conform ::expr (pgm "let x = 7 in x"))

但是对于 let 表达式的示例，如果我将最后一个 x 更改为某个复杂的表达式，(s/conform ::expr (pgm "let x = 7 in let y = 8 in y"))，解析将失败并出现以下说明：

In: [6] val: (y = 8 in y) fails spec: :eopl.let-spec/let-exp at: [:let-exp] predicate: (cat :let #{(quote let)} :id :eopl.let-spec/var-exp :eq #{(quote =)} :exp1 :eopl.let-spec/expr :in #{(quote in)} :body :eopl.let-spec/expr), Extra input

似乎它不能向前看或正确地递归符合？还是我在这里定义的语法错误？

我该如何解决这个问题才能让它用 Spec 正确解析？

提前致谢。

4

0 回答 0