Haskell在线运行

版本:
运行结果
教程手册
代码仓库
极速运行
交互输入
极速运行模式,更高效的运行,点击编辑器上方的运行按钮即刻体验吧。
以下是用户最新保存的代码
这是一个小程序 发布于:2021-10-12 22:01 haskell 测试 发布于:2021-09-23 22:38 [更多]
显示目录

Monads



Monads

Monads 只不过是一种具有一些额外功能的Applicative Functor.它是一个Type类,它管理三个基本规则,称为 monadic rules .

所有这三个规则都严格适用于Monad声明,如下所示;

class Monad m where  
   return :: a -> m a 
   (>>=) :: m a -> (a -> m b) -> m b 
   (>>) :: m a -> m b -> m b 
   x >> y = x >>= \_ -> y 
   fail :: String -> m a  
   fail msg = error msg

适用于Monad声明的三个基本法则是 :

  • 左同身法 : return 函数不会更改该值,也不应更改Monad中的任何内容.它可以表示为"return> => mf = mf".
  • 正确身份法 : return 函数不会更改该值,也不应更改Monad中的任何内容.它可以表示为"mf> => return = mf".

  • Associativity : Functors和Monad实例应该以相同的方式工作.它可以在数学上表示为"(f> ==> g)> => h = f> =>(g> = h)".

前两个法则迭代相同的点,即 return 应该在 bind 运算符的两侧都有标识行为.

在我们之前的例子中,我们已经使用了很多Monads而没有意识到它们是Monad.请考虑以下示例,其中我们使用List Monad生成特定列表.

main = do
   print([1..10] >>= (\x -> if odd x then [x*2] else []))

此代码将产生以下输出 :

 [2,6,10,14,18]
由JSRUN为你提供的Haskell在线运行、在线编译工具
        JSRUN提供的Haskell在线运行,Haskell 在线运行工具,基于linux操作系统环境提供线上编译和线上运行,具有运行快速,运行结果与常用开发、生产环境保持一致的特点。

title

使用此草稿 删除草稿

  • 00:23
注册登录后可减少验证码的弹出,点击前往 注册 | 登录

皮肤:

运行模式:

嵌入代码 iframe嵌入:


服务器已安装大部分常用的第依赖库,但仍可能存在一些未被安装的库, 可以通过本窗口立即安装所需依赖库。


请输入依赖库的名称:

请选择语言: