论文部分内容阅读
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点.本文探讨了在函数式I/O系统中数组操作的问题和数组更新的指称语义.
函数式语言中的数组更新(I)
【摘 要】
：
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点.本文探讨了在函数式I/O系统中数组
【机 构】
：
湘潭大学信息工程学院
【出 处】
：
湘潭大学自然科学学报
【发表日期】
：
2004年期
【基金项目】
：
湖南省教育厅科研项目;
其他文献
利用黑龙江省科学院自然与生态研究所三江平原湿地生态定位研究站内的模拟氮沉降试验平台,应用Miseq测序技术对细菌16S rDNA进行序列测定和分析,探讨添加氮对三江平原小叶章
从气动和控制综合设计角度,提出了解决飞翼布局无人机稳定能力问题的多轴静不稳定增稳控制规律,通过对多操纵面操纵特性和操纵需求分析给出了操纵面的配置策略。仿真分析表明
为扩大勘探领域 ,运用古生物资料对大庆外围盆地的古气候进行了研究。外围盆地侏罗纪—早白垩世早期发育的地层有早侏罗世海拉尔盆地的东宫组 ,中侏罗世三江盆地的绥滨断陷的
海岛 ,特别是一些面积小的岛屿 ,处于复杂的环境中 ,具有陆地与海洋的多种尺度特征。 IKONOS卫星遥感图像是现有遥感信息中空间分辨率最高的卫星数据之一 ,因此是海岛详细探测、大比例尺遥感分析的重要信息源。南麂列岛作为国家级海洋自然保护区 ,素有“贝藻王国”之称 ,具有典型性和示范性。本文是利用 IKONOS卫星遥感图像研究南麂列岛岸线特征、人工构筑物与近海目标以及土地覆盖的初步成果。结果表明它
贝加尔钻探计划(BDP)中的96-1井位于贝加尔湖中央的科学湖脊,1996年冬从位于332m水深以下的钻井采样.钻孔从湖底向下深200m,根据古地磁资料,钻孔年代推测为5.1Ma.Tsuga,Lepid
本文针对1991年7月5日20时-6日20时一次江淮梅雨过程,计算了潜热的释放,并揭示出潜热具有以下特点:(1)在整个梅雨锋暴雨过程中有大量凝结潜热释放,且在梅雨锋暴雨的强盛时期
为消除连杆小头孔位置综合误差,提出一种采用更换新衬套,并对衬套孔进行镗削而精确修正误差的方法。阐述了误差修正的原理,建立了连杆小头基孔位置综合误差与衬套经镗削后的
基于电化学阳极溶解的电化学光整加工方法,因其具有工具无损耗、不受工件阳极表面硬度影响、可获得光滑的表面轮廓等特性而备受关注,并得到迅速发展。从工具阴极的设计、电源
目的:探讨肝切除病人应用ω-3多不饱和脂肪酸(ω-3 PuFA)的总体疗效. 方法:选取肝切除手术病人85例,分为常规肠外营养(PN)组42例,术后应用脂肪乳氨基酸(17种)葡萄糖(11%)注射
介绍了DCNLP法在可重复使用运载器再人段轨迹优化中的应用.首先以可重复使用运载器为对象,以攻角和倾侧角为控制变量,并考虑严格的终端约束和过程约束,建立了以航程最远作为