Есть такой, можно сказать, устоявшийся термин. Я призадумался, что же это может значить. Начнем с того, зачем нужны типы. Вопреки распространенному мнению, что типы нужны для того, чтобы бить обезьянам по рукам, на самом деле, типы нужны для ускорения лукапов. То есть, переменные разных типов содержаться в различных неймспейсах, сответственно, исполнитель при явном указании типа сразу знает, где ее искать, за счет этого увеличивается производительность. То, что компилятор бъет по рукам обезьяне при ошибке типа, есть лишь следствие.
Это все означает, собственно, что типобезопасность — это фейковый термин, он, должно быть, означает строгую явную типизацию. Или я что-то упустил?
UPD все, я понял. Это значит, тупо, отсутствие привидения типов. Вопрос закрыт.