타이프 스크립트 및 하위 유형

Question

다음 코드는 유형 클래스를 정의합니다.

trait Foo[T] { 
    def toFoo(x: T): String 
} 

trait Foos { 
    def toFoo[T](f: T => String): Foo[T] = new Foo[T] { 
    def toFoo(x: T): String = f(x) 
    } 
} 

object Foo extends Foos { 
    def toFoo[A: Foo](a: A) = implicitly[Foo[A]].toFoo(a) 
    implicit def AToFoo: Foo[A] = toFoo { c => 
    "A" 
    } 
    implicit def BToFoo[T]: Foo[B] = toFoo { c => 
    "B" 
    } 

    implicit def ListToFoo[T: Foo]: Foo[List[T]] = toFoo { c => 
    c.map(toFoo(_)). 
    } 
} 

class A 
class B extends A 

지금 내가 toFoo(List(new A, new B)을 할 경우 내가 가지고있는 경우에 나는 List("A", "A") 대신 List("A", "B") 얻을. 유형 B 인 클래스의 경우 AToFoo 대신 BtoFoo 메소드가 사용되도록하려면 어떻게해야합니까?

Answer 1

암시 적 해석은 순전히 컴파일 타임 메커니즘입니다. 여기에있는 하위 유형을 쉽게 구분할 수있는 방법은 내재적으로 일치시키는 것입니다. 두 경우 모두 물론

implicit val AIsFoo : Foo[A] = toFoo { 
    case b: B => "B" 
    case a: A => "A" 
} 

으로 모두 BToFoo를 제거하고 대신 A 버전 거래를,이 계층의 일부가하는 방법에 위임 할 수있다. A에있는 메소드에 위임하고 B에 넘겨 줄 수 있으며 메소드를 추가 할 수없는 List의 typeclass 작업은 계속 수행 할 수 있습니다.

Foo은 반공 진이라고도 할 수 있습니다.