干净

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


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)