scalaz endo fonksiyonu scalaz olarak

Question

anlamıyorum, Function1Ops içinde endo fonksiyonu bu şekilde uygulanır: Endo.endo fonksiyonun gövdesinde, sadece basitçe kendini alarak neden

def endo(implicit ev: R =:= T): Endo[T] = 
    Endo.endo(t => ev(self(t))) 

merak ediyorum ... Endo.endo(t=> ev(self(t))) ile aynı davranan Endo.endo(self) olarak.

İşte benim mimik uygulamam ve ikisi arasında hiçbir fark göremiyorum. Bir şey mi kaçırdım? Ayrıca

def endo[R, T](f: R => T)(implicit ev: T =:= R) = (x: R)=> ev(f(x)) 
def endo2[R, T](f: R => T)(implicit ev: T =:= R) = f 

, ilk uygulama zamanında bazı ek yükü eklemez?

Answer 1

Endo.endo işlevi A => A gerektirir. self değeri, Endo gereksinimine uymayan bir T => R işlevidir. teoride

Yapabilirsin T => T için T => R döküm ancak döküm ve yanlışlıkla T => RT => T eşit olmadığı hata yapmak gerekmez ev parametre oluşturulur.

Onlar ancak bu şekilde yazmış olabilirdi: returntype ayarlanmadığı için

def endo(implicit ev: R =:= T): Endo[T] = 
    Endo.endo(self andThen ev) 

Kişisel örnekler derlemek.