Look to Your Future

通用语言来来去去。在你的生活中，你可能会学习几种。今天，是 Python 和 Java。昨天，是 Pascal 和 Cobol。再之前，是 Fortran 和 Lisp。谁知道明天会是什么呢？在这个快速变化的领域，你需要能够迅速适应。一个优秀的程序员必须学习超越任何具体语言的编程原则。没有比从功能角度来看待编程更好的方法了。从零开始学习一门新语言为你提供了反思编程和在某种语言中编程之间差异的机会。

如果您在学习 OCaml 之后想了解更多关于函数式编程的知识，您将会有很好的准备。OCaml 在澄清和简化函数式编程的本质方面做得非常出色，这是其他混合函数式和命令式编程（如 Scala）或将函数式编程推向极致（如 Haskell）的语言所不具备的。

即使您在学习 OCaml 后再也不编写代码，您仍然会为未来做好准备。函数式语言的高级特性有一种令人惊讶的趋势，可以预测更主流语言的新特性。Java 在 1995 年将垃圾回收引入主流；而 Lisp 在 1958 年就有了这一特性。Java 直到 2004 年的第 5 版才有泛型；而 ML 系列在 1990 年就有了。头等函数和类型推断已经被纳入主流语言，如 Java、C#和 C++，这是在函数式语言引入它们之后的 10 年内发生的。

Python 刚刚宣布计划在 2021 年 2 月开始支持模式匹配。