干净

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献58条,1标准件)

显示第1到第20个结果，共58个。
按年份排序(引用)
  1. 吉本斯，杰里米：理解戒指。在菲尔·瓦德勒60岁生日之际（2016年）
  2. Magalhães，JoséPedro:多参数通用编程（2014）
  3. 德莫尔，马尔滕；范伊克伦：漂亮的代码，漂亮的证据？（2013年）ioport公司
  4. 独特的多态性建模（2013年）
  5. Koopman，Pieter:功能语义学（2013）
  6. Lignse，Bas:并行任务组合器的进化（2013）
  7. 范巴克尔，斯特芬J。；Rowe，Reuben N.S.：轻量级Java的函数类型赋值。致Rinus Plasmeijer，以纪念他61岁生日（2013年）
  8. 多莫斯兹莱，拉斯洛；布鲁尔，艾迪；Jansen，Jan Martin：用JavaScript实现非严格的纯函数式语言（2011）
  9. 恩德鲁利斯，约格；亨德里克斯，迪米特里：《通过终止实现懒惰的生产力》（2011）
  10. 塞德尔，但以理；Voigtländer，Janis:精细类型化强制严格对自由定理的影响（2011）
  11. 痰盂、浴盆；范德韦根（van der Weegen），Eelis：类型理论中的数学类型课程（2011）
  12. 阿赫腾，彼得；范伊克伦，马尔科；库普曼，彼得；Morazán，Marco T.：1999/2000年与2007/2008年（2010年）功能性编程趋势趋势
  13. 阿拉克松，比阿特丽斯；古铁雷斯，劳尔；卢卡斯，萨尔瓦多：上下文相关依赖对（2010）
  14. 赫尔曼，大卫；坟墓，亚伦；弗拉纳根，科马克：节省空间的渐进式打字（2010年）
  15. 霍尔德曼，斯特凡；Hage，Jurriaan:使“严格”更具相关性（2010年）
  16. 辛兹，拉尔夫；Löh，Andres:3D通用编程（2009）
  17. Tejfel，Máté：证明Sparkle-t中清洁程序的组合规范（2009）
  18. 德莫尔，马尔滕；范伊克伦，马尔科；Plasmeijer，Rinus:用Sparkle证明lazy函数程序的性质（2008）
  19. 王勇；江义成：改进的自适应chirplet分解及其在机动目标ISAR成像中的应用（2008）
  20. 王勇；江义成：多元多项式相位信号的广义时频分布（2008）