Go语言的成功也预示着Rust的成功【转】

Stella981
• 阅读 784

从整体的角度来看Go,很难理解他是怎么取得这么大的成功的。从理论的角度上来说Go是一门非常糟糕的语言,就算是和C++或者Ada之类旧语言相比也是这样。

从整体的角度来看Go,很难理解他是怎么取得这么大的成功的。从理论的角度上来说Go是一门非常糟糕的语言,就算是和C++或者Ada之类旧语言相比也是这样。它缺乏大量的编译时的检查和编译时的逻辑,它缺乏销毁逻辑导致许多样板文件和运行时错误。它的界面不是很有表现力。它具有一等公民数据结构(slices和maps),不能使用语言本身作为库进行复制。

在许多不需要易变性的情况下,它强制用户进行易变性。它附带了一个伪依赖管理器,它缺乏独立项目的独立版本控制。与大多数其他流行的系统编程语言(即C、C++、Ada、Fortran和Rust)相比,它的速度非常慢。

这就是我现在能想到的,很容易就能给你们展示的东西。一旦你深入研究go,你会发现它会做出一些固有的错误设计选择,它是为1980年而不是2020年设计的语言。

尽管如此,就像任何曾经使用过go的人都能告诉你的那样,这是一种非常好的语言。如果我被困在一个只有三种编程语言的岛上,我想go会成为其中之一。

尽管存在所有的缺陷,但它允许您编写性能良好的相对无错误的代码。向Go程序添加依赖项通常比向C++程序添加依赖项要顺利得多。

Go语言的成功也预示着Rust的成功【转】

为什么 Go 是棒的

这让我处于一个非常奇怪的位置。 一方面,我可以谈谈 Go 有多可怕。 另一方面, Go 显然是一种非常好的语言。

为了弄清楚为什么是这样的,我们依然需要回到程序员解决问题的角度,把语言作为工具来看。

很多现代世界的问题看起来都是围绕着有效网络通信,围绕安全地利用所有硬件线程以及更容易的开发和部署展开的。

最后,渐渐有了一个稳定的趋势,良好的开源库渗透到我们的生活中,其中大多数是简洁和简单,适合单一目的。大多数 Node 或 Python 项目都有数百个这样的依赖项,而大多数 C 和 C ++ 代码库都有十几个。 C 和 C ++ 缺乏任何标准化的包管理,因此库往往是无所不包的整体(参见 QT 和 Boost ),而它们添加新的依赖项非常耗时。

开源库是现代开发人员生涯中的重要组成部分,但所有流行的系统编程语言都缺乏包管理。

从这个角度来看,Go有一些中心特征,这些特征非常让人惊叹,以至于它们把所有不好的一面都掩盖了。

  1. Go 的实用程序允许您轻松下载和使用包。

  2. 静态编译使得在不同环境之间移植代码,并且可以很容易地建立开发环境。

  3. 本地异步 I/O 机制允许您可以轻松编写高性能的网络代码。

  4. 内置通道允许在 [g|c]oroutines 之间轻松实现和相对安全的数据传输。

  5. 标准库和包生态系统包含了开发人员能够需要的大多数库。

  6. 对于几乎所有的使用案例来说,它“足够快”。似乎在如 Python 和 Node 这些易于使用的单线程语言,甚至是像 C++ 和 C 这样的古老而又快速的庞然大物之间找到了一个最佳位置。

或者,说白了, Go 是一种专为开源库,大规模并行和网络计算而设计的语言。

其他流行语言则缺少这三个类别中的一个。

Go的所有剩余问题源于三种设计选择:

  1. 垃圾收集,而不是为其所有资源定义编译时间的生命周期。 这会损害性能,删除有用的概念(如移动语义和析构函数),并削弱编译时错误检查功能。

  2. 缺乏不可变性,除了少数(本机)类型之外。

  3. 缺乏泛型

若解决这些问题,Go无疑会成为未来的语言。 但是,由于各种问题,有些与先前的设计决策有关,有些又与设计师的意见有关,其中大部分都未解决。

