论文部分内容阅读
为了能够较好地处理函数式程序设计语言中的I／O问题，通过采用Monad方法将I／O加入到函数式程序设计语言中，来保持函数式程序设计语言的优点。本文探讨了在函数式I／O系统中数组操作的问题和数组更新的指称语义。
函数式语言中的数组更新（Ⅰ）
【摘 要】
：
为了能够较好地处理函数式程序设计语言中的I／O问题，通过采用Monad方法将I／O加入到函数式程序设计语言中，来保持函数式程序设计语言的优点。本文探讨了在函数式I／O系统中数组操作
【机 构】
：
湘潭大学信息工程学院
【出 处】
：
湘潭大学自然科学学报
【发表日期】
：
2002年4期
【基金项目】
：
湖南省教育厅资助项目 (0 0C0 0 87)
其他文献
脑卒中是导致老年人因病致残的最主要原因之一,我国每年新增约200万卒中病人,致残率高达70%~80%[1],康复治疗能有效降低致残率、提高生活质量、节约社会资源、减轻家庭负担。
对矩阵开方运算进行探讨，给出了方阵存在ｎ次方根的充要条件，求ｎ次方根方法。
讨论了二维非线性Ｖｏｌｔｅｒｒａ积分方程迭代配置方法，并研究了一种校正格式，对拟一致网格和任意的配置参数，证明了相应的整体多重校正估计。
随着工业领域的智能设备越来越多,应用场景越来越广泛,内部无线网络为移动作业、终端设备状态感知、信号实时采集处理、智能设备运维管理提供了很多便利,但是因为网络架构延
发展了计算能带结构的*sp3s*模型,并应用该模型对无限长单壁纳米碳管的能带结构进行了系统的分析;发现对于[n,m]纳米碳管当n=m时为金属性纳米碳管,m-n=3q(q为整数)时为窄隙半
研究了铜铁试剂与铜的络合物在碳糊电极上的电化学行为,在pH=4.1的B-R缓冲溶液介质中,铜铁试剂与铜离子络合物的半阶微分还原峰电位为-0.75 V(vs.SCE),其峰电流与铜离子的浓
本文主要探究翻转课堂教学模式在羽毛球不同技术动作教学中的作用。选择广州医科大学羽毛球选项课2个班级共60名学生作为研究对象,目标教学技术动作选择正手发后场高远球和正
高校田径项目教学中的体能训练对学生来说十分重要,体能储备好坏可以直接决定学生专项练习以及比赛的水平,而且随着体能训练和多门科学学科的交叉,促使高校体能训练对老师提
利用消费决策模型研究了风险规避下的随机现金流管理问题,得到了该问题的最优策略,同时证明了指数效用函数下决策者的最优策略与风险中性时决策者的最优策略具有相同的结构.