Iceman

distributed actorは引数と返り値の型が特定のprotocolを満たしてるか検査できるので、そのような機能をマクロから利用したい

distributed actor のその機能、完全に既存の言語機能の表現能力を超えてて、宣言方法も特別だし検査も特別実装なんだよなｗ