今もそうなんじゃないかと直感していて、じゃあ現状のprotocol変数は存在型として実装されていて、理論があってということ

12:25 PM

理論を理解しないと先に進めないか

12:26 PM

とすると、 Animal.self こいつは存在型の型で (edited)

12:26 PM

Animal.self is Animal.Typeはfalseになるのが正しい？