Avatar
tarunon 7/14/2017 6:05 AM
やっぱりどう考えてもLazyをFilteredとかの範囲だけで解決するのは無理で
6:05 AM
SequenceとLazySequenceを分離したほうが最終的に平和な気がする…
6:06 AM
というかですね
6:06 AM
@escaping (T) -> U は T -> U のサブタイプ（？）だから、一応まとめられそう？ 引数のオーバーライドは反変だからスーパータイプで引数が @escaping (T) -> U だったのを (T) -> U でオーバーライドできるはず。
6:06 AM
これから導かれる結論は
6:06 AM
protocol Sequence: LazySequence {
6:06 AM
なわけで。