ΛВ
Size: a a a
2020 November 21
ΛВ
должность такая в компании
Oℕ
V
Зависимые типЫ?
Oℕ
Зависимые типЫ?
+
V
Типа такие типы у падика стоят, явно зависимые
w
могу провести ресерч по читаемости среди моих коллег
Α
V
Я прошу прощения за пробелы, на мобиле сижу
AT
Я прошу прощения за пробелы, на мобиле сижу
Прощения не будет, вы обосрались
V
Прощения не будет, вы обосрались
Ну будьте же людьми
А⚙
Если брать уже какую-то умную систему с завтипами и сортами завтиповой индукции, то такие полуоткрытые определения как силд трейты уже могут быть и вредны
А в каком смысле они полуоткрыты?
AT
А в каком смысле они полуоткрыты?
Как твоя фляга
A
Ну будьте же людьми
Был бы ты человек.
AT
Oℕ
А в каком смысле они полуоткрыты?
Ну у силд ограничение на наследование во всём файле, а не в каком-то маленьком скоупе.
Т.е. это могут быть и анонимные инстансы, например.
А могут быть и классы, которые сами по себе открыты.
Это для индукции может быть проблемой
Т.е. это могут быть и анонимные инстансы, например.
А могут быть и классы, которые сами по себе открыты.
Это для индукции может быть проблемой
w
Не читаемо в текстовом виде.