Scala是静态类型的。许多人会把vals="ABC"这样的当作动态类型特性，而vals:String="ABC"才认为是静态类型特性。实际上，这无关类型争论，而是类型系统实现的范畴。是的，在Scala里，你可以放心大胆地使用vals="ABC"，而Scala里强大的类型推断和模式匹配，绝对会让你爱不释手。

2.6 面向自然语言还是简单的??

Cobol,ada的强壮的理解性…普通的的人们能理解的..

大部分情形哈,还是简单的特性ok…而个的java取代了cobol,ada..

2.7 抽象能力

抽象能力应该是现阶段语言进化的第一优先级，抽象手段无非函数式、过程式和面向对象三种，看计算机语言的流行历史，不难看出函数式=>过程式=>面向对象=>函数式回归这样的规律。Lisp一直在学术界评价颇高，但是其商业应用一直低迷，其抽象能力比较弱一直是个重要的原因。

2.8 删除语法噪音

2.8.1 语法噪音

语言除了功能和设计，“长相”也是很重要的。这里要提到一个语法噪音的概念，比如JS里面的function，相比lambda表达式，这个噪音就多了

arr.some(function(x){ return x<2});

而C#里面可以这么写：

arr.some(x=>x<2);

这里面，function关键字，return关键字，各种符号，其实实际意义都不大，因为JS语法设计，而必须要加上，这就是一种噪音。

有趣的是，向python这样的语言对于“去噪”的追求达到了极致，甚至不惜用空白做标志干掉花括号，这个做法导致了其毁誉参半，喜欢的人特别喜欢，不喜欢的人特别讨厌。

2.9 强大ide,vm

2.10 Gc 垃圾收集

目前许多语言都可以自动垃圾收集。。但是只是内存。。

数据库，网络，以及磁盘io连接任然有泄露的可能。。

2.11 Vm 平台化

2.12 数据与结构分离还是紧密集合？？？

尽可能的分离为好。

程序和数据也不应该被分开。因为现代数据操作和模块化的基础是并行程序（parallelism），而有效实现并行的基础是程序的first-class表达，也就是把程序作为一种基本数据类型。

2.13 异步api

2.14 安全api

闭包、多个返回值

2.15 库与语法融合

库与语法融合在了一起。我们可以看到在Java中对字符串String对象的操作可以简单地使用操作符+、+=进行操作。然而String本身并不是关键字，但是可被编译器识别。因为你换成其它对象可能就无法用这些操作符来进行操作了。而对String类的实现本身可用一个用Java编写的相对独立的库进行实现。

其实将语法体系与语言自带标准库绑定还是有不少好处的。首先，这容易被扩展，开发者可以根据自己的需求来自定义某些语法的行为。其次，对编译器而言可以减轻压力。某些运行时行为可以交给标准库进行实现。这样，编程语言可以比较方便地被打造成比较完备的语法体系。这种耦合也增强了编程语言的运行时能力，包括灵活性、可扩展性。

2.16 . fluent API：流畅api

偏向傻瓜式的编程，直接用IDE的代码辅助就能把代码敲出来。java那种展现精美的架构的同时，却要求程序员自己一块块砖搭起来的风格逐渐没落...

3 参考

atitit.编程语言的未来趋势与进化结果

Atitit.现代高级语言的特性以及趋势attilax总结

秒客网

atitit.高级编程语言的特性 and 未来趋势与进化.doc

1 编程语言的发展历程

1.1 编程语言的进化，起始发现背后的思想：任何两个系统之间的复杂性，都可以通过添加一个抽象层要屏蔽

1.1.1 C语言, 硬件抽象层

1.1.2 高级语言：java,.net 跨平台(os)抽象层vm

1.2 DSL领域编程语言(跨越编程语言)

1.2.1 实现方式:: 语义和语法分开

1.2.2 结构Dsl,dsl解释器

1.2.3 统一的开发语言

1.2.4 每个领域特性部分,使用类库解决

2 语言特性发展

2.1 Oo+

2.2 Function

2.3 动态（non编译）还是编译？？

2.4 多核

2.5 强类型还是弱类型？？？类型推断和模式匹配

2.6 面向自然语言还是简单的??

2.7 抽象能力

2.8 删除语法噪音

2.8.1 语法噪音

2.9 强大ide,vm

2.10 Gc 垃圾收集

2.11 Vm 平台化

2.12 数据与结构分离还是紧密集合？？？

2.13 异步api

2.14 安全api

2.15 库与语法融合

2.16 . fluent API：流畅api

3 参考

相关文章

atitit.高级编程语言的特性 and 未来趋势与进化.doc

1 编程语言的发展历程

1.1 编程语言的进化，起始发现背后的思想 ：任何两个系统之间的复杂性，都可以通过添加一个抽象层要屏蔽

1.1.1 C语言, 硬件抽象层

1.1.2 高级语言：java,.net 跨平台(os)抽象层vm

1.2 DSL领域编程语言(跨越编程语言)

1.2.1 实现方式:: 语义 和 语法 分开

1.2.2 结构Dsl,dsl解释器

1.2.3 统一的开发语言

1.2.4 每个领域特性部分,使用类库解决

2 语言特性发展

2.1 Oo+

2.2 Function

2.3 动态（non编译）还是编译？？

2.4 多核

2.5 强类型还是弱类型？？？类型推断和模式匹配

2.6 面向自然语言还是简单的??

2.7 抽象能力

2.8 删除语法噪音

2.8.1 语法噪音

2.9 强大ide,vm

2.10 Gc 垃圾收集

2.11 Vm 平台化

2.12 数据与结构分离还是紧密集合？？？

2.13 异步api

2.14 安全api

2.15 库与语法融合

2.16 . fluent API： 流畅api

3 参考

相关文章

1.1 编程语言的进化，起始发现背后的思想：任何两个系统之间的复杂性，都可以通过添加一个抽象层要屏蔽

1.2.1 实现方式:: 语义和语法分开

2.16 . fluent API：流畅api