lisp，haskell 有很多人在用，而且是编程经验在 10 年以上，包括 Rust 的作者、Nim 的作者。因此，你不知道有人用，那是因为你的开发阅历太低。
人工智能这个领域从来没有脱离 lisp，Prolog，MIT 等等其国家级科学实验室一直从事着 lisp 研究，这种语言之所以重要是因为其是表描述的语言，可以最容易为机器所识别和生成。
Erlang 已经在 facebook 的 what's app 实践了流量的价值，并且并为商业化应用，Go 和 docker 至今未能达到商业化，并且学术机构也不欣赏 Go。
“可惜，facebook数据库还是mysql，至于OCaml，数据库API？听上去很牛逼，实际呢？OCaml专职粉丝都不吹。至于https://facebook.github.io/reason/，别出来炫了，分分钟被人喷成DSL。” 说出这句话来，说明你对编程算法和数据结构毫无经验，mysql 和 OCaml 和 DSL 是驴子、水杯和植物的关系。风马牛不相急。mysql 是一个存储系统，DSL 仅仅是个语言描述范式，OCaml 是数据 IO 的逻辑层。
“至于Nim和Crystal这类语言最大的用途，就是活在脑残粉的理想里，然后看着自己好的地方（一般来讲，有一丁点），被别人吸收，然后自己从无人问津变得更无人问津。”你说的这些话如同你的脑子一样，都是水垢，充满了垃圾和渣滓，没有一点营养，毫无论据和引用可以为你作证。因此，你的这些仅仅是合着眼睛用嘴巴在放屁，毫无理论价值。
https://www.oschina.net/translate/5-reasons-why-we-switched-from-python-to-go?p=3#comments