基于Monad的可认证数据结构

作     者：贺新征 光焱 祝跃飞 He Xinzheng;Guang Yan;Zhu Yuefei

作者机构：中国人民解放军战略支援部队信息工程大学河南郑州450001 河南大学计算机与信息工程学院河南开封475000 

基　　金：国家重点研发计划项目(2016YFB0801601) 

出 版 物：《计算机应用与软件》 (Computer Applications and Software)

年 卷 期：2022年第39卷第4期

页      码：5-13,59页

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

主 题 词：可认证数据结构 范畴理论 类型理论 函数式编程 程序语言设计 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-386x.2022.04.002

馆 藏 号：203112399...