Oℕ
второй пример - множества
Size: a a a
2020 May 02
Oℕ
подмножества пространства
2020 May 03
Oℕ
частичный порядок - вхождение множества, объединение и пересечение, пустое подмножество, целое подмножество как баунды
Oℕ
третий пример типы в скалке
Oℕ
<: как частичный порядок, & как join, | как meet, Nothing - нижний баунд, Any - верхний
R
ааа, то есть это множество содержащие множества
Oℕ
решётка - это алгебра, ты должен обеспечить частичный порядок, и две операции join и meet, которые должны вести себя примерно как min и max относительно этого порядка
Oℕ
что значит, что join x y - наибольший элемент меньший x и y
Oℕ
meet - наименьший элемент, больший x и y
Oℕ
Вот когда у тебя есть такие две операции, у тебя есть решётка
R
meet - наименьший элемент, больший x и y
но тогда на meet Nothing Any не будет действителен и где решетка
R
если брать скалу
R
наверное там нестрогое неравеснтво
R
и на вики тоже
Oℕ
но тогда на meet Nothing Any не будет действителен и где решетка
meet Nothing Any = Nothing | Any = Any
R
а аренд я не понял
Oℕ
meet Nothing X = X