Avatar
koher 6/26/2018 1:47 AM
Self は associatedtype 含めて同一になっちゃうから強すぎて、
1:48 AM
Functor とか Monad を作ろうとしたら Self から associatedtype を剥がしたものを記述できる構文が必要なはず。
1:51 AM
↓の SelfProtocol みたいなものが必要。 protocol Functor { associatedtype Value func map<R: SelfProtocol>(_ transform: (Value) -> R.Value) -> R }
1:52 AM
Protocol は変か。
1:52 AM
Optional は Protocol じゃないもんな。