unison_Unison功能语言吹捧不可变代码

最新推荐文章于 2024-09-14 18:46:05 发布

cxu0262

最新推荐文章于 2024-09-14 18:46:05 发布

阅读量214

点赞数

文章标签：编程语言 java python 人工智能大数据

原文链接：https://www.infoworld.com/article/3514708/unison-functional-language-touts-immutable-code.html

版权

Unison是一种新型开源编程语言，强调不可变代码和分布式系统支持。其核心理念是通过内容标识代码，实现无冲突的版本管理和重构。Unison提供结构化的重构过程，保证代码库始终可运行，同时具备远程效果功能，便于在多节点间计算。目前，Unison已进入公开Alpha阶段，计划今年正式发布。

摘要由CSDN通过智能技术生成

unison

开源的Unison语言被其创建者称为“未来的友好编程语言”，其核心思想是代码是不可变的，并由其内容来标识。现在，Unison已经发布了公开的Alpha版本，并计划了多个里程碑的Alpha版本，而Unison将于今年正式发布。

Unison旨在为构建分布式系统提供特殊支持。激发Unison的想法是，应在各个方面精心设计用于构建软件的技术。复杂性将被消除。该语言的核心开发人员之一保罗·基萨诺（Paul Chiusano）表示，Unison最初是作为一个研究项目，他们愿意重新考虑编程的工作原理。

[ 同样在InfoWorld上：10个软件开发崇拜者加入 ]

仍处于实验阶段，Unison是类似于Haskell的静态类型函数编程语言，具有以下功能：

描述分布式系统的能力
简化的代码库管理
琐碎的重命名

Unison中的定义由内容标识，每个定义构成一个语法树。通过以合并定义依赖项散列的方式对树进行散列，Unison散列可唯一标识该定义。此功能旨在作为认真改善编程体验的基础，消除了构建和大多数依赖冲突，并允许轻松部署代码和类型化的持久存储。

为了进行重构，Unison提供了一个结构化的过程，其中逐步在一侧构建了新的编译版本的代码，从而提供了诸如始终可运行且永不中断的代码库之类的好处，从而无需升级整个代码库。

[ 通过InfoWorld的App Dev Report新闻通讯了解软件开发中的热门话题 ]

该语言中的Remote.Transfer函数提供了“远程效果”，有助于在多个Unison节点上进行计算。动态传输任意计算是可行的，因为Unison中的定义是通过其内容的加密哈希标识的。传输计算后，接收方节点将检查内容是否引用了任何未知的哈希。在传输完成并进行计算之前，会将未知的哈希值同步到接收者。

可从项目网站和GitHub获得Unison。