"Making Impossible States Impossible" by Richard Feldman 

Among the most time-consuming bugs to track down are the ones where we look at our application state and say "this shouldn’t be possible."
We can use Elm’s compiler to rule out many of these bugs in the first place-but only if we design our Models using the right techniques! This talk explores how.

Наука