箭头对函数的优势

Question

箭头比haskell中的常规函数​​有什么优势.他们可以做什么功能不能.函数可以使用fmap映射结构.

Answer 1

从更广泛的角度来看,箭头可以让你走出Hask并进入其他类别.Kleisli类别可能是最熟悉的Haskellers,其次是Cokleisli.这些是Hask的自然"扩展" :在结果或参数周围添加一个endofunctor,然后再次获得一个类别

• Kleisli:仿函数是monad,所以 id ? return :: a -> m a

  (.) ? (<=<) :: (b->m c) -> (a->m b) -> a->m c
  

• CoKleisli:仿函数是一个comonad,所以id ? coreturn :: m a -> a和

  (.)     ::     (m b->c) -> (m a->b) -> m a->c
  

(为此你不需要Arrow,只有Category.但是一般类别不是很有趣,你通常需要幺半群或甚至笛卡尔封闭类别,这Arrow是大致的目标.)

但肯定有很多其他类别.大多数与Hask没有多大关系,也无法用标准Arrow类表示,主要是因为对象具有不是每个Haskell类型都满足的特殊属性.实际上,如果添加约束对象类型的能力,则可能会立即变得更宽.但即使你坚持使用标准课程,甚至可能只是简单地使用->,带箭头的自由构图风格通常会非常精致,简洁,并开辟了思考变换的新方法.