EG
А, всё, я распарсил тип. Ну окей. Аргумент остаётся: у меня уже есть это поведение в питоне абсолютно бесплатно.
Size: a a a
2020 March 09
MB
А где?
p
Каким образом?
Если вариантов этих нетипизированных данных слишком много, то типы начинают мешать
G
Если вариантов этих нетипизированных данных слишком много, то типы начинают мешать
Например?
p
Например?
types::Message
EG
А где?
В
KeyError будет содержаться ключ, который не нашёлся при индексированииEG
Я могу смело писать['код']['так']
G
types::Message
А как там типы мешают?
G
Мне они не мешают...
p
А как там типы мешают?
Option<Foo> везде
p
Или извращаться как мы
MB
В
KeyError будет содержаться ключ, который не нашёлся при индексированииЭто только часть информации, которую дает мой pointer()
G
Или извращаться как мы
Так почему извращаться? Мы сделали всё правильно через алгебраические типы
EG
Это только часть информации, которую дает мой pointer()
Это правда
p
А без них написал self.foo = None и заебись
λ
И подожди, получается в точности то же самое — ты в конце получаешь тупо null, не зная, на каком этапе всё пошло не так
withObject "json" \obj -> do
pishu <- obj .: "пишу"
takoe <- pishu .: "такое"
takoe .: "выражение"G
А без них написал self.foo = None и заебись
И типобезопасность к хуям 👍
p
Так почему извращаться? Мы сделали всё правильно через алгебраические типы
Там вышло 1к строк, которые можно было бы не писать
EG
У тебя и в динамическом языке будет nullable, просто ещё ты сможешь забыть про проверку на None
MB
То есть в одном конкретном кейсе на расте придется писать +1 функцию, так?