EG
У attoparsec интерфейс вроде поприятнее, да
Size: a a a
2020 June 27
DS
Если не можете аргументировать кроме как доебок до личности, лучше помолчите.
Ну просто этот аргумент звучит так же, что if - это тоже динамика, а не статика, т.к. аргумент может быть не известен на этапе компиляции.
ЕС
Тесты писать проще чем типы, и профита от них больше.
AZ
Никак, очевидно, это же динамика
Твой вопрос эквивалентен «как сделать статику без церемоний» — никак, про это и говорю
Твой вопрос эквивалентен «как сделать статику без церемоний» — никак, про это и говорю
церемонии это ЛИШНЯЯ писанина
AZ
понимаешь? Лишняя
ЕС
Ну просто этот аргумент звучит так же, что if - это тоже динамика, а не статика, т.к. аргумент может быть не известен на этапе компиляции.
Угу, отчасти.
EG
для меня написать
f : Int -> Intвместо
f x = x*x
def f(x):это не церемония, а необходимый минимум чтобы функция не была говном
return x*x
На функциях Int -> Int всё хорошо
SP
Тесты пишешь, и все.
и проксируешь строку туда где никогда больше не найдешь
EG
На функциях с стосимвольными сигнатурами и ошибками на три экрана всё плохо
EG
Современные системы типизации тупо недостаточно мощные
AZ
На функциях с стосимвольными сигнатурами и ошибками на три экрана всё плохо
чем они отличаются? Каждый компонент отвечает за валидацию какого-то куска. Можешь его не делать и писать:
foo : Parser -> Parser
и огрести в рантайме. Это лучше что ли?
foo : Parser -> Parser
и огрести в рантайме. Это лучше что ли?
EG
чем они отличаются? Каждый компонент отвечает за валидацию какого-то куска. Можешь его не делать и писать:
foo : Parser -> Parser
и огрести в рантайме. Это лучше что ли?
foo : Parser -> Parser
и огрести в рантайме. Это лучше что ли?
Аргумент автора исходной статьи «статика не приносит больше писанины»
EG
Приносит
EG
«Стоит ли оно того» — это совершенно другой вопрос
AZ
Аргумент автора исходной статьи «статика не приносит больше писанины»
ну ты можешь на хаскелле не писать типы вообще
SP
статика делает implicit знание exclicit
EG
ну ты можешь на хаскелле не писать типы вообще
Более или менее нет, автовывод там лажает хуже, чем в расте
AZ
f x = x * x
main = print $ f 10AZ
пожалуйста
EG
f x = x * x
main = print $ f 10Да я не спорю, что на настолько тривиальных примерах всё работает, лол