alt Hacker NewsI have heard "the poor type safety" argument from writers of strongly typed languages for many many years. Having written js and python for a large amount of my carrier I can count on one hand the number of times I've found a bug that was due to a type issue. With LLMs it has been the same pattern. They don't seem to produce issues with types.
Replies
well i’ve come across it loads, especially 1/2) during REPL style build outs and 2/2) calling libraries and frameworks you are not yet familiar with.
perl another offender… is it a hash? is it an arrayref? over time you get it right, but by trial and error and looping. json suffers this too, arrays different from strings, different from numbers etc, but opaque until checked and liable to change
There's absolutely no way that's true.
> I can count on one hand the number of times I've found a bug that was due to a type issue.
Most bugs aren't type issues until you make them be type issues by expressing some business invariant in types.
Refactoring makes an exception not being caught the same way as before ? Type issue. Mixing up some ids ? Type issue. Etc.
Now that can also be emulated with extensive tests. But isn't that a concern for OP as well ?