【摘 要】
：
多态类型是函数式语言的基本特性,它使得算法形式简洁,提高了代码的可重用性.在C++中增加多态类型定义,将大大提高C++的描述能力.本文研究了函数式语言Haskell的多态类型系统和C++类之间的关系,提出了data定义的代数数据类型及其相关的模式匹配函数到C++模板的转换算法,并用Haskell语言本身实现了这个自动转换,实践证明本文所采用的方法是有效和实用的方法.
【机 构】
：
华南理工大学计算机科学与工程学院(广东广州)
【出 处】
：
2002全国软件与应用学术会议(NASAC)
论文部分内容阅读
多态类型是函数式语言的基本特性,它使得算法形式简洁,提高了代码的可重用性.在C++中增加多态类型定义,将大大提高C++的描述能力.本文研究了函数式语言Haskell的多态类型系统和C++类之间的关系,提出了data定义的代数数据类型及其相关的模式匹配函数到C++模板的转换算法,并用Haskell语言本身实现了这个自动转换,实践证明本文所采用的方法是有效和实用的方法.
其他文献
排泥体积浓度是影响射流式挖泥装置的效率和产量的关键因素之一.为了提高排泥体积浓度,本文进行了模型试验研究.试验中采用二种不同粒径的沙,研究了挖泥装置的移动速度和方向、冲沙喷嘴的压力及布置方式、射流泥浆泵吸入口离沙面的距离等因素对装置排泥浓度的影响,并确定了上述参数合适的范围.
本文主要介绍了德国WOMA公司的高压水射流产品系列参数以及机场跑道高压水除胶车、高压水混凝土清拆机、高压水除锈爬壁机器人和480Z多用户系统的成套技术.
双射流是根据旋转射流和圆形射流的特点,而提出的一种新型射流.它能利用冲击、空蚀、扩孔等作用,增强水射流的冲击破碎效果和扩孔能力.本文通过数值模拟分析双射流喷嘴内部和外部流场的结构特性,参考流体力学理论和旋转射流、轴对称射流、双孔射流、组合射流的研究结论,建立了描述双射流流动的简化方程组,并进行了破岩实验.初步研究表明双射流具有较好的结构特点,能够满足破岩和扩孔要求.
喷射传质是指利用喷射流动来传递流体间的能量及质量.液气射流泵是喷射传质装置的核心部件,它利用高速湍射流,通过流体质点或微团的紊动扩散作用,将能量与质量传递给被吸的流体,传质效率比一般填料的液膜传质高.它具有结构简单、工作可靠,体积小,混合充分及有利于化学反应等优点.液气两相流喷射传质是一个具有复杂的三维边界条件,并发生相变及化学反应的流动及传质过程.文中提出了液气喷射传质的双流体模型理论计算方法,
柱塞密封是保证高压水射流清洗机处于正常工作状态的技术关键,也是衡量高压水射流清洗机成套设备可靠性的重要标志.总结笔者多年从事高压水射流清洗技术及设备研发的工作经验,在本文中简要论述了目前应用比较广泛的几种中高压水射流清洗机柱塞密封形式的优缺点.
本文在试验研究的基础上,按照桥梁工程的实用模式分析和推导出桥梁工程用轻骨料混凝土的裂缝宽度及刚度的计算公式.为编制《轻骨料混凝土桥梁技术规程》做好必要的工作.
介绍了近年来某些桥梁及海洋工程项目在应用LWAC时的一些特色,有价格、结构中关键部位、特定场合以及额定密度混凝土等方面.它们都是成功的工程,可为有志于LWAC的工程人员借鉴.
随着我国墙材革新的深入发展,轻型墙材的比重正在逐年提高,特别是轻质大块机械条板具有其它新型墙板无法替代的优势.本文介绍目前生产轻质墙板的几种方法.
本文介绍了用上海申威陶粒制品有限公司研制的高强粉煤灰陶粒配制砼的增强途径、工艺措施及在工程实例中的应用.
本文介绍一种由聚苯乙烯球与粉煤灰为主要材料复合的免烧结粉煤灰轻骨料,并对其生产工艺,主要技术性能,以及用其配制轻砼,生产小型轻砼砌块进行了试验研究.