値型とサブタイピングは相性悪いですね・・・。

2:02 AM

プロトコル型が witness table 使わなきゃいけないのと同じように、 Any にも気持ち悪さを感じる。

2:03 AM

プロトコル型変数も Any も禁止とかしたら、さすがに無理かなぁ。どうしても Any にせざるを得ないケースもあるしなぁ。

2:04 AM

参照型と、参照型とみなせるイミュータブルな値型なら問題ないと思うけど。 (edited)