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 Tweet
929 Takipçi
307 Takip Edilen
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.
you heard it here first devs, it's okay to google Reid Evans