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

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



1 编程语言的发展历程 1

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

1.1.1 C语言, 硬件抽象层 2

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

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

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

1.2.2 结构Dsl,dsl解释器 2

1.2.3 统一的开发语言 2

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

2 语言特性发展 3

2.1 Oo+ 3

2.2 Function 3

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

2.4 多核 3

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

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

2.7 抽象能力 4

2.8 删除语法噪音 4

2.8.1 语法噪音 4

2.9 强大ide,vm 5

2.10 Gc 垃圾收集 5

2.11 Vm 平台化 5

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

2.13 异步api 5

2.14 安全api 5

2.15 库与语法融合 6

2.16 . fluent API： 流畅api 6

3 参考 6

1 编程语言的发展历程

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

1.1.1 C语言, 硬件抽象层

对于汇编语言的问题，主要要解决跨硬件平台，添加一个抽象层，这个就是硬件抽象层

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

为了解决C语言的跨平台的问题



作者:: 老哇的爪子 Attilax 艾龙， EMAIL:1466519819@qq.com

转载请注明来源： http://blog.csdn.net/attilax

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

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

而个的语言编程语言一般都是语法和语义绑定在一起的

1.2.2 结构Dsl,dsl解释器

1.2.3 统一的开发语言

现在越来越有这个趋势了，各个语言都在添加其他语言的特性，增强自己的特性，以后各个语言都变的越来越类似，功能也越来越雷同

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

或者二手的dsl??

2 语言特性发展

2.1 Oo+

2.2 Function

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

综合考虑，工业级别的源码保护的考虑哈,还是要编译,,yaneng跟个python雅十,共同的情形哈不编译器,给客户的时候儿编译..



python雅十,常用使用script式,,也能编译了...



动态性意味着更加灵活，意味着开发者有更多的"魔术"可以玩。而开发者会天生对动态语言有亲昵地感觉，这是人的本性。

但是凡动态语言，JavaScript、Python、Ruby这些，实际上已经意味着与地层开发无缘了。

同时灵活意味着少约束，少约束意味着大规模程序很难被编写出来。到目前为止，很少听到过超过10万行级别的JS语言项目，这样的现象多少与JS的动态性有关。

反过来看，动态性较低的C语言现在成了驱动和OS内核开发的不二之选，因为好像驱动里面根本用不着那些看上去NB的抽象——即使你用了C++，也是像C一样用而已

2.4 多核

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

以及ide支持不行。。

所以，综合考虑，工业级别的 任然是强类型的天下。。也可以强大的类型推断和模式匹配



或者,语言支持弱的型,也能强壮的型…必要的的时候儿,能强类型…



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总结