随着 pattern matching 接连增强了好几个版本，现在连 Java 官方都在推 Data Oriented Programming 和 ADT 建模了。。函数式编程真是领先业界 50 年

[TWorldIsNButThis]

Algebraic data types were introduced in Hope, a small functional programming language developed in the 1970s at the University of Edinburgh

另外提一嘴，现在 java 的官方示例里都是能 var 都 var 的
<amp-youtube data-videoid="5qYJYGvVLg8" layout="responsive" width="480" height="270"></amp-youtube>
最后的示例直接不装了，大大方方得承认 pattern matching is clearly more concise than vistors, but it's also more flexible and powerful.

不知多少年后国内的八股文会开始问 DOP ？

还有一篇 Java 语言的 project lead Brian Goetz 的文章
https://www.infoq.com/articles/data-oriented-programming-java/

[ychost]

@partystart 别老盯着 Java ，建议看下 C#/Node/PHP 等等，起始像 C# 我认为就设计的挺优秀的，里面清一色的 var ，一般看代码都是有 IDE 的，IDE 会直接显示 var 的类型是什么，尤其是 Java 里面用到多个类型推导的时候，不写 var 还真不知道返回该怎么写，比如设计到泛型之间有关联，然后返回又是与其它泛型关联的情况

[ychost]

@ychost 尤其看 Typescript 的的 VUE 等源码，里面的泛型约束真实及其复杂