13 ms·This thing already exists, it is called "strong typing" (in C++, Go, Java etc).by mkup 15y agoThis thing already exists, it is called "strong typing" (in C++, Go, Java etc).Ralith 15y agoYes, that was the joke.