Avatar
omochimetaru 6/14/2017 4:23 AM
ただそこにあるのは、 ある型が trait Functor を満たす時、 その型の Self だけ T からバラして対応とる必要があるんだけど
4:24 AM
Swiftの Self が Associated Type こみこみで具象化されるために それができないのと同様に
4:24 AM
Rust の self も同じ仕様でできないんじゃい、という感じがする
4:24 AM
scala だと trait Functor [ F [_] ] ってやって、パターンマッチで Fだけを取れるんだけど
4:25 AM
相当する構文機能が無さそう 。　Redditの回答も同じ話しをしてるっぽい。
4:26 AM
Self (the F from the definition above) is a type parameter parametrized by another type parameter, which means Self has kind * -> * (the currently impossible part).