alt Hacker News> then they don’t deserve code that is prove
I don't get it. Types are a way to write code. Nothing to do with how fast/much the code changes.
> then they don’t deserve code that is prove
I don't get it. Types are a way to write code. Nothing to do with how fast/much the code changes.
Typed code is significantly more cumbersome to change (because there's more code to change). At least until you reach a certain size of your spaghetti bowl. Then both typed and untyped are cumbersome and people endlessly discuss which one is more.