ΛВ
нафинг сабтайп всех тайпов
Size: a a a
2021 January 11
ΛВ
стрелочки оопешники рисуют ток сверху вниз
ᛒ
все, терь понятно
ZM
так а паажди, супер тайп всех тайпов?
был бы ты крабом в ведре, понял
ΛВ
хотя ваще хер знает зачем там порядок
Oℕ
так а паажди, супер тайп всех тайпов?
топ и боттом не от отношений подтипизации
Oℕ
топ - это синоним тру, некий простейший тип, который ничего не означает, кроме того, что что-то можно сконструировать
Oℕ
в него есть стрелочка из любого, значит, что если ты вообще смог что-то построить, значит, в принципе успеха достиг
Oℕ
фолс или боттом ему противостоит, из него есть стрелочка во все, что соответствует ex falso https://en.wikipedia.org/wiki/Principle_of_explosion
Oℕ
Это универсальный пустой тип, если он случайно непустой, то согласно этому принципу, вся твоя логика скатывается в говно
Oℕ
Потому что можно построить всё, что угодно
w
Потому что можно построить всё, что угодно
хахаха, да мне вообще похуй
Oℕ
хахаха, да мне вообще похуй
Вот типичный боттом
Oℕ
В системе типов с субтайпингом, если в принципе вводить универсальную нижнюю границу, она по похожим причинам тоже будет пустой
Oℕ
Поэтому в скале пустой подтип всего называют боттомом
Oℕ
Я понимаю, что я банальные вещи говорю, но может что-то там из этого у тебя щёлкнет
AT
Я понимаю, что я банальные вещи говорю, но может что-то там из этого у тебя щёлкнет
Это вечный крест