例如,泛型可能会在2.0上实现,但是当前的实现与其他特征(比如接口)重叠,同时使用起来又烦恼并且缺少特征(比如,不能用作返回类型)。

或许我们可以找到一种“检查”所有正确语法的语言,又不用忍受那些糟糕的设计决策。

再来看看 Rust 语言

Rust 恰巧是一门解决了Go 所有问题的语言。

基于它的隐式移动语义和借用检查功能,使它在资源管理领域最终成为了最安全,最快速并且也最容易使用(这里是相对来说。比如目前借用检查比较难用,用过的都知道)的语言。它在编译期间就可以捕获大多数错误。

模板和特性(traits)组合给了它接近于C++的编译时编程能力,甚至某些方面更胜一筹。

最后,Cargo 也是最好的包管理系统之一,它可以让你更容易地使用各种实用的公共库,并且有内建版本号和项目隔离特性。

换句话说,Rust的极大成功就是基于它更好地解决了Go存在的问题。

但是,Go 做得无比正确的事又有哪些呢?

  1. go get 和 go mod与Cargo非常匹配

  2. cargo build 默认使用静态编译路由,这一点和 go build 基本一致

  3. 重点来了,Rust 目前还没有原生异步 i/o 机制。但是据说这个机制马上就有了。这个机制与 goroutine 所提供的功能差别很大,而是更像我们所熟知的 Node 和 Python中所使用的语法。

  4. Rust 不仅提供了线程之间的原生管道(channel)支持,它提供了一套健壮的编译时线程安全检查机制。这意味着无论你使用何种数据共享机制都不存在并发错误的风险。

  5. 尽管 Rust 是一门年轻得多的语言, Rust 的标准库和 go 的差不多一样丰富,当然除了(再次除了)一些没有的异步网络功能之外。当前 Rust 的包(package)生态系统和 Go 的一些方面很像。

  6. 最后是效率方面。在大部分的场景下, Rust 只比 C 和 C++ 稍慢那么一丢丢。但是对于它的设计方向来讲这只是一个“临时性的”折扣。Go 将永远受累于缺乏编译时逻辑和基于 GC 的设计。因此,Go 和 Rust 之间现有的巨大效率差只会越拉越大。

Go 的影响

一旦 async/await 特性被合并到Rust的稳定版中,我认为Rust就完全超越Go了,确切地说,在任何方面!(译者注:借用检查仍旧是导致Rust难用的一个原因,最好是有更多的隐式借用或更好的方案)

我认为直到将Rust真正应用于产品中,人们才会认识到Rust在测试,调试和程序崩溃等方面为你节省了多少时间。

Rust和Rust相关的概念进入编程世界越多,人们就会越熟悉它的语法和概念,因此进入的门槛也就越低。

我认为Rust已经走过了它生命中最危险的时期,它已经逐渐地被接受并作为主要开发语言。更进一步讲,当与其它语言在各方面比较时,它几乎是完胜其它语言(编者:各种语言特性方面确实是,但易用性上还差些)。简单讲,在大多数情况下,Rust应该是更好的选择。

但是人的惰性是不可忽视的一个问题,Rust很难被大家广泛采用的阻力,来自于如何说服开发者转换到它上面

这里,我认为Go突然爆发的原因,也可以同样应用于Rust身上。Rust现在越来越接近全面爆发了(译者注:随着生态成熟,也快到引爆点了)。

一些希望有“现代编程范式”的C&C++开发者,也会喜欢上Rust。

同时,对于一些希望从脚本语言转到系统编程语言上的那些人来说,这也是最好的选择,你不但拥有了安全和性能,你还仍旧可以使用包管理工具和熟悉的语法。

无论如何,这是我的预测,一旦 async&await 加入到语言中,我们将有大量的网络应用程序开发人员涌入Rust。

网络依赖的高性能开源软件,如内存缓存,数据库和反向代理,将开始逐步走向成熟。 很多这样的项目已经在 go 的生态系统中出现了。

一旦这些开发人员在网络和并发性方面嗅到了 Go 的简易性,再加上 C++ 的速度,抽象能力和资源管理,以及顶级的编译时安全性......

