LINUX.ORG.RU

История изменений

Исправление Xenius, (текущая версия) :

А зачем городить зависимые типы, когда есть классы?

Затем, что зависимые типы позволяют проверять корректность при компиляции, а не в рантайме. Кстати опять же, в функции в любом случае нужно проверять корректность исходных данных прежде чем модифицировать поля объекта, так? А значит можно их проверять в каждой функции, которая работает с типом данных и всё.

Я показал, зачем классы нужны там, где они есть.

Вообще, лучше бы ты на примере кода показал, где без классов выполнить задачу нельзя или сложнее.

Вот когда будут зависимые типы в питоне, жаве или хотя бы в крестах.

Если там будут зависимые типы, то это будет уже другой язык. Но скажи, а нафига использовать перечисленные языки, если уже сейчас есть например OCaml, Tcl и D (правда в них зависимых типов тоже нет)?

Исходная версия Xenius, :

А зачем городить зависимые типы, когда есть классы?

Затем, что зависимые типы позволяют проверять корректность при компиляции, а не в рантайме. Кстати опять же, в функции в любом случае нужно проверять корректность исходных данных прежде чем модифицировать поля объекта, так? А значит можно их проверять в каждой функции, которая работает с типом данных и всё.

Я показал, зачем классы нужны там, где они есть.

Вообще, лучше бы ты на примере кода показал, где без классов выполнить задачу нельзя или сложнее.

Вот когда будут зависимые типы в питоне, жаве или хотя бы в крестах.

Если там будут зависимые типы, то это будет уже другой язык. Но скажи, а нафига использовать перечисленные языки, если есть например OCaml и D (правда в них зависимых типов тоже нет)?