… 我喜欢OCaml。我通过参加INRIA的在线课程开始了解函数式编程。过去四年半的时间里，我一直在使用Haskell。我用Zig做过一些副项目。我曾是CL的忠实粉丝很多年。我经常问这个问题。我们常说，"使用最适合任务的工具"。通常这意味着，"使用可用的工具"。我认为OCaml、Rust、Haskell等语言可以是"流行的"，但这里的流行是指人们喜欢谈论它们，想要学习它们并能够使用它们（至少，随着趋势的更替）。这与"广泛采用"的流行是不同的。[0] https://www.youtube.com/watch?v=QyJZzq0v7Z4
源讨论为什么我爱OCaml（2023）原帖 296 条评论 · 导入时统计把你的经验，加入这段讨论。
> 主要是因为它是PyTorch和AI相关库/工具/框架的首选脚本语言 我礼貌地不同意。Torch最初是用Lua编写的，后来转为Python是因为Python已经非常流行。推动Python增长的因素早于现代AI框架
完整原文我看看现在人们怎么写TypeScript，然后想想如果10-15年前这些函数式语言能更接近命令式世界，世界会有什么不同。OCaml允许变量修改和副作用，如果不用"let ... in"语法的话，它甚至可能感觉有点命令式。 坦白说，语法很重要。我们看到Elixir比Erlang更受欢迎。我们也看到TypeScript能够将一个相当复杂的类型系统引入JavaScript，并通过适应现有生态系统并提供渐进式方法而在Web开发者中取得成功，而不是强迫一个完全新且不兼容的范式。从后来的角度看，TypeScript的故事似乎有点难以置信，但它通过提供渐进的路径并做出很多妥协（比如配置选项允许更宽松的约束）而达到了现在的位置…
完整原文尊重不同观点，分享具体经验。
登录后即可发帖、评论、转发和引用。