One of the biggest advantages of a strong type system is that carefully chosen types can make illegal states unrepresentable in your programs. Many Cocoa APIs don’t take full advantage of this because they aren’t optimized for Swift.| Ole Begemann
Point-Free: A video series exploring advanced programming topics in Swift.| www.pointfree.co
What does the Swift type system have to do with algebra? A lot! We’ll begin to explore this correspondence and see how it can help us create type-safe data structures that can catch runtime errors at compile time.| www.pointfree.co