在“解释语言的语言”中提到，设计一个新的程序语言，仅仅是使用meta-language给出其描述是不够的，我们还需要去验证一些性质。
考虑一下我们在“解释语言的语言中”给出的求值关系re ，对于表达式( f . ( t . f ) ),
殊途同归 - Church-Rosser and Consistency of Evaluation
猜你喜欢
转载自www.cnblogs.com/hyj2357/p/10570825.html
今日推荐
周排行