编程模型
面向过程的语言
面向对象的语言
Ruby
基于栈的语言
PostScript, Forth
基于规则的语言
Prolog
基于事实和规则查询：专家系统
基于原型的语言
Io, Lua, Self,JS
所有的对象都是另外个对象的克隆体
函数式编程语言
相同的输入得到相同的结果。内部不保存状态---> 不存在并发问题
ErLang: 可伸缩并发，可靠
Haskell: 纯函数式编程语言
混合
Scala: 给Java加上函数式编程的翅膀
Clojure：基于JVM
类型模型
强类型，弱类型
动态类型，静态类型
Ruby 鸭子类型：看起来像鸭子，就是鸭子。 原则是针对接口编码，而不是实现。
元编程
能够写程序的程序