Я не говорил, что это из fl

ну так я ищу

какие там ещё могут быть источники

у неё есть сигнатура?

https://github.com/zerobias/apropos/blob/master/src/isomer.js#L26

Интерфейс https://github.com/zerobias/apropos/blob/master/src/index.h.js#L69

Эта функция есть во всех используемых мной ADT, поэтому я так же использую её

Для Left вызывает первую функцию, для Right вторую

это должен быть метод either

Да, но это не either

+

это катаморфизм для Either

Без разницы

either(x => Nothing(), Just)

Они идентичны для Either, но я подразумеваю общую семантику

Не только для частного случая

и ещё забавно что можно вызвать Nothing(value) // -> Nothing

fold работает с моноидом

это же fold = foldMap id

fold работает с моноидом

Предложи другое название

either для Either, maybe для Maybe и тд

Чтобы что?

чтобы все понимали что эта функция которая обработает оба варианта either

чтобы все понимали что эта функция которая обработает оба варианта either

Хорошее определение

алсо наверное можно до бифунктора обобщить но мб он про другое

Да, именно так

ну как бы семантично - название конструктора с большой, название свертки с малой

нет

алсо наверное можно до бифунктора обобщить но мб он про другое

Нет, на выходе не то

вот какой бифунктор для Identity?

и это свертка, а не бифунктор

Это не релевантно

не я точно не помню про что бифунктор

Да блин

Бифунктор там отдельно есть

Это не бифунктор

бифунктор это мап для типа с арностью 2

алсо ок ответ на вопрос вот: foldr ((<|>) . pure) empty :: (Alternative f, Foldable t) => t a -> f a

как бы для каждого свой трансформер

Бля

думаю можно переделать на фентези ленд

Это не монадная функция

алсо ок ответ на вопрос вот: foldr ((<|>) . pure) empty :: (Alternative f, Foldable t) => t a -> f a

чо это? это же fold моноидный

Это не фп вообще

Это не монадная функция

тут и не было монад

а не, это asum

чо это? это же fold моноидный

зависимость от моноида тут излишняя

Мне с телефона неудобно повторяться

Это не релевантно

Это не бифунктор

Это не фп вообще

В fl ближайшая аналогия это extract

bimap :: (a -> b) -> (c -> d) -> p a c -> p b d да ок бы твоя функция в бифунктор вписалась

Бля

Открой плз интерфейс

Найди там bimap

И сравни с fold

В fl ближайшая аналогия это extract

нет, комонада тут не причем

Ну вам виднее ок

Я сдаюсь

комонада не будет работать как катаморфизм

В fl ближайшая аналогия это extract

комонады для Either нету

и extract не есть generalCata (пусть будет такое общее название для maybe, either)

комонады для Either нету

Ближайшая Аналогия Аналогия Ближайшая А на ло ги я

ну такое

каким фигом деструкция и комонада может быть ближайшей аналогией?

Я умываю руки

ERROR: S client not available

w a -> a как такое сделать для Either?

Каждый говорит сам с собой

для Maybe?

Ох бля

Открой плз интерфейс

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

@vlastachu а ты ещё на меня говорил что то

эффект не стакается с коэффектом

ну я бы с ним не смог бы спорить да, но он хотя бы не повторяется в доводах

из комонады нельзя получить вроде монаду, а наоборот можно (где-то я про это пейпер читал)

у тебя просто Nothing не очень честный

ну я бы с ним не смог бы спорить да, но он хотя бы не повторяется в доводах

Естественно, ведь я не игнорирую их

вот честно было бы из твоей функции доставать Alternative

А я одну мысль донести не могу, как с автоответчиком болтаю

у него и empty есть

и то что Just > Nothing он знает

вот честно было бы из твоей функции доставать Alternative

Мне нужно чтобы было удобно и надёжно, на расовую чистоту если честно как то до лампочки

fold контр-интуитивное название

Это внутренняя функция для эффективных трансформаций

Предложи название лучше

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

Fluture, Folktale, ramda-fantasy, funfix

В мои тоже нужно

И чсх, везде фолд означает одно и то же

Пчёлы против мёда: шайка либ по фл спеке изменила смысл фолда

И чсх, везде фолд означает одно и то же

С этим всё равно придётся что-то делать

Если им так удобнее, то ради бога

Я не настаиваю

Проблема в том что в этих языках разный контекст

И некоторые вещи — внезапно — можно не копировать, тем более что either в рамде работает как и прежде

да, во fluture действительно есть такой fold