如何解决使用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并不熟悉,但是从我的角度看,它只是某种编译器 编译器规范。
所以问题是类型的语法在代码中的什么位置?
经典方法不是在语法级别处理类型检查,而是在语义级别处理类型检查。或者,如果您的语言是一种解释性语言,则在运行时或解释期间。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。