AP
отладка — часть разработки
Size: a a a
2020 May 14
A
откладка медленней тайпчека
AP
Они вообще про разное
AP
Aminion
откладка медленней тайпчека
- Чем медленнее?
- Чем тайпчека!
- Чем тайпчека!
KV
Когда типы есть, их не обязательно везде совать, можно и не совать. А когда типов нет, то их просто нет и всё
AP
Когда типы есть, их не обязательно везде совать, можно и не совать. А когда типов нет, то их просто нет и всё
Их не нет, они будут
A
ну банальный кейс - опечатка в имени поля, как быстрее всего это выявить?
KV
Их не нет, они будут
Если заранее позаботиться выбрать язык с хорошими типами, то конечно
AV
В смысле типов нет?
AV
Можно хоть одну задачу где нет типов?
AP
Aminion
ну банальный кейс - опечатка в имени поля, как быстрее всего это выявить?
Тестами, как Боб говорит
АГ
отладка — часть разработки
Именно. Я приводил аргумент, что динамисты просто не включают это время на разработку. Вроде как написал код, - и всё. Быстро, удобно. А то, что потом еще 100% времени надо потратить на его доведение до рабочего состояния, ну так это уже не разработка, что это-то другое. А так у нас продуктивность огого.
KV
Можно хоть одну задачу где нет типов?
Есть задачи, где непонятно, какие типы, но понятно, как написать код, а типы уже по коду угадать
A
ну и что быстрее, тест написать, или нажать ctrl+s
AP
Именно. Я приводил аргумент, что динамисты просто не включают это время на разработку. Вроде как написал код, - и всё. Быстро, удобно. А то, что потом еще 100% времени надо потратить на его доведение до рабочего состояния, ну так это уже не разработка, что это-то другое. А так у нас продуктивность огого.
Не 100%. Если ты repl driven developer, то отладка у тебя встроена в факторинг кода.
AP
Aminion
ну и что быстрее, тест написать, или нажать ctrl+s
Ну да, типопрограммисты и логику сразу правильно пишут
АГ
Ну ок, не 100%. Если ты Рыжиков, и у тебя прекрасный workflow. Но у меня таких коллег никогда не было. Были всё больше "нафигачу поток сознания, а потом день в отладчике, там-сям добавляя ifы, чтобы заработало"
A
если логика выражена типами высокого уровня, а не кучей Bool то да
A
тестить же нужно то, что не смог выразить в типах
KV
Aminion
если логика выражена типами высокого уровня, а не кучей Bool то да
Спецификацию на типах писать — это ж умереть можно, завтипы видели когда-нибудь?