Псевдонимы типа в Scala

Question

Чтение Functional Programming in Scala, я увидел следующий псевдоним типа:

type Const[M, B] = M 

implicit def monoidApplicative[M](M: Monoid[M]) = 
    new Applicative[({ type f[x] = Const[M, x] })#f] { 
    def unit[A](a: => A): M = M.zero 
    def map2[A,B,C](m1: M, m2: M)(f: (A,B) => C): M = M.op(m1,m2) 
    } 

Что смысл Const[M, x] здесь в качестве типа псевдонима? Я понимаю, что для создаваемого нового Applicative он имеет тип [M, B], где B указан на уровне функции.

Answer 1

Я не уверен, почему этот псевдоним был введен - хорошая причина вернуться к этой книге! :)

Однако смысл прост. Const - это что-то с двумя параметрами типа, где параметр второго типа не имеет значения. Я ожидаю, что он будет использоваться где-то, что ожидает конструктора типа с двумя параметрами типа, но, как это бывает, это не так.

Выражение ({ type f[x] = Const[M, x] })#f известен как типа лямбда в, и он используется здесь (и в большинстве мест, как на самом деле), чтобы преобразовать то, что принимает два параметра типа, Const, в чем-то, что берет один тип параметр!

Теперь, самое интересное заключается в том, что параметр типа принимаются игнорируются, из-за свою позицию в Const, и, вместо этого, M, который является параметром типа monoidApplicative определения используется.

Обратите внимание, что Applicative ожидает что-то, что принимает параметр типа, и здесь мы работаем с M, где существует Monoid[M]. Двумя примерами таких M будут Int и String, ни один из которых не имеет параметра типа.

Таким образом, в некотором смысле, мы обманываем Applicative обманом, где игнорируется параметр типа и конечного типа заменяется на то, что вы хотите, чтобы вы могли иметь Applicative[Int], так сказать, несмотря на Int не имея тип.

Answer 2

Const[M, x] не имеет особого значения, вы могли бы в равной степени включить его определение и написать { type f[x] = M }. ({ type f[x] = Const[M, x] })#f определяет функцию уровня.