Avatar
omochimetaru 4/27/2017 3:30 AM
つまり、<Foo: Protocol>(foo: Foo)においてFooは具体的な型パラだが、fooはProtocol型変数と変わらない状態?
で、 プロトコル型変数 (Existential) は、 (x, wt, xt)の 3 つのフィールドをもつ struct みたいなバイナリになるから、変わらないっちゃ変わらない