干净

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


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

显示第41到58个结果。
按年份排序(引用)

以前的 1 2

  1. 斯托伊卡,皮特;刘国庆;李健;Larsson,Erik G.:通过自适应滤波方法对间隙数据进行非参数光谱分析(2001)
  2. 埃米尔,莱瑟姆;范德文:强无线电干扰下的射电天文成像(2000)
  3. 男,俊正;刘国庆;李健;Williams,Rob:基于角度分集的合成孔径雷达目标特征提取与成像的准参数算法(2000)
  4. 特伦布雷:宽容的评价既不严格也不懒惰(2000)
  5. 哈蒙德,凯文(编辑);麦克尔森,格雷格(编):并行函数编程的研究方向(1999)
  6. 克勒,约格;莫宁,马库斯:一类新的抽象解释函数(1999)
  7. 范巴克尔,斯特芬;Fernández,Maribel:可类型化重写系统的规范化结果(1997)
  8. 范伊克伦,马尔科;斯密瑟斯,Sjaak;Plasmeijer,Rinus:函数式编程语言的图形重写语义(1997)
  9. 兰恩斯,安德烈;安特里乌;Bouyoucef,Karim:基于香农型技术的傅里叶插值和重建。二: 技术发展和应用。(1996年)
  10. 洛布,理查德:多面体的拟内卷光顺。(1996年)ioport公司
  11. van Bakel,Steffen:术语重写系统中的秩2交叉类型赋值(1996)
  12. 阿里奥拉,泽娜·M。;Arvind:一阶共享函数语言的性质(1995)
  13. 弗里德曼,阿夫拉罕;波塞,兰詹;Steinberg,Bernard D.:改进干净反褶积算法的技术(1995)
  14. Plasmeijer,M.J.:清洁:基于术语图重写的编程环境(1995)
  15. van Bakel,Steffen:应用术语重写系统中的部分交集类型赋值(1993)
  16. Kennaway,Richard:在DACTL中实现术语重写语言(1990)
  17. Pirani,Giancarlo(编辑):语音理解的高级算法和体系结构(1990)
  18. 布鲁斯,T.H。;范伊克伦,医学博士。;van Leer,M.O。;Plasmeijer,M.J.:干净。函数图重写语言(1987)

以前的 1 2