小编ina*_*sit的帖子

我正在尝试为此语法编写具体的语法（来自Grammatical Framework: Programming with Multilingual Grammars 的第 6 章）：

abstract Arithm = {
  flags startcat = Prop ;
  cat
    Prop ;                        -- proposition
    Nat ;                         -- natural number
  fun
    Zero : Nat ;                  -- 0
    Succ : Nat -> Nat ;           -- the successor of x
    Even : Nat -> Prop ;          -- x is even
    And  : Prop -> Prop -> Prop ; -- A and B
}

整数、浮点数和字符串文字（Int、Float和String）有预定义的类别，它们可以用作函数的参数，但它们可能不是任何函数的值类型。 …