代码之家 › 专栏 › 技术社区 › user1

制作哈斯克尔单子

monads haskell

user1 · 技术社区 · 7 年前

我试图用Haskell创建一个非常简单的单子。

module EmptyMonad
  ( EmptyMonad
  ) where

import Control.Monad

data EmptyMonad a = EmptyMonad
  { myValue :: a
  , myState :: Int
  } deriving (Show)

instance (Eq a) => Eq (EmptyMonad a) where
  EmptyMonad x1 y1 == EmptyMonad x2 y2 = x1 == x2 && y1 == y2


instance Monad (EmptyMonad a) where
  return x = EmptyMonad x 0
  (EmptyMonad x y) >>= f = EmptyMonad x (y + 1)

在单子上花了几个小时后,我无法理解编译器的错误:

EmptyMonad.hs:16:10: error:
    â¢ Expecting one fewer argument to âMonad EmptyMonadâ
      Expected kind âk0 -> Constraintâ,
        but âMonad EmptyMonadâ has kind âConstraintâ
    â¢ In the instance declaration for âMonad EmptyMonad aâ
Failed, modules loaded: none.

1 回复 | 直到 7 年前

user1 7 年前

这里有两个主要问题:

一种 友善的 * -> * . 比如说 [] , 不 [a] ; 和
>>= 期待一个 EmptyMonad a ,和一个函数 a -> EmptyMonad b 并返回一个 EmptyMonad b

因此,我们可以使用以下解决方案解决问题:

instance Monad EmptyMonad where  -- no a after EmptyMonad
  return x = EmptyMonad x 0
  (EmptyMonad x y) >>= f = fx {myState = y+1}
      where fx = f x

因此,我们在这里指定 instance Monad EmptyMonad 自从 EmptyMonad *->* f x 然后改变 myState 在这种情况下 y+1

清空菜单 的实例 Applicative 和 Functor

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

3 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

3 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

3 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

3 年前

Fabus1184 · Haskell mapM_不打印

3 年前

Gotthold · 基于范数约束向量的类型

3 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

3 年前

jian · haskell将另一个函数用作输入参数

3 年前

Jocafrei · 用Haskell函数实现最大公约数函数

7 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

7 年前