王朋
作品数: 4被引量:2H指数:1
  • 所属机构:解放军理工大学
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家高技术研究发展计划

相关作者

于尚超
作品数:5被引量:2H指数:1
供职机构:解放军理工大学
研究主题:泛型编程 泛型 函数式程序设计 HASKELL语言 编程
李阳
作品数:25被引量:71H指数:6
供职机构:解放军理工大学
研究主题:尺度自适应 目标跟踪 无人机 图像检索方法 图像检索
徐健
作品数:2被引量:0H指数:0
供职机构:解放军理工大学
研究主题:泛型编程 函数式程序设计 泛型 O
张兴元
作品数:22被引量:17H指数:3
供职机构:解放军理工大学
研究主题:形式化验证 形式化 定理证明 活动性 数字签名
基于Haskell语言的泛型扩展研究被引量:2
2012年
泛型即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式,它利用"参数化类型"将类型抽象化,实现灵活的软件复用。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护。文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能。
李阳于尚超王朋
关键词:泛型编程
O'Caml泛型编程中“泛型抽象”的研究
2013年
泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型。"泛型抽象"是指使用抽象类型作为类型参数的函数定义方法,实现了"泛型编程"类型参数的多样化。文中在O'Caml语言上进行"泛型抽象"的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了"泛型抽象"函数定义。
王朋徐健于尚超
关键词:泛型编程函数式程序设计
函数式语言泛型特性的研究与实现
2012年
对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间。利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能。
李阳于尚超王朋
关键词:泛型编程函数式程序设计