Making Illegal States Unrepresentable: Type-Driven Domain Modeling

One of my biggest concerns with dynamically typed languages is that they postpone errors to runtime, which is of course not ideal. However, I want to discuss something different today: how we can reduce runtime errors even in statically typed languag...