Телеграмм чат группы dotnettalks страница 31403

def bitraverse[G[_], A, B, C, D]

И да, надо приводить функцию целиком, вместе с сигнатурой

10:58пожаловаться #1

def bitraverse[G[_]: Applicative, A, B, C, D](fab: F[A, B])(f: A => G[C], g: B => G[D]): G[F[C, D]]

10:58пожаловаться #2

Намного понятнее стало

10:58пожаловаться #3

В комментах нету пояснения, кто все эти A, B, C, D (ну лан, фиг с ними), и даже G

10:58пожаловаться #4

def bitraverse[G[_]: Applicative, A, B, C, D](fab: F[A, B])(f: A => G[C], g: B => G[D]): G[F[C, D]]

Вообще - да. Тут из сигнатуры более менее понятно, что происходит.

10:58пожаловаться #5

И что же происходит?

10:58пожаловаться #6

У нас есть некий fab (ээ, фабрика?) и пара функций, которые чего-то кладут в ээ контейнеры?

10:59пожаловаться #7

Получаем контейнер с фабрикой

11:00пожаловаться #8

Чёрт знает что, бессмыслица, если честно

11:00пожаловаться #9

Вроде понятно, что хотели к тупле применить пару функций и получить новую туплю

11:00пожаловаться #10

Но причём тут фабрика-то?

11:00пожаловаться #11

И что же происходит?

Если посмотришь выше, то у нас определен тип F[_, _], от которого мы требуем, чтобы он был бифунктором и бифолдабле.

У нас есть значение типа F[A, B] и две функции A => G[C] и B => G[D].

Теперь мы хотим применить их к типам A и B внутри F[A, B], причем так, чтобы получить на выходе не F[G[C],G[D]], а G[F[C,D]]

11:01пожаловаться #12

Лол, в примере именно так и делают — применяют пару функций к тупле :)

11:01пожаловаться #13

Я не считаю, что очень уж нужна вся эта абстрактная алгебра ради того, чтобы применить пару чёртовых функций к чёртовой тупле

11:02пожаловаться #14