s
get в данном случае это всего лишь функция из структуры в T + 1.
Size: a a a
2021 February 17
SP
get в данном случае это всего лишь функция из структуры в T + 1.
что такое T + 1 ?
s
Терминальные объекты изоморфны, поэтому их выбор не принципиален.
SP
Терминальные объекты изоморфны, поэтому их выбор не принципиален.
не в питонке
ID
Терминальные объекты изоморфны, поэтому их выбор не принципиален.
Шош у вас лексика то такая сложная
ID
Шош у вас лексика то такая сложная
Даите словарик
SP
отсутствующий филд != None != False
SP
всеравно я не понимаю почему ты пытаешься обьяснить это с позиции теории типов. я тебе просто обьясняю что семантика того что он написал наглухо отличается от того что он хотел. зачем так делать?
s
отсутствующий филд != None != False
Если хранимый тип не включает None, то T + None изоморфно условному Option<T>.
KR
Даите словарик
type theory & formal proof
ID
type theory & formal proof
Так бы и сказал, теория типов
SP
Если хранимый тип не включает None, то T + None изоморфно условному Option<T>.
это не так работает. ты мало динамического кода читал. ты не можешь узнать включает или не включает. зато явно видишь такой дефолт
s
всеравно я не понимаю почему ты пытаешься обьяснить это с позиции теории типов. я тебе просто обьясняю что семантика того что он написал наглухо отличается от того что он хотел. зачем так делать?
Если рассматривать это с позиции теории множеств, например, но выражение смысл имеет.
KR
Так бы и сказал, теория типов
Это название книги
KR
Ты же словарик просил.
ID
Ты же словарик просил.
Таки да
s
get возвращает T ∪ None, и любые два значения можно проверить на равенства.
ID
Таки да
Таки я пошел читать
SP
Если рассматривать это с позиции теории множеств, например, но выражение смысл имеет.
оно имеет смысл потому что оно работает при подобных допущениях(о том что ноне эквивалентно не имению поля, о том что ноне не включено в вариант). при любом другом раскладе это все распадается сразу без восстановления связи с начальной задумкой