Step-by-step example of adopting value types in a JSON client
Types can replace assertions, providing proof at compile time instead of errors at run time.
Improve on “Protocol-Oriented Programming” with value types
Never to prove impossibilities to the compiler
Know when a struct is the better choice.
What a better package manager could do
Write all the types before any of the implementation
A primer on logic programming, explained with Swift
Debt can be a powerful tool