Writing readable, correct code by avoiding Bool

Changing untested code without changing its behavior

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

Use Never to prove impossibilities to the compiler

Pick 3

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