ref: https://zhuanlan.zhihu.com/p/591818090
函数式编程
传统的编程语言 是面向过程、面向对象的，
产生于
20世纪80-90年代
产生于法国巴黎高等师范学院，起源于Lisp，
ML，代表“元语言”，是这项工作的结果
在 80 年代早期，ML 社区中出现了分裂，法国人站在一边，英国人和美国人站在另一边。
法国人接着开发了 CAML 和后来的 Objective CAML (OCaml)，
而英国人和美国人开发了标准 ML。
这两种方言非常相似。微软在2005年推出了自己的 OCaml 变种，称为 F#。
起初叫Caml，伴随Java面向对象的火起来，在Caml上加了面向对象的思想–>OCaml
优点
简洁、清晰
c++、Java几十行代码，OCaml几行就搞定了，
任何变量、类型 甚至函数本身都能作为函数的参数，简介就来自于此。
