干净

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


zbMATH中的参考文献(参考 58篇文章 参考,1标准件)

显示第58至第1个结果。
按年份排序(引用)
  1. 吉本斯,杰里米:理解戒指。在菲尔·瓦德勒60岁生日之际(2016年)
  2. Magalhães,JoséPedro:多参数通用编程(2014)
  3. 马尔滕·德莫尔;马尔科·范埃克伦:美丽的代码,美丽的证据?(2013年)ioport公司
  4. de Vries,Edsko:使用多态性建模唯一和仿射类型(2013)
  5. Koopman,Pieter:功能语义学(2013)
  6. Lignse,Bas:并行任务组合器的进化(2013)
  7. van Bakel,steffenj.;Rowe,Reuben N.S.:轻量级Java的函数类型赋值。致Rinus Plasmeijer,以纪念他61岁生日(2013年)
  8. Domoszlai,László;Bruel,Eddy;Jansen,Jan Martin:用JavaScript实现非严格的纯函数式语言(2011)
  9. Endrullis,Jörg;Hendriks,Dimitri:Lazy productivity via termination(2011年)
  10. 丹尼尔·塞德尔;沃伊格特兰德,贾尼斯:精细类型化强制严格对自由定理的影响(2011)
  11. 斯皮特斯,Bas;范德韦根,Eelis:类型理论中的数学类型课程(2011)
  12. Achten,Peter;van Eekelen,Marko;Koopman,Pieter;Morazan,Marco T.:1999/2000与2007/2008(2010)函数式编程趋势趋势
  13. Alarcón,Beatriz;Gutiérrez,Raúl;Lucas,Salvador:上下文相关依赖对(2010)
  14. 赫曼,大卫;古墓,亚伦;弗拉纳根,科马克:节省空间的渐进式打字(2010)
  15. 霍尔德曼,斯特凡;哈格,尤里安:使“严格”更具相关性(2010年)
  16. Hinze,Ralf;Löh,Andres:3D通用编程(2009)
  17. 清洁计划,2009年技术规范
  18. 函数程序(Jereikele,Markelen,Markelen,2008)与Markelo的函数程序证明
  19. 王勇;江义成:改进的自适应chirplet分解及其在机动目标ISAR成像中的应用(2008)
  20. 王勇;江义成:多分量多项式相位信号的广义时频分布(2008)