几十年来，编程语言在两条道路上不断前进。
一条是面向对象，成为了工业界的主流；
另一条是函数式编程，理念优雅，却始终没有登上舞台中央。
为什么会这样？
在这一集里，我们从 λ 演算 的数学起点出发，
一路走过 Lisp、ML、Haskell、Erlang、Elixir，
看看这条“另一种可能”的路线，
如何发展、如何影响了现代语言，
又为什么始终没能成为主流。
这是 《编程语言发展史》系列 #5。
如果你对编程的思想与历史感兴趣，
这期视频，或许能给你一些新的视角。
#函数式编程 #编程语言发展史 #编程历史 #Lisp #Haskell #Erlang #Elixir #程序员 #编程学习 #编程故事
00:00 开场｜面向对象 vs 函数式
00:20 λ 演算｜数学起点
02:01 Lisp｜函数式开端
03:14 ML｜类型安全
04:21 Haskell｜纯函数式
05:39 Erlang｜并发容错
07:29 Elixir｜Erlang 新生
07:53 为什么没成主流
08:28 总结
