纯函数式语言

作品数：13被引量：15H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：袁华强孙永强石跃祥张卫丰张迎周更多>>
相关机构：上海交通大学东莞理工学院湘潭大学南京邮电大学更多>>
相关期刊：《计算机工程与应用》《计算机学报》《计算机应用与软件》《程序员》更多>>
相关基金：江苏省高校自然科学研究项目湖南省教育厅科研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
纯粹之美——浅谈纯函数式语言Haskell
《程序员》2010年第8期83-85,共3页韩祝鹏 
程序的江湖中总是风水轮流转，前些年面向对象编程（OOP）当道，这几年函数式编程（FP）渐渐渗透进主流。莫要感叹世事变化莫测，让我们抛开纷杂的表象，追本溯源，来一次寻根之旅，领略下最纯粹的FP语言Haskell的美妙。
关键词：纯函数式语言 面向对象编程 程序 
一种基于Z规范的纯函数式程序设计方法
《计算机应用与软件》2008年第2期117-118,共2页袁华强 孙永强 
状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法。
关键词：纯函数式语言 Z规范 MONAD 
基于unboxed数据类型的纯函数式I／O系统的实现
《计算机应用与软件》2008年第1期93-95,共3页袁华强 孙永强 
采用unboxed数据类型实现纯函数式I/O系统,通过一个由unboxed数据类型定义的程序转换系统将纯函数式I/O程序转换为C语言代码,其中着重讨论了基本操作ccall的实现。
关键词：纯函数式语言 I/O系统 unboxed数据类型 C语言代码 
Haskell:一种现代纯函数式语言被引量：7
《南京邮电大学学报（自然科学版）》2007年第4期13-18,23,共7页张迎周 张卫丰 
国家自然科学基金(60503020)和江苏省高校自然科学基金(05KJD520151)资助项目
随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这...
关键词：HASKELL 函数式语言 多态类型 高价函数 惰性计算 
一种基于组合Monad的纯函数式Lazy I/O操作
《计算机工程与科学》2006年第7期119-122,共4页袁华强 王亚强 孙永强 
Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、I/O等非纯函数式语言的特征。本文通过组合状态转换Monad和异常处理Monad来定义纯函数式LazyI/O操作,既保持了纯函数式语言的特征,又融入了非纯函数式语言的特征。
关键词：纯函数式语言 MONAD lazy I/O 
一种基于组合Monad的纯函数式通道系统操作
《计算机工程与应用》2004年第25期88-89,95,共3页袁华强 孙永强 
Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、IO等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言通道系统操作,给出了通道系统操作的操作语义。
关键词：纯函数式语言 MONAD 
基于Monad的纯函数式语言通道系统设计被引量：2
《计算机科学》2004年第3期167-169,共3页袁华强 孙永强 
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。
关键词：纯函数式语言 通道系统 设计 文件系统 MONAD 操作系统 进程 
基于Monad的纯函数式语言文件系统设计
《东莞理工学院学报》2004年第1期12-18,共7页袁华强 孙永强 石跃祥 
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了文件系统的语义。
关键词：MONAD 纯函数式语言 文件系统 系统设计 状态转换嚣 操作系统 
函数式语言中的数组更新(I)
《湘潭大学自然科学学报》2002年第4期21-25,共5页石跃祥 袁华强 
湖南省教育厅资助项目 (0 0C0 0 87)
为了能够较好地处理函数式程序设计语言中的I O问题 ,通过采用Monad方法将I O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I
关键词：数组更新 纯函数式语言 赋值操作 输入/输出 指称语义 数操作 I/O系统 
纯函数式语言的状态转换器与调用被引量：3
《湘潭大学自然科学学报》2000年第3期25-29,34,共6页石跃祥 袁华强 
针对PeytonJones&Wadler在IOMonad设计的一个基于状态转换的函数I/O系统中 ,存在着某状态没有显式地反应在IO类型中 ,为了克服诸于此类问题 ,定义了状态转换器及其状态组合子 ,统一处理了PeytonJones&Wadler的IO类型 ,并给出了基本I/O操...
关键词：状态转换器 纯函数语言 状态组合子 指称语义 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部