有没有这样一门语言，保留 Rust 其他特性但提供 GC 能力？

[sy20030260]

首先我还是很喜欢 Rust 的所有权系统的，我觉得这是当下最为优雅的无 GC 内存管理方案。但不可否认的是，如果我们面向的是业务开发而非底层开发，大多数情况并不是不能接受 GC 带来的性能损耗。但所有权管理带来的陡峭学习曲线，对于技术团队搭建无疑是个巨大挑战（应该没人会否认培养一个成熟 Rust 工程师的难度要远远高于 Java/Go 吧）

所以有没有这样一门语言，在移除所有权系统并提供 GC 的前提下，保留 Rust 的以下特点（按重要性排列）：

1. 完整的泛型和标准集合类库
2. 优雅的空值检查和错误处理
3. 支持高阶函数等函数式编程范式
4. 模式匹配
5. 支持 Trait 或其他类似的 Duck typing
6. 异步友好：支持协程和消息通道
7. 宏编程
8. 无虚拟机，原生编译

前五点可以认为是必要项，后三点属于加分项

[zhangxzh]

可以关注下 kotlin native 的发展

[libook]

JS ？

1. 弱类型可不可以。
2. 不知道咋样才算优雅，至少有简单成熟的方案可以检查空值，以及是不是有 try/catch 就方便一些。
3. 函数式编程是完全可以的，lambda 表达式啥的都有，可以确认一下是不是能满足所提到的“高阶函数”表达方法。
4. 有模式匹配。
5. 非常 Duck typing ，比如一些处理数组的方法实际上是基于迭代器，一个对象只要实现迭代器就可以用这些。
6. 支持异步编程，引擎可以同时提供非阻塞，引擎底层用了协程进行优化，对开发者透明。
7. 不支持宏。
8. 依赖虚拟机。

[hxsf]

所有类型都包一层 mutex arc ？

[qmzhixu]

c#

[icyalala]

dotnet AOT

[2kCS5c0b0ITXE5k2]

@libook js 还是端走吧. 错误处理都一团糟

[kera0a]

啥用途？后端业务开发么？
不说用途的话 Swift 都能勉强符合

插眼蹲一个答案，最近想写个后端工具，想学门新语言

[novolunt]

https://github.com/Manishearth/rust-gc

[sy20030260]

@libook 感谢提醒，忘记最重要的一点了...必须强类型
@kera0a 感谢提醒，主要是服务端

[libook]

@emeab #6 我用 JS 做了很多年后端系统了，没觉得错误处理一团糟，因为本身就是跟 Java/C 等一样的设计，除非你觉得 Java 的错误处理也是一团糟，或者你其实根本不了解 JS 怎么用。

[des]

前一阵不是火了一个语言 zig 嘛，你看看符合不符合你的要求？

[libook]

@sy20030260 #9 JS 套个 TS ？

其实我还是觉得，找个自己舒服的语言也仅限于自己做做个人项目，要是涉及到企业生产的话，最好还是要看生态，比如 Java 一类的主流服务端技术栈，至少不需要自己造很多轮子，可以让产品快速迭代。
很多时候开发人员个人喜好往往要为生产效率让路的，比如 Go 就是一个以开发者体验为代价来解决一些工业生产上的问题的方案。

甚至一个较大规模项目的不同部分，受限于各种技术栈的擅长领域的不同，需要同时采用几种不同的技术栈来实现。

当然扯这些稍微有点跑题了。

[TWorldIsNButThis]

@libook js 有 pattern matching ？
那提案才 stage 1

[icyalala]

所以 C# 也能用于服务端开发，也是通用语言，也能编译成 wasm ，也是强类型，也能编译成原生

[tairan2006]

C#吧

[libook]

@TWorldIsNButThis #13 有草案就差不多相当于有了吧，至少现在有 babel 方案，如果愿意用的话。ES 的特性迭代挺快的，没准很快就能进 Stage2 了（但也说不准）。

[ecnelises]

鉴于 Rust 本来就受 OCaml 启发很大，Rust with GC 大约可以看作 OCaml 换个马甲。而 OCaml 也基本能满足楼主说的每点要求。

[MakHoCheung]

Duck typing 、宏编程我不懂，其他的 Swift 都符合。不过 Swift 6 要加入所有权😓

[Alexonx]

仓颉?(笑

[LeegoYih]

平行宇宙的 Go