ΑZ
у main будут тысячи монад объявлены
Size: a a a
2021 February 20
H
я не представляю какие сигнатуры будут в средненькой программе если все типы будут максимально обобщены
ну да, тут же тоже не бинарная характеристика
H
гадаем на анусных свечах
H
авось достаточно гранулярно
A
Дело не в том, нужны эти гарантии или нет, а в том, что мейнтримовые системы статической типизации зачастую дают мнимые гарантии, но требуют приличных затрат на их обслуживание. По факту процесс обслуживания типов это во многом способ для программиста обосновано попрокрастенировать, но при этом не чувствовать угрызений совести особых
Ну да, это уже от языка зависит.
Что-то вспомнилось https://twitter.com/snoyberg/status/1265526242486468616
Много тут затрат?
Что-то вспомнилось https://twitter.com/snoyberg/status/1265526242486468616
Много тут затрат?
A
Дело не в том, нужны эти гарантии или нет, а в том, что мейнтримовые системы статической типизации зачастую дают мнимые гарантии, но требуют приличных затрат на их обслуживание. По факту процесс обслуживания типов это во многом способ для программиста обосновано попрокрастенировать, но при этом не чувствовать угрызений совести особых
Как они могут давать "мнимые гарантии"? Там вполне явные гарантии что некий класс ошибок будет отсутствовать.
Z
бтв, полагаю чтобы такого не происходило, чтобы из-за одного фикса не исправлять типы по всей кодовой базе, нужно больше полиморфизма в типах
последний раз я это слышал вроде от Ричарда Хикки, когда он хейтил енамы и паттерн матчинг))
A
бтв, полагаю чтобы такого не происходило, чтобы из-за одного фикса не исправлять типы по всей кодовой базе, нужно больше полиморфизма в типах
Более того, если из-за одного фикса приходится трогать всю кодовую базу, то без типов там было бы вообще печально.
IL
Как они могут давать "мнимые гарантии"? Там вполне явные гарантии что некий класс ошибок будет отсутствовать.
Этот класс может быть не такой уж распространенный, например
H
последний раз я это слышал вроде от Ричарда Хикки, когда он хейтил енамы и паттерн матчинг))
ну енамчики и патмат это обратная сторона наследования и реализации методов (expression problem)
H
Более того, если из-за одного фикса приходится трогать всю кодовую базу, то без типов там было бы вообще печально.
с другой стороны есть случаи когда там именно типы виноваты, код бы и с "неправильными" типами работал. нужно компилятор удовлетворить
ΑZ
Этот класс может быть не такой уж распространенный, например
поэтому вместо более сильных гарантий мы возьмем более слабые?
Или рассчет на систему типов расхолаживает?
Какая-то странная аргументация, ей-богу
Или рассчет на систему типов расхолаживает?
Какая-то странная аргументация, ей-богу
IL
поэтому вместо более сильных гарантий мы возьмем более слабые?
Или рассчет на систему типов расхолаживает?
Какая-то странная аргументация, ей-богу
Или рассчет на систему типов расхолаживает?
Какая-то странная аргументация, ей-богу
Да пишите как вам нравится, разве кто-то запрещает )
SP
у меня вобщем тоже сгорело, но у меня то место где горит уже походу выгорело
SP
да. любители дин. типизации существуют. даже среди растовчан
Z
у меня вобщем тоже сгорело, но у меня то место где горит уже походу выгорело
чего ж вы горите, победа стат. типизации просто вопрос времени
SP
чего ж вы горите, победа стат. типизации просто вопрос времени
победа дин. типизации просто вопрос времени
SP
все отказывают от этих ваших хаскелей и переходят на питоны и жсы
SP
продуктивность взлетает до небес
SP
оказывается без типов писать проще быстрее