Speaker Deck

Making Unreasonable States Impossible

by Patrick Stapfer

Published February 1, 2018 in Programming

Wouldn’t it be great if you could ensure that your application, no matter how much you’ve angered the Software Gods, could not get into weird states? Think of how much easier it would be to document functionality, how much time you’d save on complex test scenarios, and how much more sleep you’d get. That dream can be yours today - and the enigmatic Patrick Stapfer will show you how!


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