ReasonML: Strict, powerful, and forgiving.
The gist of the talk is that while getting started with ReasonML is really simple, the true value of adopting a language like ReasonML does not lie in its obvious features. There are patterns and complex capabilities that are made possible by the strong type system that can elevate our ability, as developers, to accurately describe our intent when writing programs. It also gives tools and techiques to deal with our unfortunate tendency to make mistakes.
During the talk, I will cover the following topics:
- A short introduction to ReasonML & how to get started.
- How to use pattern matching on variants.
- How we can combine these features to make illegal states unrepresentable.
- Other patterns that static typing and functional programming makes possible.