다형 유형 및 유형 클래스 제약이있는 akka 형식의 액터

Question

akka typed actors은 다형 유형에서 작동 할 수 있습니까?

trait TypedActorInterface{ 
     def head[T](l:List[T]):T 
} 

: 예를 들어

, 나는 다음과 같은 유형의 안전 운전을 수행 배우를 만들 수 있습니까?

또는 다형성 형식화 된 배우 생성 :

trait TypedActorInterfacePolymorphic[T]{ 
     def getT:T 
} 

를?

또는 Class 형 제약 갖는

trait TypedActorWithTypeClass{ 
    def show[T:Showable]:String 
} 

를?

Typed Actors으로 가능합니까?

내 생각에 유형 입력 정보가 ​​자동으로 직렬화/역 직렬화되어야하므로 매크로/반사 및 기타 마술이 포함될 수 있으므로 최소한 유형 제약 조건을 사용할 수 없습니다.

다른 두 가지가 가능할지 모르겠다.

Answer 1

예에서 볼 수 있듯이 입력 된 액터에 대해 하나 이상의 특성을 만들 필요가 없습니다. 형식화 된 액터는 단지 프록시 일뿐입니다. 배우 외의 코드는 서비스의 배후에있는 배우에 대해 아무것도 모릅니다.

컴파일러에 충분한 정보가있는 경우 다형성 특성을 프록시하는 데 문제가 없습니다. 귀하의 시도를 제공하고 무엇이 잘못되었는지 보도록하십시오.