采用一种基于范畴论发展出来的Monad的实现方法，该方法可从编译器中提取操作性语义，然后将其等价转换为指示性语义。由于Monad方法普遍适用于函数式编程语言，使得基于Monad的可认证数据结构可根据源语言的语法生成新语言特性。优点是新语言特性的设计者无须深入了解修改编译器语法树，也无须修改源语言的语法，即可完成程序语言编译器之间语义的移植。
科研之友
微信
新浪微博
Facebook
分享链接
