如何在Haskell中定义绵羊？

Question

我正在阅读这个monad教程.我正在尝试实现Sheep可以使用本教程.

我试过这个

-- No Sheep or Name, Father Sheep, Mother Sheep
data Sheep = Nothing | String Sheep Sheep

但它不起作用.

Answer 1

构造函数定义的第一部分是构造函数的名称.其论点的类型就在此之后.此外,如果构造函数没有参数,则名称后面没有任何内容,因此没有"Nothing".因此,如果我们将您的构造函数命名为"NoSheep"和"Sheep",那么它将是:

data Sheep = NoSheep | Sheep String Sheep Sheep