推斷一個類型參數，但不是另一個？

Question

這裏是我的使用情況：

def mkWrapper[A,B](doer: StuffDoer[B])(implicit ev: A => B) = 
    new StuffDoer[A] { 
     override def doStuff(a: A) = doer.doStuff(ev(a)) 
    } 

現在，假設我有

StuffDoer[AwfullyLong[Complicated,And],_ <: Difficult[ToRead],Type]

某處定義的一個實例，並從String的隱式轉換到......嗯，那類型。

我在尋找關於如何呼叫mkWrapper[String,_](doer)的建議，並從doer的類型推斷出它的第二個類型參數，而不是拼寫出來。

想法？

Answer 1

這個問題的一般解決方法是創建一個新的類

• 你想指定類型參數和
• 的apply方法與類型參數的其餘部分。

在cats（Coproduct.left[X]）和shapeless一些例子（所述*Aux語法助手類）。

你的情況，這可能是這樣的：

class WrapperHelper[A] { 
    def apply[B](doer: StuffDoer[B])(implicit ev: A => B) = 
    new StuffDoer[A] { 
     override def doStuff(a: A) = doer.doStuff(ev(a)) 
    } 
} 

def mkWrapper[A] = new WrapperHelper[A] 

你最終的東西，它看起來像一個函數調用的時候實際上是兩個有：

val stuff: StuffDoer[Int] = ??? 
mkWrapper[Double](stuff) 
mkWrapper[Double].apply(stuff) 

這是同樣的伎倆搶諾里斯在他的評論中@mz頁面上解釋說。