Chris and Soroush discuss Uncle Bob’s controversial blog post about languages with type systems that he finds too strict.

• Uncle Bob’s original post: The Dark Path
• The Kotlin Programming Language
• SwiftCheck: property testing in Swift
• Fox: property testing for ObjC
• Proof in Functions
• Null References: The Billion Dollar Mistake
• Chris Eidhof’s response: Types vs TDD
• Uncle Bob’s follow up: Types and Tests
• Soroush’s post from a few years ago: Test and Types