您的位置： 专家智库 > >

徐健

作品数：2 被引量：0H指数：0
供职机构：解放军理工大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇函数式程序设...
  • 1篇泛型
  • 1篇泛型编程
  • 1篇编程
  • 1篇程序设计
  • 1篇O

机构

  • 1篇解放军理工大...

作者

  • 1篇徐健
  • 1篇于尚超
  • 1篇王朋

传媒

  • 1篇计算机技术与...

年份

  • 1篇2013
共 2 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
O'Caml泛型编程中“泛型抽象”的研究
2013年
泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型。"泛型抽象"是指使用抽象类型作为类型参数的函数定义方法,实现了"泛型编程"类型参数的多样化。文中在O'Caml语言上进行"泛型抽象"的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了"泛型抽象"函数定义。
王朋徐健于尚超
关键词：泛型编程函数式程序设计
全选 清除 导出
共1页<1>
聚类工具0