Призываю экспертов по тф. Я уже задавал вопрос, но ответа

Question

Призываю экспертов по тф. Я уже задавал вопрос, но ответа

так и не получил. Вот есть у меня алгебра:
trait MyAlg[F[_]] {
def foo: F[Unit]
def bar: F[Unit]
}И допустим, я хочу сделать так, чтобы методы foo и bar у меня могли вернуть разные бизнесовые ошибки.
Какие я вижу решения:
1. Делать F[Either[A, B]]. Но тогда придётся использовать EitherT и везде лифтить.
2. Сделать 2 констрейнта типа MonadError для F. Но тогда непонятно, какой метод будет возвращать какие ошибки, хотя в этом вроде один из профитов тф. Типа того:
abstract class MyAlg[F[_]]()(implicit err1: MonadError[F, Err1], err2: MonadError[F, Err2]) {
def foo: F[Unit]
def bar: F[Unit]
}3. Сделать несколько дырочных типов, каждый из которых будет иметь свой MonadError:
abstract class MyAlg[F1[_]: MonadError[?[_], Err1], F2[_]: MonadError[?[_], Err2]] {
def foo: F1[Unit]
def bar: F2[Unit]
}Но это выглядит слегка оверкилом. Плюс, у меня врядли будут разные F для разных методов. У меня будет один F, который в разных случаях бросает разные ошибки.

#programming #russian #scala

0

04.12.2018

1 ответов

15 просмотров

Dmytro Kovalenko · Accepted Answer

Dmytro Kovalenko

Сделать F с двумя дырками как завещал Дегоз

0

04.12.2018

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

Призываю экспертов по тф. Я уже задавал вопрос, но ответа

1 ответов

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