Так это разные вещи лол

Напомните, что значит ~>

Так это разные вещи лол

в чем именно? В том, что анкаррирована?

Напомните, что значит ~>

естественное преобразование

блять, зига

ты в жс-конфе

type f ~> g = forall a. f a -> g a

тут с большей долей вероятности обсуждают fantasy land, как бы ты этого не хотел, ОСОБЕННО ПОД СКРИНОМ ИЗ ФЛ

лол

а там что это значит

ах

метод

занчит что это protoype метод?)

лолл

лучше бы естественное преобразование

loll

в чем именно? В том, что анкаррирована?

dimap = bimap, вопрос терминологии. Бифунктор ковариантен по обоим аргументам, профунктор по одному ковариантен, по другому контрвариантен

так стой, а при чем тут bimap?

на скрине promap для профунктора, где первый маппинг контрвариантен

и написано "omg"

так стой, а при чем тут bimap?

Я хз, не я про него первый упомянул

а кто

Детпихто

вся ветка

?

Что именно?

promap всесто dimap?

Так имхо только лучше

Так это разные вещи лол

dimap = bimap, вопрос терминологии. Бифунктор ковариантен по обоим аргументам, профунктор по одному ковариантен, по другому контрвариантен

dimap ≠ bimap, они как-бы дуальны если че

но не полностью

они как-то не полностью дуальны

да

Я просто считаю dimap откровенно ебанутым названием, потому что приставка di тождественна bi, а не противопоставляема

ну вот поэтому я и написал, что promap лучше dimap)

А ну ок)

меня устоявшийся нейминг жутко бесит

fmap, lmap НО first

и fst

Ога

Вообще di- имеет свою долю смысла, судя по их 2-категориям C^op ⊗ C → Set и C ⊗ C → Set

Вообще di- имеет свою долю смысла, судя по их 2-категориям C^op ⊗ C → Set и C ⊗ C → Set

опять ты за свое)

Но их мемес с неймингом действительно зашёл далеко. К примеру ди/би/2/две категории имеют абсолютно разное значение

поэтому нужны методы

еще в пурсе проблема - lmap+rmap из пакетов bifunctorS (!!!) и profunctor совпадают

Лол ? Жестко)

еще в пурсе проблема - lmap+rmap из пакетов bifunctorS (!!!) и profunctor совпадают

плохо когда имена пересекаются) много квалифицированных импортов делать надо

зига как обычно

Но их мемес с неймингом действительно зашёл далеко. К примеру ди/би/2/две категории имеют абсолютно разное значение

однако квази/бесконечная имеют одинаковое

хм

может это и не так плохо, мне код на элме с почти полной квалицификацией вполне нравится

а в пурсе можно импортнуть со своим названием?

import a as b

да

норм тогда

import Data.List.Lazy as LL

однако квази/бесконечная имеют одинаковое

Однако из теории множеств мы знаем, что для обозначения несчётных бесконечностей мы используем ω и они не могут быть между собой равны

а еще нравится, что в элме вроде как решили (но костыльно емнип) проблему такого импорта import Data.Map (Map) import qualified Data.Map as Map

а в чем проблема

стоп зачем так делать

в том что у нас два импорта вместо одного

ERROR: S client not available

чтобы f :: Map Int Int f = Map.singleton 1 1

у нас же будет две разных сущности с одинаковым названием

а еще нравится, что в элме вроде как решили (но костыльно емнип) проблему такого импорта import Data.Map (Map) import qualified Data.Map as Map

частый подход в хаскелл

конструктор отдельно, все остальное квалифицированно

хмм

похоже просто на poor man's методы

частый подход в хаскелл

ну так я про подход знаю, я к тому, что синтаксически писать это не шибко удобно два раза

в элме вроде как такой же код генерируется из просто import qualified Data.Map

@systemspace так если с Codensity более менее понятно (такой себе ContT) то что такое Density?

@systemspace так если с Codensity более менее понятно (такой себе ContT) то что такое Density?

дуальность

смешно)

все сразу понятно же

вроде как по функтору восстанавливается комонада

но я могу ошибаться

ну а Codensity используется в https://github.com/Gabriel439/Haskell-Managed-Library (как идея)

https://twitter.com/drboolean/status/941329419309793280 точно траверсабл не с ТК?

опа! законы можно проверять http://hackage.haskell.org/package/quickcheck-classes-0.3.1/docs/Test-QuickCheck-Classes.html

ну также как и везде рантайм проверка

https://a-tour-of-go-in-haskell.syocy.net/en_US/index.html наконец-та

https://a-tour-of-go-in-haskell.syocy.net/en_US/index.html наконец-та

есть еще

@kana_sama https://lotz84.github.io/haskellbyexample/

да я скинул эту ссылку не из-за хаскеля)

хм

хорошо что от го там только названия глав

потому что выглядит как хорошее введение

хм а в хаскеле async треды n:n и горутины m:n?

там написано что async m:n

ну то есть lightweight threads

green threads?)

forkIO