I'm pretty satisfied with the amount of type checking in C++ and Java. You can go crazy with it but the people who write those languages usually have the good t

I'm pretty satisfied with the amount of type checking in C++ and Java. You can go crazy with it but the people who write those languages usually have the good taste to not go overboard with complex type tricks.