EG
Выдаёт тупо ничего до следующего
cargo cleancargo check вообще не работает.Size: a a a
2020 March 03
EG
λ
Есть Any
В расте не все типы Any. Any не пропихнёшь в любую дырку.
EG
Вот тебе и хороший тулинг. :(
p
В расте не все типы Any. Any не пропихнёшь в любую дырку.
И в питоне
EG
Не, в питоне как раз Any — подтип любого типа.
EG
В Rust нет.
λ
Не, в питоне как раз Any — подтип любого типа.
ПОДТИП?
DF
Кек
p
Не, в питоне как раз Any — подтип любого типа.
Ок, в си шарпе object
λ
Хотя да, не удивительно
EG
ПОДТИП?
Да. Аналог Rust'овского
&dyn Any — это object.λ
Ок, в си шарпе object
object не пропихнёшь в любую дырку
λ
Да. Аналог Rust'овского
&dyn Any — это object.Нет. Это отдельный тип, для которого прикостылили неявную коэрцию.
EG
«Подтип любого типа» нужен для миграции с кучи динамически типизированных библиотек, к сожалению. В своём коде есть опция, чтобы запретить Any вообще.
p
object не пропихнёшь в любую дырку
Ошибка в рантайме будет, да
p
Как и в питоне
EG
Нет. Это отдельный тип, для которого прикостылили неявную коэрцию.
Нет,
object это как раз надтип любого типа, вполне корректный. mypy не даст тебе с ним ничего сделать, пока ты не проверишь, что это конкретно такое.λ
Ошибка в рантайме будет, да
серьёзно?
λ
