Re:Dynamic type systems are not inherently more open
by wizzwizz4 on Sunday January 19, 2020 @09:30AM
(#22091581)
This is talking about the case where you're just testing something out – prototyping it for a few branches before implementing it for the whole thing. In this case, _you_ are your own user, so it doesn't matter if you see the type errors.
Re:Dynamic type systems are not inherently more open
by yakshaving_jgt on Sunday January 19, 2020 @09:36AM
(#22091616)
If I’m making a potentially wide-reaching change, I’d want to test it against everything else so I know for sure that it’s actually viable in the context of every instance of its use.
Also, some statically-typed languages (like Haskell) allow you to defer type errors to runtime if you really want.
One of those is worse.