MK
чувство справедливости, применённое к себе, является завистью
Size: a a a
2020 July 22
АГ
чувство справедливости, применённое к себе, является завистью
Не совсем. У меня нет претензий к тем, кто что-то там получает. Они продали себя, они решили свою задачу, они молодцы. У меня есть претензии к тем, кто пытается занизить мои достижения и поставить под сомнение то, как я себя оцениваю
YP
Так это ты ж, вроде, остальных принижать начал, не?
MK
так, стойте
YP
Мол академики криворукие, ничего кроме пейперов неумеющие. И ты один на белом коне.
MK
давайте в блах
MK
простите, я первый начал конечно
YP
Сорян.
MK
не должен был
АХ
Я создаю advanced technologies, используя boring tools. Не всегда, правда, есть и не boring. Но я уж точно следую boring path, когда нужно просто решить задачу.
Advanced тоже может быть boring, противоречий здесь нет
Advanced тоже может быть boring, противоречий здесь нет
Сократа на вас нет. Он довёл бы всех любителей боринг до кондратия дознаваясь что такое боринг и чем отличается от фэнси
АГ
Сократа на вас нет. Он довёл бы всех любителей боринг до кондратия дознаваясь что такое боринг и чем отличается от фэнси
Сократ мне друг, но срачики дороже
ЗП
я часто предпочту явную рекурсию фолдам, только если это не что-то примитивное вида foldr + 0
а если там еще и моноид, то foldMap мое самое любимое, чтобы сеты склеивать скажем
а если там еще и моноид, то foldMap мое самое любимое, чтобы сеты склеивать скажем
я на нем моноидную группировку делал)
АГ
Сократа на вас нет. Он довёл бы всех любителей боринг до кондратия дознаваясь что такое боринг и чем отличается от фэнси
И Сократ довел бы до сократия
ЗП
кто пояснит, почему именно это лимит?
type Lim f = forall a. f aAF
По-моему, похоже на определение терминального объекта, а терминальный — предел
AF
для любого типа a в Hask существует ровно один способ (т.е. морфизм) повысить его в функтор f — f a.
к
кто пояснит, почему именно это лимит?
type Lim f = forall a. f aпотому что forall a. a - терминальный объект, а значит и forall a. f a такой среди всех f x, то есть единственные морфизмы и x в forall a. a (а они единственны, раз это терминальный объект) мапаются в f x -> (forall a. f a)