#12 OCaml Language - 张宏波

#12 OCaml Language - 张宏波

2016-07-07    75'18''

主播: 代码时间

1435 93

介绍:
OCaml是一门工业上被使用得越来越多的编程语言。这一期我们请到Bloomberg技术专家 OCaml编译器核心开发成员 <a href="http://www.weibo.com/p/1005051628858141" target="_blank">@张宏波</a> 和我们分享这门编程语言的特点.希望大家能对这门小众语言知道得更多一点。 ### 讨论的话题: ### - 什么是OCaml - OCaml在工业和学术上的应用 - OCaml和F#的关系 - OCaml的数据类型系统 type system - OCaml的库和相关的工具 - 为什么很多语言都要编译到JavaScript? - WebAssembly对JavaScript的影响 - OCaml允许副作用 - Unikernal - OCaml的编译速度 - OCaml官方支持的两种编译器 - OCaml的GC延迟特性 - OCaml新手入门以及生态环境 - OCaml的缺点 - BuckleScript和F#的Fable的区别 - OCaml编译器和Haskell编译器GHC的比较 - OCaml4之后的特性 - 为什么OCaml要支持OO - OCaml的byte code和LLVM的bitcode的区别 - 嘉宾学习函数式编程的过程 - 嘉宾做语言研究,写编译器是怎样一种体验 - 宾夕法尼亚大学读书的经历 ### Show Notes: ### - [图: 几个编程语言编译的速度对比](https://github.com/bloomberg/bucklescript/blob/master/docs/dist/images/compile-time.png) - [tryOCaml in browser](https://try.ocamlpro.com/) - [嘉宾编写的BuckelScript](https://github.com/bloomberg/bucklescript) - [try BuckelScript in browser](http://bloomberg.github.io/bucklescript/js-demo/) - [书: functional approach to programming](http://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/functional-approach-programming) - [书: develop application using OCaml](http://caml.inria.fr/pub/docs/oreilly-book/) - [OCaml-beginners 邮件列表](https://groups.yahoo.com/neo/groups/ocaml_beginners/info) - [Caml-list 邮件列表](http://caml.inria.fr/resources/forums.en.html)