PB
Ну такое и на marshmallow городится, и думаю на много чем ещё
Size: a a a
2021 July 20
SP
чтобы были типчики не городится
SP
ну кстати забавно что они изобрели в 2019 то что в статике было при царе горохе
SP
ну представь себе d: TypedDict например {a:number, b:number} которому можно было бы сделать
d.remove('a')
и получить {b:number}
прямо выводом. и аргумент бы тоже тайпчекался
d.remove('a')
и получить {b:number}
прямо выводом. и аргумент бы тоже тайпчекался
L
какие-то жсерские приколюхи
PB
Не совсем понятно зачем
(Возможно просто не сталкивался с необходимостью в таком)
(Возможно просто не сталкивался с необходимостью в таком)
L
по классике тут вообще два отдельных типа, с двумя полями и с одним, и морфизм из одного в другой
SP
ну так и есть, только они анонимные и выводятся сами
L
если они анонимные то ты сосешь с утиной типизацией
L
и можно тогда вообще ничего не выводить
SP
анонимные а не динамические
SP
т.е. они есть
SP
можешь взять структуру и заменить некоторые ее поля на option аналоги, например
L
дык хули толку-то от того что у тебя анонимный тип выведется, если ты не можешь прописать констрейны в коде
SP
так можешь. структурная типизация же
SP
ну это все такие себе решения конечно, да. но можно же!
L
ну вот есть у меня три типа:
еще у меня есть функция посадки космического корабля на луну, принимающая PointOnMoon. ничто не мешает мне передать эту анонимную хуйню туда. right?
PointInEarthAtmosphere { lat, lon, altitude}, PointOnEarth { lat, lon } и PointOnMoon { lat, lon }. мы взяли и пидорнули altitude из объекта первого типа и получили анонимный {lat, lon}.еще у меня есть функция посадки космического корабля на луну, принимающая PointOnMoon. ничто не мешает мне передать эту анонимную хуйню туда. right?
L
если б вместо remove отдающего анонимный тип был явный морфизм PointInEarthAtmospher -> PointOnEarth, то это бы не тайпчекнулось
SP
ну это немного для других кейсов конечно