As I'm sure you know, there's a few good strong typing libraries that you can use at any layer of code. A bit like how python has type hinting + libraries to h

As I'm sure you know, there's a few good strong typing libraries that you can use at any layer of code. A bit like how python has type hinting + libraries to have static typing. But there is something to be said about it not being standard. Library code and existing codebases generally (in my experience) don't do that. It really is the incredibly weird problem of a language being more extendable and capable than anything else. But because of that it's really hard to work on existing code as you have to enter with 0 assumptions if you want to avoid getting "tricked" while catching up.