- Nicolas Umiastowski will be speaking on Unrepresentable states.
- Arie Milner will be speaking on Categorical Thinking
## From make it work to MISI
By making undesirable states unrepresentable, you will have a much robust application, and a much more readable code. We will explore a very simple case, from a beginner’s eyes.
## Categorical Thinking
Discussing the power of the Type System in Elm, how to think about the Type System to make sense of everything (“thinking categorically”).