学语言重要的是语言特性
在消除 illegal state 方面，Option/Optional/Maybe 和 Either/Result 就都出现在 Java/Rust/Scala/Haskell 中，其根本思想一致，但是表现深度各有不同（ Haskell ≈ Scala > Rust >> Java)
而 Kotlin/Swift/TypeScript 等则走向另一条路，Union type ，Explicit Null Type
ADT 数据结构，也就同时出现在这些现代语言中（ Haskell/Scala/Rust/Kotlin......）。Go 则是开历史倒车，这也是为什么我不喜欢 Go 。

说到并发，大部分语言都选择了用户有感的 stackless coroutine （基于 IO Monad 的 Haskell ，Scala ，JavaScript Promise 。以及基于编译器翻译成状态机的 Rust ，Kotlin ，JavaScript Async ，C#），少部分选择了用户无感的 stackful coroutine （比如 Java Loom ，Goroutine ）。

说到资源管理，有 GC 的语言可以用 (AutoCloseable/IDisposable)，无 GC 则可能用 RAII （ Drop/Deinit)，函数是语言可能选 Resource Monad 甚至还能配合 linear type 做更强力的保证。


回到问题：我认为学语言的主要目的是学语言特性，因为健壮代码的最佳实践已经被抽象成这些语言特性。当你学会这些语言特性以后，你可以很低代价迁移到具备此类语言特性的其他语言中，甚至在不具备这些特性的语言里（比如 Java ）你依然可以写出正确的代码。

如果你想学语言特性，我建议可以用《 SICP 》打基础，用多范式的 Scala 做练习，同时继续学习 Rust 与 Haskell 。并且给自己一个驱动力，比如在允许的情况下，新项目选型或者个人项目可以考虑采用 Rust / Kotlin 来逼自己一把。