AG
меня пока нет, но он не последовательный
может это затравка к нормальным завтипам в скала 4
может это затравка к нормальным завтипам в скала 4
оч сомнительно что завтипы можно сделать практично с сабтайпингом
Size: a a a
2021 January 30
AG
пруфы утонут в аннотациях
Oℕ
оч сомнительно что завтипы можно сделать практично с сабтайпингом
will see
Oℕ
Ну вообще субтайпинг не обязательно же иметь универсальный
Oℕ
Больше интересует доказуемые свойства вроде
∀ x. x ∈ A -> x ∈ B
∀ x. x ∈ A -> x ∈ B
Oℕ
и автоматизм вокруг них
AG
рафинад короче
Oℕ
ну и рафинированных и рекордов
AT
коллаборировать коллаборировать, да навыкакаколлаборировать )
Веротерпимые коллаборационисты
TT
Присодиняюсь к пятнице ( субботе )
Oℕ
Дима : Олег хочу с тобой серьёзно поговорить. Хочу мнение твоё, почему игнорируешь.
Тоже Дима: <на любое мнение о чём угодно реагирует смеющейся гифкой и попыткой расхуярить любую идею начинаний, не в точности совпадающей с его>
Тоже Дима: <на любое мнение о чём угодно реагирует смеющейся гифкой и попыткой расхуярить любую идею начинаний, не в точности совпадающей с его>
TT
Зачем ты реагируешь в принципе...
V
Это Господь испытывает тебя!
Oℕ
Зачем ты реагируешь в принципе...
нравится этот мем
TT
как сказал бы кривда
ZM
в эволюшен устроился? заговорил по ихниему
A
Vasiliy
жена их покупает, я хз почему
Василий, что за жена. И какой ты после этого инцел?
A
Выписываю тебя из нашей тусовки инцелов.