In this tutorial, we will dive into the details of the design and implementation of Flow.
First, working through lots of examples we will explore various features of the type system, what type errors look like and how to fix them, and how Flow can provide useful information through the editor as you code.
Finally, we will take a whirlwind tour through Flow’s code itself, in OCaml: what types and rules look like internally, how type inference works, and how the system is architected to scale to millions of lines of code.
The tutorial will switch between slides and live coding, and we will provide instructions on how you can follow along on your laptops.
While at Adobe, I led the design of ActionScript 4, a significant re-implementation of the source and bytecode languages underlying Flash to target high-performance gaming. I drove research on future versions of ActionScript, including features such as generics and transactions.
Mon 16 Jan
|09:00 - 12:00|
|14:00 - 17:00|