...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Functional Programming >Type-safe run-time polytypic programming
【24h】

Type-safe run-time polytypic programming

机译：类型安全的运行时多型编程

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Polytypic programming is a way of defining type-indexed operations, such as map, fold and zip, based on type information. Run-time polytypic programming allows that type information to be dynamically computed - this support is essential in modern programming languages that support separate compilation, first-class type abstraction, or polymorphic recursion. However, in previous work we defined run-time polytypic programming with a type-passing semantics. Although it is natural to define polytypic programs as operating over first-class types, such a semantics suffers from a number of drawbacks. This paper describes how to recast that work in a type-erasure semantics, where terms represent type information in a safe manner. The resulting language is simple and easy to implement - we present a prototype implementation of the necessary machinery as a small Haskell library.
机译：多型编程是一种基于类型信息定义类型索引操作的方式，例如地图，折叠和邮政编码。运行时多型编程允许动态计算类型信息-这种支持在支持单独编译，一流类型抽象或多态递归的现代编程语言中至关重要。但是，在先前的工作中，我们使用类型传递语义定义了运行时多型编程。尽管将多型程序定义为在第一类类型上运行是很自然的，但是这种语义有许多缺点。本文介绍了如何重铸具有类型擦除语义的工作，其中术语以安全的方式表示类型信息。由此产生的语言既简单又易于实现-我们将所需机器的原型实现作为一个小的Haskell库呈现。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号