1つの型パラメータを推論しますが、他の型パラメータは推測しませんか？

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のタイプから2番目のタイプのパラメータを推測させます。

アイデア？

Answer 1

この問題の一般的な解決策は

• 指定したいんtypeパラメータと
• 型パラメータの残りの部分と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] 

次の2つが実際に存在する場合には、一つの関数呼び出しのようなもので終わる：

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

これは、同じトリックロブですNorrisは彼のコメントにリンクされている@mzページについて説明します。