タイプエイリアスでコンテキストバインドを使用する

Question

Scalaでタイプエイリアスでコンテキスト境界を使用することは可能ですか？

例えば

type U = A : B 

Answer 1

いいえ、バインドコンテキストは、実際に余分な暗黙のパラメータの省略形ですので。例えば

：

def sort[A : Ordering](xs: Seq[A]) 

が

def sort[A](xs: Seq[A])(implicit ordering: Ordering[A]) 

ための短縮形であり、これは型定義で表現できません。

Answer 2

コンテキストが型宣言に直接バインドされるのではなく、JPPが示す暗黙のパラメータを表す別の値宣言を持つ必要があります。

trait Generic { 
    type U 
    implicit val ordering: Ordering[U] // evidence for U: Ordering 

    def max(u1: U, u2: U) = List(u1, u2).max 
} 

def concrete[T: Ordering] = new Generic { 
    type U = T 
    val ordering = implicitly[Ordering[T]] 
} 

assert(concrete[Int].max(1,3) == 3)