多型と型制約を持つakka型付きアクタ

Question

akka typed actorsは多型に対応できますか？

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

：たとえば

、私は次のタイプの安全な動作を行う俳優を作成することができますか？

または多型型付き俳優作成：

trait TypedActorInterfacePolymorphic[T]{ 
     def getT:T 
} 

を？

または型クラス制約持つ：

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

を？

これらはTyped Actorsで可能ですか？

私の推測では、型の情報を自動的に直列化/逆シリアル化する必要があるため、マクロ/リフレクションやその他の魔法が必要になるため、少なくとも型の制約はできません。

おそらく他の2つも可能ですが、わかりません。

Answer 1

例のように、入力された俳優に対してもう1つの特性を作成する必要はありません。型付きアクターは単なるプロキシです。俳優以外のコードは、サービスの背後にある俳優について何も知らない。

コンパイラに十分な情報がある場合は、多形性のプロキシで問題はありません。あなたの試行を提供し、何がうまくいかなかったか見てみましょう。