H
что тебе мешает в идрисе обмазаться Any -> Any и апкастить куда хочешь?
ничего не мешает, я языки тут привёл просто как пример как чаще всего на них пишут
Size: a a a
2021 February 20
H
(хоть интегрировать свой смрад Эни -> Эни с остальной экосистемой может быть немного проблематично)
H
но не суть
IL
А когда гарантии отсутствия ошибок не нужны?
Дело не в том, нужны эти гарантии или нет, а в том, что мейнтримовые системы статической типизации зачастую дают мнимые гарантии, но требуют приличных затрат на их обслуживание. По факту процесс обслуживания типов это во многом способ для программиста обосновано попрокрастенировать, но при этом не чувствовать угрызений совести особых
ΑZ
Дело не в том, нужны эти гарантии или нет, а в том, что мейнтримовые системы статической типизации зачастую дают мнимые гарантии, но требуют приличных затрат на их обслуживание. По факту процесс обслуживания типов это во многом способ для программиста обосновано попрокрастенировать, но при этом не чувствовать угрызений совести особых
нет, мейнстримные системы типов дают средние гарантии за средний же эффорт
ΑZ
так что насчет тестов: вы их пишете или нет?
IL
нет, мейнстримные системы типов дают средние гарантии за средний же эффорт
Ну вот метрики пошли, шкалы какие-то. Средние гарантии, средний эффорт )
Z
А когда гарантии отсутствия ошибок не нужны?
когда обслуживание типов дольше чем фикс багов, правда как объективно оценивать это время, и угадывать наперед никто не придумал. зато можно ходить по чатикам и в сотый раз устраивать неразрешимый спор
IL
так что насчет тестов: вы их пишете или нет?
Я всё пишу, и на статических языках, само собой. Но при чем тут я? Почему разговор ведется от личности?
ΑZ
Я всё пишу, и на статических языках, само собой. Но при чем тут я? Почему разговор ведется от личности?
ну просто тесты это то же что типы, только хуже
H
когда обслуживание типов дольше чем фикс багов, правда как объективно оценивать это время, и угадывать наперед никто не придумал. зато можно ходить по чатикам и в сотый раз устраивать неразрешимый спор
> когда обслуживание типов дольше чем фикс багов, правда как объективно оценивать это время, и угадывать наперед никто не придумал.
+
+
IL
ну просто тесты это то же что типы, только хуже
Так я ж разве с этим спорю? Но, повторюсь, какая разница что делаю я? Я делаю неправильно. Делал бы правильно, писал бы на JS и без тестов
ΑZ
когда обслуживание типов дольше чем фикс багов, правда как объективно оценивать это время, и угадывать наперед никто не придумал. зато можно ходить по чатикам и в сотый раз устраивать неразрешимый спор
по-моему опыту если у тебя нет опыта в типчиках то писать ты будешь на порядок дольше чем без них, а если есть - то так же или быстрее. ЧЕм больше типчиков знаешь тем более серьезные типы можешь юзать без потери скорости
ΑZ
Так я ж разве с этим спорю? Но, повторюсь, какая разница что делаю я? Я делаю неправильно. Делал бы правильно, писал бы на JS и без тестов
> Делал бы правильно, писал бы на JS и без тестов
Maximum boldness
Maximum boldness
ΑZ
ну то есть мы решили что жс без тестов - эталон культуры разработки?
ΑZ
а то выглядит как жирнющий наброс
H
когда обслуживание типов дольше чем фикс багов, правда как объективно оценивать это время, и угадывать наперед никто не придумал. зато можно ходить по чатикам и в сотый раз устраивать неразрешимый спор
бтв, полагаю чтобы такого не происходило, чтобы из-за одного фикса не исправлять типы по всей кодовой базе, нужно больше полиморфизма в типах
ΑZ
бтв, полагаю чтобы такого не происходило, чтобы из-за одного фикса не исправлять типы по всей кодовой базе, нужно больше полиморфизма в типах
ну ты любитель исправлять мегабайты ошибок, а у людей обычно другие предпочтения)
ΑZ
я не представляю какие сигнатуры будут в средненькой программе если все типы будут максимально обобщены
H
ну ты любитель исправлять мегабайты ошибок, а у людей обычно другие предпочтения)
тут скорее техническая больше проблема чем теоретическая. можно вывод ошибок улучшить, с другой стороны