169 похожих чатов

Господа, подскажите пожалуйста: имеется f :: x -> Either a y g

:: y -> Either b z
h :: z -> Either a z'
хочу максимально не мерзким образом получить что-то в духе h . g . f , чтобы в итоге был Either a z'
через функторы не получается потому что Either a и Either b это разные типы, а через бифункторы получается что-то в духе Either a (Either b z) что тоже не очень вкусно
Можно ли как-то лаконично one-liner'ом это разрешить?

2 ответов

8 просмотров

А что должно происходить есть g вернет Left (_ :: b)?

Dmitriy-Mozhevitin Автор вопроса
aadaa_ftgaa
А что должно происходить есть g вернет Left (_ :: ...

в теории хотелось бы вернуть специально подготовленное для этого фиксированное значение типа a , но и Left memtpy покатит (Monoid a имеет место быть в данном случае)

Похожие вопросы

Обсуждают сегодня

type TObj = object procedure Init; virtual; end; TObj1 = object(TObj) procedure Init; override; end; procedure TObj1.Init; begin inherited; end; procedur...
Alexander 👋
29
Есть какой-нибудь для Delphi/FPC T*Compression(Decompression)Stream на базе LZ4/Zstd/любой другой быстрый(и хорошо сжимающий) алгоритм А ещё лучше в pure pascal А ещё лучше од...
notme
45
А чем вам питонисты не угодили?😂
.
79
Можно ли загрузить скрипт py в бота чтобы он работал по нему? как это сделать?
huskadam #RCC Фанат? @hitlerpvp
13
Всем здравствуйте! Я хотел узнать сколько стоит средняя месячная зарплата у Electron js разработчиков? Мне очень это важно и нужно, плиз помогите узнать эту инфу! Для Джунио...
U.K.
10
А дин типизация это хорошо или плохо?
Alexey
12
Исходники плюс документация? Вы гоните)) демок хватит всем
zamtmn
11
Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
76
Язык Си можно выучить за день? По книжке ANSI C на 230 страниц
Vincent Vegan
29
Hello. Could you please help me with finding all coordinates within a radius using a spatial index, given that I have a table with coordinates? SET @lng = 37.57925; SET @lat ...
Rinchin G
7
Карта сайта