Reid Evans
@ReidNEvans
Husband, father, principal consultant @ResultStack, cofounder of @FunctionalKnox, plant-based triathlete, minimalist, conference speaker and organizer
ID:49669858
https://medium.com/@reidev275 22-06-2009 15:56:30
6,6K Tweets
992 Followers
328 Following
Uncle Bob Martin Yes, and to elaborate on that:
Some things in programming you can prove. Types are proofs (this follows from the CurryโHoward isomorphism). The better a language's type system, the more you can prove about your system.