干净

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

zbMATH中的参考文献（参考 58篇文章参考，1标准件)

显示第1到第20个结果，共58个。

按年份排序(引用)

swMATH公司

干净

此软件的关键字

zbMATH中的参考文献（参考 58篇文章参考，1标准件)

1 2 三 下一个

1 2 三 下一个

干净

此软件的关键字

zbMATH中的参考文献（参考 58篇文章 参考，1标准件)

1 2 三 下一个

1 2 三 下一个

zbMATH中的参考文献（参考 58篇文章参考，1标准件)

1 2 三下一个

1 2 三下一个