• Soroush: That One Optional Property
• Massive View Controller
• Sandi Metz: Nothing is Something (RailsConf 2015)
• Finite State Machine (Wikipedia)
• StatefulViewController
• Soroush: a state machine where invalid transitions can’t compile
• A gentle introduction to dependent types
• Less gently: Dependent Types at Work
• D Oisín Kidney: In which I Misunderstand Dependent Types
• Validated
• Andy Matuschak: A composable pattern for pure state machines with effects
• Functional core, imperative shell is from Boundaries by Gary Bernhardt