10.3969/j.issn.1000-386x.2022.04.002
基于Monad的可认证数据结构
采用一种基于范畴论发展出来的Monad的实现方法,该方法可从编译器中提取操作性语义,然后将其等价转换为指示性语义.由于Monad方法普遍适用于函数式编程语言,使得基于Monad的可认证数据结构可根据源语言的语法生成新语言特性.优点是新语言特性的设计者无须深入了解修改编译器语法树,也无须修改源语言的语法,即可完成程序语言编译器之间语义的移植.
可认证数据结构、范畴理论、类型理论、函数式编程、程序语言设计
39
TP393(计算技术、计算机技术)
国家重点研发计划2016YFB0801601
2022-06-29（万方平台首次上网日期，不代表论文的发表时间）
共10页
5-13,59
