Speaker Deck

Making Unreasonable States Impossible

by Patrick Stapfer

Published April 26, 2018 in Programming

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
- https://blog.janestreet.com/effective-ml-revisited

Designing with Types: Making illegal states unrepresentable - Scott Wlaschin
- http://fsharpforfunandprofit.com/posts/designing-with-types-making-illegal-states-unrepresentable/

Types and Properties = Software: Designing with Types by Mark Seemann
- http://blog.ploeh.dk/2016/02/10/types-properties-software-designing-with-types/
- https://vimeo.com/162036084

Making impossible states impossible by Richard Feldman
- https://www.youtube.com/watch?v=IcgmSRJHu_8

Back to Basics - Using Flow by A. Sharif
- https://gist.github.com/busypeoples/70d06ba2e2aae65bdd4d5ebbb2fe1488

Making Impossible States Impossible in ReasonML by A. Sharif
- https://gist.github.com/busypeoples/ab2f993843f23614232a1f8500a4b542

Presented on:
6th of September (ReasonLND -

1st of February (ReasonMunich)
- Meetup-Page: https://www.meetup.com/Munich-ReasonML-Meetup/events/245697054/?eventId=245697054
- Video: https://www.youtube.com/watch?v=P7dTPoxCg4w

26th of April (ReactFinland Conference - https://react-finland.fi/)