유형 매크로가 작동하지 않습니다. 어떻게 정의에서 유형을 계산할 수 있습니까?

Question

유형 매크로가 꺼져 있습니다.

그러나 중요한 두 가지 사례가 필요합니다. 결과적으로 응용 프로그램에서 중요한 확장 성을 잃을 수 있습니다. 둘 다 다른 유형이 주어진 유형의 동적 컴파일 시간 생성입니다. 기본적으로 내가 좋아하는 것을하고 싶어 (분명하지 스칼라 코드를하지만 난 당신이 아이디어를 얻을 수있을 거라 생각) :

type T[U] = macro usecase1[U] 

def usecase1[U]= U match { 
    case t if (t <:< Int) => String 
    case ... => ... 
} 

두 번째 사용 사례는 다음과 같습니다

type Remaining[A, B >: A] = macro ... 

경우 예를

에 대한

class C 
trait T1 extends C 
trait T2 extends C 

type Remaining[C with T1 with T2, T2] is assigned to "C with T1" at compile time 
(so the macro would have generated the subclass list, and generated a new type from the list without T2) 

매크로를 사용하지 않았으므로 가정합니다. 나는 그 타입 매크로가 죽을 때까지 지금 그것을 할 계획이었다. 어쨌든, 그런 기능을 얻기위한 트릭을 아는 사람이 있습니까? 감사합니다.

Answer 1

첫 번째 유스 케이스는 실제로 이해할 수있을 정도로 어느 정도 implicits로 구현할 수 있습니다. 다음

scala> trait Bound[A] { 
    | type Type 
    | } 
defined trait Bound 

scala> implicit val bound1 = new Bound[Int] { type Type = String } 
bound1: Bound[Int]{type Type = String} 

scala> implicit val bound2 = new Bound[String] { type Type = Double } 
bound2: Bound[String]{type Type = Double} 

scala> val tpe = implicitly[Bound[Int]] 
tpe: Bound[Int] = $anon$1@2a6b3a99 

scala> type U = tpe.Type 
defined type alias U 

:하지만

scala> implicitly[bound1.Type =:= String] 
res0: =:=[bound1.Type,String] = <function1> 

암시 해상도가 길에 일부 유형을 잃고있는 것 같다 : 한편

scala> implicitly[U =:= String] 
<console>:19: error: Cannot prove that U =:= String. 
       implicitly[U =:= String] 
         ^

여기에이 같이하는 방법의 예 . 이유와 그 문제를 해결하는 방법을 모릅니다. 두 번째 사용 사례를 들어

---

, HList 즉시 떠오른다들. 같은 뭔가 :

scala> trait Remaining[A <: HList, B] { type Result = Remove[A, B] } 
defined trait Remaining 

scala> new Remaining[C :: T1 :: T2 :: HNil, T2] {} 
res5: Remaining[shapeless.::[C,shapeless.::[T1,shapeless.::[T2,shapeless.HNil]]],T2] = $anon$1@3072e54b 

하지만 복합 형으로 결과 HList을 결합하는 방법을 잘하지 않습니다. 뭔가 (의사 코드) :

trait Remaining[A <: HList, B] { 
    def produceType(
    implicit ev0 : Remove.Aux[A, B, C], 
      ev1 : IsCons.Aux[C, H, T], 
      ev2 : LeftFolder[T, H, (T1, T2) => T1 with T2]) = ev2 
      //     ^Not real syntax, type-level function to combine/mix types 
    val tpe = produceType 
    type Result = tpe.Out 
}