Ошибка вывода типа при отображении с flatMap в монаде состояния - PullRequest
Новая
       26

Ошибка вывода типа при отображении с flatMap в монаде состояния

0 голосов
/ 08 июля 2019

Обзор

Я пытаюсь определить типы cats.data.IndexedStateT[F[_], SA, SB, A], переданные методу flatMap. При использовании flatMap вывод типа, по-видимому, правильно выводит параметры типа для SA, SB и A. Однако, когда я использую карту в flatMap, она терпит неудачу.

Есть ли способ заставить этот вывод типа работать без ручного указания параметров типа для IndexedStateT, переданного в flatMap? 

class X
class Y


// Type inference works well when just using flatMap
val res1: IndexedStateT[Eval, Unit, Y, Y] =
    IndexedStateT[Eval, Unit, X, X](_ => Eval.now(new X, new X))
      .flatMap { x =>
        IndexedStateT(_ => Eval.now(new Y, new Y)) // Infers IndexedStateT[Eval, X, Y, Y]
      }


// Type inference fails when mapping inside flatMap
val res2: IndexedStateT[Eval, Unit, Y, (X, Y)] =
    IndexedStateT[Eval, Unit, X, X](_ => Eval.now(new X, new X))
      .flatMap { x =>
        IndexedStateT(_ => Eval.now(new Y, new Y)).map(x -> _) // Fails to infer the types for IndexedStateT[Eval, X, Y, Y] "missing parameter type"
      }

Контекст использования

Я использую специализированный тип Государственной монады в коде приложения 

type HListState[SA <: HList, A] = IndexedStateT[Eval, SA, A :: SA, A]
  object HListState {
    def apply[SA <: HList, A](fn: SA => A): HListState[SA, A] = IndexedStateT[Eval, SA, A :: SA, A](sa => Eval.now((fn(sa) :: sa, fn(sa))))
  }

// Type inference works here
val res3: IndexedStateT[Eval, HNil, Y :: X :: HNil, Y] =
  HListState[HNil, X](_ => new X).flatMap { x =>
    HListState(_ => new Y)
  }

// Inference not so good :(
val res4: IndexedStateT[Eval, HNil, Y :: X :: HNil, (X, Y)] = 
  HListState[HNil, X](_ => new X).flatMap { x =>
    HListState(_ => new Y).map(x -> _)  // <--- type inference fails here :( "missing parameter type"
  }

Есть ли способ заставить вывод типов работать в этом случае?

1 Ответ

0 голосов
/ 08 июля 2019

Без map компилятор может использовать ожидаемый тип res1 для определения параметров типа flatMap и, следовательно, IndexedStateT.Но когда вы добавляете map, нет ожидаемого типа для вызова IndexedStateT.

Я не могу быть уверен, не протестировав его, но я ожидаю, что достаточно указать тип параметра (SA), остальное должно быть выведено без проблем: 

IndexedStateT { _: X => Eval.now(new Y, new Y) }.map(x -> _)
...