shimastripe

今のSE-0309 で associatedType つきの Protocol をフィールドに入れれるから型消去がいらなくなるってことですかね？ (AnyAnimal を用意する必要がいらなくなる)

SE-0309は any Sequence が書けるようになりますが、パラメータ指定ができないので、type erasureのユースケースの代用には不足です。 SE-0353で any Sequence<Int> とパラメータ指定もできるようになって、代用品として完成します。 (edited)