共查询到17条相似文献,搜索用时 109 毫秒
1.
泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O’Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型。"泛型抽象"是指使用抽象类型作为类型参数的函数定义方法,实现了"泛型编程"类型参数的多样化。文中在O’Caml语言上进行"泛型抽象"的研究,根据规则对O’Caml语言语法进行扩展,并在O’Caml语言中实现了"泛型抽象"函数定义。 相似文献
2.
对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间。利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能。 相似文献
3.
泛型即通过参数化类型来实现在同一份代码上操作多种数据类型.泛型编程是一种编程范式,它利用“参数化类型”将类型抽象化,实现灵活的软件复用.泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果.文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护.文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能. 相似文献
4.
泛型编程是面向对象的进一步发展,从更高的角度对世界进行抽象,为面向对象的不足之处提供了解决之道.它可让你重复运用既有的算法,而不必在环境类似的情况下再重新撰写相同代码,使得处理的问题更加抽象化,是一种优美而又不失效率的通用型程序设计方法.JDK 1.5中引入了对Java语言的多种扩展,泛型(generics)即其中之一.本文讨论JDK 1.5的泛型实现. 相似文献
5.
对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象。然而对于现行的泛型算法,无论是C++标准模版库中的泛型算法还是基于函数式程序设计语言的算法,函数功能的定义比较具体化、单一化,因而缺乏可扩展性和高度的复用性。将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性。除此之外,分析了递归算法构造子与泛型程序设计中的iterator概念和用于描叙泛型概念的形式化语言Tecton中所提倡的reuse概念的一致性。也给出算法复杂度的定量分析,并用函数式语言ML来实现。 相似文献
6.
结合C 探讨了利用模板技术和STL进行泛型编程,可以极大地改变我们的编程方式,使程序代码更具有可重用性和可维护性. 相似文献
7.
8.
今年我们推出了侯捷先生的系列文章,讲解Boost,或许有的读者希望了解与之相关的编程思想,因此我们特别约请了刘未鹏先生讲述泛型编程的意义。 相似文献
9.
10.
本文对泛型编程的核心思想和技术特征进行了较为深入的分析,介绍了泛型编程在语言实现上的现状与不足,着重论述了作者针对这些不足做出的改进工作,即对类型参数及其约束机制进行扩展以支持通用、高效的算法和数据结构的设计,并以Java语言作为实施例,详细介绍了如何通过现有对象技术来实现比较完整的泛型编程,是现有面向对象语类泛型编程的首例。 相似文献
11.
O’Caml语言是一门优秀的函数式程序语言,具有计算模型简单、语法语义描述清晰等特点,而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的重复编写。针对如何将通用编程技术方法和O’Caml语言相结合来提高O’Caml程序复用程度的问题,通过对O’Caml语言语法进行扩展引入类型标记1函数,然后运用类型结构化转换和类型映射机制,实现通用函数,从而达到在O’Caml语言中引入通用编程技术的目的。实例结果表明,在O’Caml语言中实现通用编程技术,有效提高了编程效率和程序的通用性。 相似文献
12.
泛型程序设计将类型安全的任务从程序员转移给编译器,不再需要程序员编写代码来检测数据类型是否正确,而是在编译时由编译器强制使用正确的数据类型。因此,采用泛型程序设计可以减少类型强制转换的需要和运行时出现错误的可能性。 相似文献
13.
编程语言在软件设计领域经历过三次重大的变革,它们分别是面向过程的编程,面向对象的编程和泛型编程.其中的每一次变革不仅影响到编程语言本身,更影响到软件工程中的各个领域.文章介绍了这三种程序的设计方法,并且对其进行了比较和分析. 相似文献
14.
李巍 《数字社区&智能家居》2006,(5)
本文就如何运用泛化思维进行可复用设计进行了研究,介绍了泛化的相关重要概念,并对泛化思维在设计模式中的应用进行了探索,最后以一种模式为例详细介绍了如何设计泛化模式。 相似文献
15.
面向对象、泛型程序设计与类型约束检查 总被引:7,自引:0,他引:7
该文对面向对象和泛型程序设计(generic programming)的核心思想和方法进行了较为深入的分析.阐明了各自的目标、技术特征及其优缺点所在.介绍了泛型程序设计针对对象技术的不足所引进的重大革新,即通过类型需求抽象来设计通用、高效的数据结构和算法;着重论述了作者在进一步增强泛型程序设计实际运用方面所提出的改进工作.以C 语言的一个泛型编程扩充语言C**为实施例,详细说明了如何通过一种叫做“命名类型约束”的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查,为当前泛型程序设计模型的首例编程语言实例. 相似文献
16.
李巍 《数字社区&智能家居》2006,(2):142-143
本文就如何运用泛化思维进行可复用设计进行了研究,介绍了泛化的相关重要概念,并对泛化思维在设计模式中的应用进行了探索.最后以一种模式为例详细介绍了如何设计泛化模式。 相似文献
17.
结合高职计算机语言课程教学特点,以及作者在计算机语言课程教学过程中的观察和感受,分析高职计算机语言课程教学中存在的问题,简要提炼出计算机语言课程教学中的重点和难点,对计算机编程语言的课程教学方法提出改进措施。 相似文献