Avatar
値型とサブタイピングは相性悪いですね・・・。
2:02 AM
プロトコル型が witness table 使わなきゃいけないのと同じように、 Any にも気持ち悪さを感じる。
2:03 AM
プロトコル型変数も Any も禁止とかしたら、さすがに無理かなぁ。どうしても Any にせざるを得ないケースもあるしなぁ。
2:04 AM
参照型と、参照型とみなせるイミュータブルな値型なら問題ないと思うけど。 (edited)