G
Там вышло 1к строк, которые можно было бы не писать
Но эта тысяча строк даёт безопасность типов и более тесную интеграцию с IDE
withObject "json" \obj -> do
pishu <- obj .: "пишу"
takoe <- pishu .: "такое"
takoe .: "выражение"Size: a a a
2020 March 09
EG
Ы. Сложно спорить с хаскеллистами, у вас всё есть.
p
Но эта тысяча строк даёт безопасность типов и более тесную интеграцию с IDE
В aiogram тоже Иде все подсвечивает
G
В aiogram тоже Иде все подсвечивает
Там сделали None?
p
Там пишешь typing.Union[Foo, None] и заебись
p
Там сделали None?
Да
EG
Так aiogram статически типизирован
EG
Там пишешь typing.Union[Foo, None] и заебись
Optional[Foo] достаточноp
Optional[Foo] достаточноА, да, так
EG
И мы получаем точно такой же
Option<Foo>, даG
Тогда IDE даже теоретически не может подсвечивать мне, что, например, я хочу
MediaKind::Text и мне нужны определённые поляp
И мы получаем точно такой же
Option<Foo>, даТолько нам не нужно делать .unwrap() через .unwrap()
EG
Только нам не нужно делать .unwrap() через .unwrap()
Rust:
if let Some(foo) = self.foo {
...
}
Python:if self.foo is not None:
...
p
Rust:
if let Some(foo) = self.foo {
...
}
Python:if self.foo is not None:
...
Только там будет 3 матча вложенных*
p
В расте
EG
На один Option не будет
EG
На несколько вложенных у тебя и в питоне придётся несколько ифов писать
p
Так мы говорим про конкретный кейс
p
У нас в телоксиде 2-3 уровня вложенности в типах
p
А в питоне куча None