您的位置： 专家智库 > >

欧阳坚

作品数：1 被引量：1H指数：1
供职机构：清华大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：一般工业技术自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇一般工业技术

主题

  • 1篇同构
  • 1篇同构系统
  • 1篇函数式语言
  • 1篇编程
  • 1篇编程系统
  • 1篇编程语言

机构

  • 1篇清华大学

作者

  • 1篇张素琴
  • 1篇王生原
  • 1篇戴桂兰
  • 1篇罗晓光
  • 1篇欧阳坚

传媒

  • 1篇计算机科学

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
函数式元编程语言的设计要素被引量：1
2006年
本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了支持元编程需要扩展的机制,包括语法、语义、类型系统、安全的变量使用等,以及它们的实现方案、各方案的特点。最后总结一些元编程系统的共同点,并预测未来的发展趋势。
欧阳坚罗晓光王生原戴桂兰张素琴
关键词：函数式语言同构系统
全选 清除 导出
共1页<1>
聚类工具0