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

问题描述

我一直在使用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创建的前端和类型检查器如何连接，信息如何从一个传递到另一个等。

解决方法

我对BNFC并不熟悉，但是从我的角度看，它只是某种编译器 编译器规范。

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

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