Artyom Bologov on Nostr: Types are useless… at least the way we use them. Most of the typed functions ...

Types are useless… at least the way we use them.

Most of the typed functions (thinking TypeScript here) deal with numbers and strings, and that’s not enough information to catch the actual mistakes. Anything can be a string! “email” type would make much more sense, but no one bothers to make/use it, and most type systems don’t really support it anyway. Mandating types is busywork, even with automatic type inference. One does not protect their code with it, they’re merely stating the obvious.

OOP and structural typing are something, but they still don’t allow selectively narrowing on values allowed and the fields restrained.

We need better types, if any.