Exploring the type system of ReasonML/OCaml

Speaker: Zach Ploskey

Description:
ReasonML is a new syntax for the OCaml programming language. It is a statically typed functional programming language, designed to be approachable for JavaScript developers. It can compile to both JavaScript and native. It compiles extremely quickly, features practical and easy JavaScript and C interop, and has built-in support for JSX and building React applications. Reason shares with OCaml an advanced type system with many useful features. This talk will give a brief introduction to the syntax and explore some of the features of the type system such as parametric polymorphism, phantom types and GADTs.

ReasonML main site: https://reasonml.github.io/
OCaml main site: https://ocaml.org/