纯函数式语言的状态转换器与调用

• 作者: 石跃祥 袁华强
• 来源期刊: 湘潭大学自然科学学报
• 学科: 工学
• 关键词: 状态转换器 I/O 指称语义
• 年，卷（期）: 2000,（3）
• 所属期刊栏目: 数学
• 页码范围: 25-29,34
• 页数: 6页
• 分类号: TP311
• 字数: 2621字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5900.2000.03.006

摘要

针对Peyton Jones & Wadler在IO Monad设计的一个基于状态转换的函数I/O系统中,存在着某状态没有显式地反应在IO类型中,为了克服诸于此类问题,定义了状态转换器及其状态组合子,统一处理了Peyton Jones & Wadller的IO类型,并给出了基本I/O操作ccall的指称语义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石跃祥	湘潭大学计算机科学系	84	645	14.0	22.0
2	袁华强	湘潭大学计算机科学系	9	13	2.0	3.0