AZ
Да, потому что язык становится выше уровнем, но я бы всё равно не назвал это «без церемоний»
парсер-комбинаторы на любом языке сложные. Если офк ты хочешь чтобы он тайпчекался
Size: a a a
2020 June 27
EG
парсер-комбинаторы на любом языке сложные. Если офк ты хочешь чтобы он тайпчекался
Ну дык про это и спор же
Церемонии автоматически появляются с тайпчекером, это неизбежное свойство современной статики
Церемонии автоматически появляются с тайпчекером, это неизбежное свойство современной статики
ЕС
т.е. проще использовать функцию или переменную о которой ты не знаешь вообще ничего. ясненько
А зачем тебе знать что там? Тебе главное чтобы он операции определенные реализовывал определенным образом. А сам тип плевать
EG
Оно того обычно стоит, но утверждение «статика это не обязательно церемонии» откровенно ложное
SP
А зачем тебе знать что там? Тебе главное чтобы он операции определенные реализовывал определенным образом. А сам тип плевать
об операциях тоже ничего неизвестно
AZ
Ну дык про это и спор же
Церемонии автоматически появляются с тайпчекером, это неизбежное свойство современной статики
Церемонии автоматически появляются с тайпчекером, это неизбежное свойство современной статики
бтв это легаси либа. Вот более новая версия: https://hackage.haskell.org/package/attoparsec-0.13.2.4/docs/Data-Attoparsec-Internal-Types.html#t:Parser
AZ
вроде попроще
ЕС
об операциях тоже ничего неизвестно
В рантайме известно.
AZ
Оно того обычно стоит, но утверждение «статика это не обязательно церемонии» откровенно ложное
так тут нет церемоний, ты пишешь то что должно чекаться
AZ
если не напишешь оно чекаться не будет
EG
так тут нет церемоний, ты пишешь то что должно чекаться
Это и есть церемонии
SP
В рантайме известно.
кул стори бро
EG
Мне нужно написать >100 символов одной только сигнатуры
EG
Если это не церемонии, то что
r
А зачем тебе знать что там? Тебе главное чтобы он операции определенные реализовывал определенным образом. А сам тип плевать
В общем, RTFM, и не делай ошибок.
AZ
Это и есть церемонии
а как в питоне написать без церемоний чтобы тебе если что компилятор ругнулся что ты суешь число вместо строки?
ЕС
а как в питоне написать без церемоний чтобы тебе если что компилятор ругнулся что ты суешь число вместо строки?
А зачем тебе это знать?
ЕС
Тесты пишешь, и все.
EG
а как в питоне написать без церемоний чтобы тебе если что компилятор ругнулся что ты суешь число вместо строки?
Никак, очевидно, это же динамика
Твой вопрос эквивалентен «как сделать статику без церемоний» — никак, про это и говорю
Твой вопрос эквивалентен «как сделать статику без церемоний» — никак, про это и говорю
AZ
для меня написать
f : Int -> Intвместо
f x = x*x
def f(x):это не церемония, а необходимый минимум чтобы функция не была говном
return x*x