Type Safe State Machines
A simple, type-safe implementation of a state-machine. A prelude to building type-safe state-charts.
Luke Matthew Sutton
Querying JSON
Just for fun, but perhaps for use later; an exploration of generating queries into and extracting values from a JSON structure.
The Elm Architecture in Swift (A sketch)
An attempt at implementing the Elm Architecture using Swift. Conclusion; promising, but with some open questions.
Type Safe Request URLs
I've begun to develop a REST API client, where I have focused on type-safety as much as is practical in it's design.
Composing Validations
Navigating between the urge to get clever with type-system tricks and finding what actually works.