Много чего еще является и функтором и аппликативом и моноидом.

Question

HKT это про типы их можно (наверное?) убирать все на уровне компиляции.

0

14.01.2019

18 просмотров

𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛 · Accepted Answer

В Расте версии 1.256 trait Functor<T<_>> { fn fmap<A, B>(self: T<A>, f: impl Fn(A)->B) -> T<B> } (я не спорю, просто уточнил твою мысль)

0

14.01.2019