随后,Web 开发人员和企业团队将跟随宣传。

一切就犹如打开了防洪闸门,不可阻挡。

George Hosu https://github.com/George3d6 我很擅长命名东西,并清楚如何使缓存无效。

原文:http://news.51cto.com/art/201811/587128.htm

点赞
收藏
评论区
推荐文章
blmius blmius
3年前
MySQL:[Err] 1292 - Incorrect datetime value: ‘0000-00-00 00:00:00‘ for column ‘CREATE_TIME‘ at row 1
文章目录问题用navicat导入数据时,报错:原因这是因为当前的MySQL不支持datetime为0的情况。解决修改sql\mode:sql\mode:SQLMode定义了MySQL应支持的SQL语法、数据校验等,这样可以更容易地在不同的环境中使用MySQL。全局s
皕杰报表之UUID
​在我们用皕杰报表工具设计填报报表时,如何在新增行里自动增加id呢?能新增整数排序id吗?目前可以在新增行里自动增加id,但只能用uuid函数增加UUID编码,不能新增整数排序id。uuid函数说明:获取一个UUID,可以在填报表中用来创建数据ID语法:uuid()或uuid(sep)参数说明:sep布尔值,生成的uuid中是否包含分隔符'',缺省为
待兔 待兔
4个月前
手写Java HashMap源码
HashMap的使用教程HashMap的使用教程HashMap的使用教程HashMap的使用教程HashMap的使用教程22
Jacquelyn38 Jacquelyn38
3年前
2020年前端实用代码段,为你的工作保驾护航
有空的时候,自己总结了几个代码段,在开发中也经常使用,谢谢。1、使用解构获取json数据let jsonData  id: 1,status: "OK",data: 'a', 'b';let  id, status, data: number   jsonData;console.log(id, status, number )
Stella981 Stella981
3年前
Sentinel 1.7.2 发布,完善开源生态及扩展性
多样化的适配模块到目前为止,Sentinel已覆盖微服务、APIGateway和ServiceMesh三大板块的核心生态,同时多语言已推出Java、C、Go三种语言的原生实现。!78636450_ef3a4b00_78da_11ea_89ce_c7a2b58c2deb(https://yqfile.alicd
Easter79 Easter79
3年前
Twitter的分布式自增ID算法snowflake (Java版)
概述分布式系统中,有一些需要使用全局唯一ID的场景,这种时候为了防止ID冲突可以使用36位的UUID,但是UUID有一些缺点,首先他相对比较长,另外UUID一般是无序的。有些时候我们希望能使用一种简单一些的ID,并且希望ID能够按照时间有序生成。而twitter的snowflake解决了这种需求,最初Twitter把存储系统从MySQL迁移
Stella981 Stella981
3年前
Django中Admin中的一些参数配置
设置在列表中显示的字段,id为django模型默认的主键list_display('id','name','sex','profession','email','qq','phone','status','create_time')设置在列表可编辑字段list_editable
Wesley13 Wesley13
3年前
00_设计模式之语言选择
设计模式之语言选择设计模式简介背景设计模式是一套被反复使用的、多数人知晓的、经过分类编目的、代码设计经验的总结。设计模式(Designpattern)代表了最佳的实践,通常被有经验的面向对象的软件开发人员所采用。设计模式是软件开发人员在软件开发过程中面临的
Wesley13 Wesley13
3年前
MySQL部分从库上面因为大量的临时表tmp_table造成慢查询
背景描述Time:20190124T00:08:14.70572408:00User@Host:@Id:Schema:sentrymetaLast_errno:0Killed:0Query_time:0.315758Lock_
Python进阶者 Python进阶者
10个月前
Excel中这日期老是出来00:00:00,怎么用Pandas把这个去除
大家好,我是皮皮。一、前言前几天在Python白银交流群【上海新年人】问了一个Pandas数据筛选的问题。问题如下:这日期老是出来00:00:00,怎么把这个去除。二、实现过程后来【论草莓如何成为冻干莓】给了一个思路和代码如下:pd.toexcel之前把这