Hacker News new | ask | show | jobs
by cbanek 3522 days ago
On the other hand, do you want your code to have to deal with any object or type from anywhere in the world or actually programming?

Programming is inherently the art of making something specific to a use. Types help that in that you limit what the code operates on, which makes the code you write simpler, because you have less ambiguity.