setが潰れると、any PがPを満たせなくなっちゃいますね

1:32 AM

まあ今も、Ext. PはPを満たさないので、そっちに寄せるのもありですが

1:33 AM

実行時エラーを許容してでもPを満たさせる方が、既存のAnyCollectionなどには近い設計になるのでどっちの路線もありだと思います

1:34 AM

あ、てか、例の新マニフェストによると

1:34 AM

デフォルトでは違反になるものは生成されなくて

1:35 AM

自分でextension any P : P としてやって、違反してたやつを無理やり自分で実装するとself conformが得られる

1:35 AM

ってスタイルが提案されてたな

1:35 AM

それだとユーザーの意思で選択できて良さそう (edited)