Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

2020 January 29

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
что я не так сделал
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ну по идее наличие экспонент
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Alex Gryzlov
ну по идее наличие экспонент
в смысле именно декартовых замыканий?
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
или любых
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
декартовых думаю
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
но это не точно, надо у иваныча уточнить
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Alex Gryzlov
но это не точно, надо у иваныча уточнить
Эх, сча бы уточнить
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ацтой
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
но я понял, что я сильно натупил
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ну если по рабоче крестьянски, функторная сила это
str : Functor f => (a, f b) -> f (a, b)
str (a, fb) = map (MkPair a) fb
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
а значит надо каррирование иметь
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
да у меня просто вопрос, что если там тензорное произведегние не декартово
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
карочи что я типа сделал:
взял функторы с деем - это симметричная замкнутая
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
определил там моноидальные  хайер функторы
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
и потом типа решил монаду приклеить
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
но монады определил не правильно, через флаттен и пьюр
и даже не через хомсеты
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
а типа флатмапом через замыкания
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
что-то определилось и даже автоматически тензорная сила появилась
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
но
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
для фримонады, которая по моему мнению должна быть хайер ордер монадой инстанс не пишется
источник