Исправление tailgunner, (текущая версия) :
Просто некоторые упорыши типами называют не сами типы, а то как их компейлятор проверяет
А другие упорыши считают, что типы существуют, даже если компилятор о них ничего не знает. У этих упорков есть все мыслимые системы типизации - от динамической до зависимых типов. Правда, на практике толку от этого нет, но упоротых это не волнует.
Исходная версия tailgunner, :
Просто некоторые упорыши типами называют не сами типы, а то как их компейлятор проверяет
А другие упорыши считают, что типы существуют, даже если компилятор о них ничего не знает. У этих уопрков есть все мыслимые системы типизации - от динамической до зависимых типов. Правда, на практике толку от этого нет, но упоротых это не волнует.