在 Haskell 中实现这个单子/类型？

Question

我真的无法弄清楚这需要的语法，这可能是由于我对类型的工作原理缺乏了解。

我想要一个类型DataPoint，它存储一个元组(x, dataval)或两个字段x和dataval（其中x是Double，dataval是Complex Double。

我想要一个 Monad 实例，它类似于：

instance Monad (DataPoint x dataval) where
    return dataval = DataPoint 0.0 dataval
    DataPoint x dataval >>= f = DataPoint x (f dataval)

基本上，monad的“值”是dataval，x只是容器的一部分。

我不认为我的语法是正确的。如果我将 DataPoint 定义为

data DataPoint x dataval = DataPoint { x       :: Double
                                     , dataval :: Complex Double }

那么它应该可以工作，对吧？

只有我得到“种类不匹配”

The first argument of `Monad' should have kind `* -> *',
but `DataPoint x dataval' has kind `*'

谁能帮我获得我想要实现的功能/monad？

Answer 1

就语法而言，它是

instance Monad (DataPoint x) where
    -- etc

尽管我同意 hammar 的担忧并认为您应该尝试将其改为 Functor：

instance Functor (DataPoint x) where
    -- etc

你得到的错误

The first argument of `Monad' should have kind `* -> *',
but `DataPoint x dataval' has kind `*'

是因为Monad 和Functor 是适用于高阶类型的类型类（与适用于简单类型的类型类Monoid 相比）。

例如IO Int 不是单子； IO () 不是单子； IO 是一个单子。

---

我想要一个类型DataPoint，它存储一个元组(x, dataval)或两个字段x和dataval（其中x是一个Double和dataval是一个Complex Double。

data DataPoint a = DataPoint {x :: Double,
                              dataval :: a}

instance Functor DataPoint where
    fmap f dataPoint = DataPoint {x = x dataPoint,
                                  dataval = f (dataval dataPoint)}