LINUX.ORG.RU

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

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

Функции в структуре нужны, чтобы гарантировать инварианты объекта как структуры данных.

Что ты имеешь ввиду? Чтобы гарантировать, что структура данных не превратится в бессмысленную (например кто-нибудь запишет в ip-адрес 999.999.999.999 или в вероятность 1.25)? Для этого уже придуманы зависимые типы (dependent type). Зачем городить какие-то классы не понятно.

Исправление Xenius, :

Функции в структуре нужны, чтобы гарантировать инварианты объекта как структуры данных.

Что ты имеешь ввиду? Чтобы гарантировать, что структура данных не превратится в бессмысленную (например кто-нибудь запишет в ip-адрес 999.999.999.999 или в вероятность 1.25)? Для этого уже придуманы зависимые типы (dependent types). Зачем городить какие-то классы не понятно.

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

Функции в структуре нужны, чтобы гарантировать инварианты объекта как структуры данных.

Что ты имеешь ввиду? Чтобы гарантировать, что структура данных не превратится в бессмысленную (например кто-нибудь запишет в ip-адрес 999.999.999.999 или в вероятность 1.25)? Для этого уже придуманы зависимые типы (dependent type). Зачем городить какие-то классы не понятно.