Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Тебе надо мотивацию выписать.
ЭФ>Зачем это нужно, и какие преимущества даст.

ЭФ>Программного кода придётся писать больше,
ЭФ>потому что размер тестов больше, чем размер указания типа.
ЭФ>И это плохо. Чем-то это должно компенсироваться.

ЭФ>Чем же?

Тесты писать всё равно надо. Поэтому в данном случае это влияния не имеет.

Чем хорошо: меньше писанины. А также для уточнения типов придётся писать больше тестов, эдакая мотивация программистам проверять все возможные значения на входе и на выходе.

Чем плохо — пока не знаю. Есть вероятность, что тестов придётся писать слишком много.

Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Тебе надо мотивацию выписать.
ЭФ>Зачем это нужно, и какие преимущества даст.

ЭФ>Программного кода придётся писать больше,
ЭФ>потому что размер тестов больше, чем размер указания типа.
ЭФ>И это плохо. Чем-то это должно компенсироваться.

ЭФ>Чем же?

Тесты писать всё равно надо. Поэтому в данном случае это влияния не имеет.

Чем хорошо: меньше писанины. А также для уточнения типов придётся писать больше тестов, эдакая мотивация программистам писать тесты на все возможные значения на входе и на выходе.

Чем плохо — пока не знаю. Есть вероятность, что тестов придётся писать слишком много.

Если тесты недетерминированные, то будут недетерминированные типы. Но в принципе это в любом случае нехорошо. Плюс можно тесты сделать детерминированными, убрав любые источники случайности.