我一直致力于使用 BNFC 实现逻辑编程语言。我遇到的问题与打字规则有关。在 A.Ranta 的“实现编程语言”一书中，类型包含在 LBNF 语法中，如
Tbool. Type ::= "bool" ;
Tdouble. Type ::= "double" ;
Tstring. Type ::= "string";
我知道对于像 C 语言这样的语法，添加类型很重要，因为它们在声明中是不可或缺的，因此需要由前端解析。在本书中，类型检查器是用 Haskell 或 Java 编写的。但是在逻辑 PL 中，类型不是那么明确，它们是单独声明的，类型的示例语法编码为：
tid: name_type
ty: type
varTy: tid -> ty
arrTy: ty x ty -> ty
所以问题是类型的语法在代码中的什么位置？每当我尝试在 BNFC 中添加类型时，它就没有多大意义，并且测试的输入无法正确解析。这本书有一个很好的 C 语法示例，但没有提供 BNFC 创建的前端和类型检查器如何连接、信息如何从一个到另一个传递等的完整图片。