scala - Scalaで高次の型を「カリー化」することは可能ですか?

Question

たとえば、2 つの型パラメーターを持つトレイトがあるとします。

trait Qux[A, B]

より高次の型パラメーターを持つ別のトレイト、たとえば

trait Turkle[C[_]]

の型パラメータの 1 つを固定値に置き換えて、パラメータ化にQux使用できるようにしたいと考えていますTurkle。

以下に例を示します (Scala では意味をなさないコードの例です!):

trait Baz[A] extends Turkle[Qux[A, _]]

この効果を達成する方法はありますか？

score 24 · Accepted Answer

Jason Zaugg は、これを行うための最も簡潔な方法を考え出しました。

trait Baz[A] extends Turkle[({type x[a]=Qux[A, a]})#x]

IntelliJ の Scala プラグインは、オプションでこれを次のように折りたたみます。

trait Baz[A] extends Turkle[x[a]=Qux[A, a]]

score 4 · Accepted Answer

このような意味ですか？

trait QuxWithString[A] extends Qux[A, String]
new Turkle[QuxWithString]{}

これは、型の部分適用に類似しています。

score 2 · Accepted Answer

trait Turkle[C[_]]
trait Qux[A,B]
trait Wraps[A] {
  type Jkz[X] = Qux[A,X]
  trait Baz extends Turkle[Jkz]
}

5 に答える 5