应用程序是monad X要共享的内容

问题描述

解决方案

经过一番思考，我认为这实际上是一个落后的问题。有人可能会认为是 Comonad Applicative 是 Monad ，但事实并非如此。但是为了看到这一点，让我们使用PureScript的类型类层次结构：

pre codelass c Functor f其中
fmap ::（a - > b） - > f a - > f b

class Functor f =>应用f，其中
apply :: f（a - > b） - > f a - > f b - （*）

class Apply f =>应用f其中
pure :: a - > f a

class Applicative m => Monad m其中
绑定:: m a - > （a - > m b） - > m b - （>> =）
- join :: m（m a） - > ma
- join = flip bind id

正如您所见， ComonadApply 仅仅是（Apply w，Comonad w）=>瓦特。但是， Applicative 能够使用 pure 向functor注入值是真正的区别。

Comonad 作为分类对偶的定义由 return 的s双解压缩和绑定的双重扩展（或通过重复作为加入的双重）的替代定义：

  class Functor w => Comonad w where 
 extract :: w a  - > 
 extend ::（w a  - > b） - > w a  - > w b 
  - 扩展f = fmap f。复制k 
  - 复制:: w a  - > w（wa）
  -  duplicate = extend id 
  

所以如果我们看一下步骤从 Applicative 到 Monad ，逻辑步骤将是一个类型类型，其中纯'dual：

  class Apply w =>提取w，其中
 extract :: w a  - > a 
 
 class Extract w => comonad w其中
扩展::（w a  - > b） - > w a  - > wb 
  

请注意，我们无法定义 extract in extend 或 duplicate 的条款，我们也不能定义纯粹 / 返回根据绑定或连接，so这似乎是合乎逻辑的一步。 apply 在这里大多不相关;它可以被定义为 Extract 或 Monad ，只要它们的定律成立：

  applyC f = fmap $ extract f  -  Comonad variant;实际上只需要提取（*）
 applyM f = bind f。翻转fmap  -  Monad变种;我们需要连接或绑定
  

所以 Extract （获取值）是 Comonad 应用（获取值）是 Monad 。 申请或多或少是一个快乐的小事故。 Hask中的类型是否有 Extract ，但不是 Comonad （或 Extend 但不是 Comonad ，见下文），但我想这些都很少。

请注意， Extract 不存在 - mdash;。但是 2010年报告 >。此外，任何既是 Extract 和 Applicative 的实例的类型都是 Monad 和一个 Comonad ，因为您可以定义绑定和扩展依据摘录和纯粹：

  bindC :: Extract w => w a  - > （a  - > w b） - > w b 
 bindC k f = f $摘录k 
 
 extendM ::应用w => （w a  - > b） - > w a  - > wb 
 extendM fk =纯$ fk 
  

这篇关于应用程序是monad X要共享的内容的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！