why the hell would someone want to push coconut down a grinder where an onion is supposed to end. Got that? Type checking has its place. Testing is there for a reason. Would you say the same thing when writing functions for a space shuttle system or launch vehicle? For tesla? You would probably do low level. So someone argued that low level languages too have loopholes. Agreed with those MFs AF who didn't understand the point is Testing! These systems go through testing. Why are we making type safety in an Interpreted language?