清洁

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)