Logic 逻辑编程语言中的类型是如何使用BNFC实现的？

我一直致力于使用BNFC实现逻辑编程语言。我遇到的问题与打字规则有关。在A.Ranta的《实现编程语言》一书中，类型包括在LBNF语法中，如

Tbool. Type ::= "bool" ;
Tdouble. Type ::= "double" ;
Tstring. Type ::= "string";

我理解，对于C语言中的语法来说，添加类型很重要，因为它们在声明中是不可分割的，因此需要前端进行解析。在本书中，类型检查器是用Haskell或Java编写的。但是，在logic PL中，类型并不明确，它们是单独声明的，类型的示例语法编码为：

tid: name_type
ty: type
varTy: tid -> ty
arrTy: ty x ty -> ty

---

所以问题是类型的语法在代码中的什么位置？每当我尝试在BNFC中添加类型时，它就没有多大意义，并且测试的输入没有正确解析。这本书有一个很好的C语法示例，但没有提供BNFC创建的前端和类型检查器如何连接的完整图片，信息如何从一个传递到另一个，等等。

我不熟悉BNFC，但从我所看到的，它只是某种编译器 编译器规范

所以问题是类型的语法在代码中的什么位置

经典的方法不是在语法级别处理类型检查，而是在语义级别处理类型检查。或者，如果您的语言是解释语言，则在运行时，在解释过程中