Swift Generics and Proof in Functions

Brandon Williams:

“Swift’s generic functions allow us to explore a beautiful idea that straddles the line between mathematics and computer science. If you write down and implement a function using only generic data types, there is a corresponding mathematical theorem that you have proven true.”

This is an interesting, in-depth look at generics, Swift and math, all rolled into one.