【摘 要】
：
O’Caml语言是一门优秀的函数式程序语言,具有计算模型简单、语法语义描述清晰等特点,而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的
论文部分内容阅读
O’Caml语言是一门优秀的函数式程序语言,具有计算模型简单、语法语义描述清晰等特点,而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的重复编写.针对如何将通用编程技术方法和O’Caml语言相结合来提高O’Caml程序复用程度的问题,通过对O’Caml语言语法进行扩展引入类型标记1函数,然后运用类型结构化转换和类型映射机制,实现通用函数,从而达到在O’Caml语言中引入通用编程技术的目的.实例结果表明,在O’Caml语言中实现通用编程技术,有效提高了编程效率和程序的通用性.
其他文献
针对强调波谷算法和强调波谷邻域算法,都只考虑阈值所在波谷及其邻域的灰度值出现概率对分割结果的影响,提出一种结合波谷的灰度值与其空间分布性的改进的OTSU算法,并构造出
提出一种跨平台的人机交互软件组件集成框架,包括三部分内容：一是人机交互软件的框架结构,包括引导程序、主框架、组件实体、消息总线.二是组件的管理方式,组件是跨平台的可单
吸收式制冷系统将是制冷技术的重要发展方向.针对吸收式制冷系统管线长、设备复杂、监控点多、监控点分散的特点,设计了一种基于LabVIEW和CAN总线的分散式参数采集和控制系统
准确可靠的文本倾向性分析是网络舆情分析与网络内容安全的前提.本文提出了利用中文极性情感词典How Net、NTUSD以及大连理工大学发布的褒贬情感词词典进行并交运算,选择并翻
反馈信息不足导致VCP无法根据网络拥塞程度进行相应窗口调整,在网络突发业务流情况下存在慢收敛问题.针对高带宽延时网络特性,本文提出一种基于带宽预测的VCP拥塞控制改进算
现有卷烟市场监管机制下,烟草、工商、公安等部门信息共享、应用多以手工交互为主.模式单一,协作效率低下,各部门庞大的市场监管数据难以有效融合是协作的难点.提出一种在大
车线偏离警告系统（LDWS）是车载主动安全系统的一项主要功能,研究了LDWS中的关键技术,以车道模型为核心,采用基于模型驱动的方法探测车道,为解决弯道探测的问题,将车线探测区域
研究如何提升Web应用程序自动测试效率的问题.利用XML技术设计并封装关键字,完成自动化测试脚本的编写,自动测试引擎解析XML文件,解释关键字,导航测试执行并生成报告.以ERP产品的应用案例表明该系统达到了测试脚本分层设计,提升可读性和可维护性,降低编写难度,提升效率的目的.
随着互联网技术的发展,传统的广播电台行业受网络媒体的影响越来越大.通过对广播行业的调查研究发现,传统广播正向新媒体广播开始转变.针对现有的流媒体服务器不具有多种音频
创新集群管理信息化目前依然是一个较新的课题, 不同产业、不同区域都在摸索当中。本项目基于创新集群科研管理信息化的需求, 针对创新集群跨机构、跨区域、跨领域的特征, 利