Making Unreasonable States Impossible

Making Unreasonable States Impossible

This talk goes deeper into the world of variant types and pattern matching and puts them into a practical context. You will learn how these tools help you design solid APIs, which are impossible to misuse by consumers. Additionally you will get more insights into practical ReasonReact code.


Effective ML revisited

Designing with Types: Making illegal states unrepresentable - Scott Wlaschin

Types and Properties = Software: Designing with Types by Mark Seemann

Making impossible states impossible by Richard Feldman

Back to Basics - Using Flow by A. Sharif

Making Impossible States Impossible in ReasonML by A. Sharif

Presented on:
6th of September 2017 (ReasonLND)

- Meetup-Page:

1st of February 2018 (ReasonMunich)

- Meetup-Page:
- Video:

26th of April 2018 (ReactFinland Conf 2018)


Patrick Stapfer

April 26, 2018