ReasonML (Opening Keynote)
summary
Claims Reason is an OCaml syntax/toolchain that compiles to JavaScript with BuckleScript to JavaScript, offers Hindley‑Milner type inference, variants and exhaustive pattern matching, and a built‑in option type — no null. Demonstrations show native and bytecode targets, a React binding called ReasonReact, use of Belt for JS optimizations, an OpenGL‑style reprocessing demo with hot reloading under a second, and a Web Audio step sequencer implemented via JS bindings that runs live.
AI-written summary · about
chapters (20)
- 0:00Introduction and setup
- 0:33What is reason ml
- 1:20Advantages of reason
- 3:56Performance and capabilities
- 6:22Compiler targets and workflows
- 7:23BuckleScript interop
- 9:11Demo: Compiled output
- 10:30Belt library and error handling
- 13:15Reason syntax overview
- 15:42Records and type inference
- 17:36Variants and data structures
- 19:45Pattern matching
- 21:59Option types and pipe operator
- 24:06Module system
- 28:51Binding to javascript
- 34:17Reason react
- 38:51Stateful components and lists
- 42:47Reprocessing demo
- 44:55Getting started resources
- 46:43Web audio demo
