清洁

CURE是一种基于术语图重写的函数语言。它是专门设计的，可以通过使用纯函数语言来实现真实世界应用程序的开发。在本文中，我们首先简要概述语言清洁的最重要的基本特征，其中它是术语图重写语义。特别重要的是实际使用是清洁的独特类型，使破坏性的更新任意对象，并创建与外部世界的直接接口，所有在一个纯粹的功能框架。在这个概述之后，我们将关注一个新的语言特征，这是目前正在添加的。新版本的Curror提供了一种具有静态和动态类型的混合型系统。表达式是动态类型的，称为动态。借助于动态，人们可以创建移动表达式，这些表达式可以传递给其他干净的应用程序。动态可以用于使插件在运行时被类型检查。通常，需要30%的应用程序代码来存储（将数据转换为字符串）和检索（通过分析器）的数据。有了动态，人们不仅可以存储和检索数据，还可以检索代码（！）只需一个指令。支持动态性所需的实现工作是相当大的：它不仅涉及动态类型检查，还包括动态类型统一、动态链接、即时编译、数据编码技术和代码段版本管理。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（58篇）1标准条款）

显示结果1至20的58。
按年份排序（引文）
  1. 吉本斯，杰瑞米：理解铃声。为Phil Wadler，在他第六十岁生日的时候（2016）
  2. MaGalhées，JeséPeordo：多参数通用编程（2014）
  3. van Eekelen，马尔科：美丽的密码，美丽的证据？（2013）伊波尔特
  4. DeVice，EdSko：使用多态性建模独特的仿射类型（2013）
  5. Koopman，Pieter：功能语义学（2013）
  6. Lijnse，BAS:并行任务组合器的演化（2013）
  7. van Bakel，Steffen J.；罗威，Reuben N. S.：轻量级Java的功能类型分配。致Rinus Plasmeijer第六十一岁生日（2013）
  8. 扬森，Jan Martin；在JavaScript中实现非严格纯函数语言（2011）
  9. Endrullis，J.R.Rg；Hendriks，迪米特里：通过终止的懒惰生产力（2011）
  10. 塞德尔，丹尼尔；Voigtl Sunnter，JaiS:细化强制分型对自由定理的影响局部化（2011）
  11. van der Weegen，Eelis：类型理论中的数学类（2011）
  12. Achten，彼得；van Eekelen，马尔科；Koopman，Pieter；MalasaN，Marco T.：函数编程趋势1999/2000与2007/2008（2010）
  13. 阿尔卡恩，Beatriz；古蒂雷斯，拉尔；卢卡斯，萨尔瓦多：语境敏感依赖对（2010）
  14. 赫尔曼，戴维；墓，亚伦；弗拉纳根，Cormac：空间效率渐变式（2010）
  15. 霍尔德曼，斯特凡；Hage，Juriaa:使“严格”更相关（2010）
  16. HyZe，Ralf；L OH，安德烈斯：3D中的泛型编程（2009）
  17. Tejfel，Ma'te: Sabkle T（2009）中清洁程序的组合规范
  18. 德莫尔，van Eekelen，马尔科，Primjje，Runu:用闪耀函数证明懒惰函数程序的性质（2008）
  19. 王，Yong；Jiang，程伊：改进的自适应ChielpET分解及其在机动目标ISAR成像中的应用（2008）
  20. 王，Yong；Jiang，程伊：多分量多项式相位信号的广义时频分布（2008）