不了解此haskell代码中的内容

Question

我有一些haskell代码，我正在试图按自己的方式工作，但我不了解其中发生了什么。

type Bag a = a -> Int

emptyB :: Bag a
emptyB = \e -> 0

countB :: Eq a => Bag a -> a -> Int
countB b e = b e

我知道Bag类型是一个接受通用对象并返回Int的函数，而countB基本上是Bag的包装，该包装可以获取Bag中通用对象的数量。但是我真的不明白那件事。我如何修改袋子里的东西？还是包本身？从我看来，添加到书包中将是

addB :: Eq a => Bag a -> a -> Bag a
addB bag num = bag (num+bag) 

但是，当add函数要求返回bag时，这将返回int。谁能向我解释这是如何工作的？

Answer 1

条款和讨论

type Bag a = a -> Int

这里Bag不是对象。它只是一种类型-a -> Int的别名。如果您拥有类型a的值，它将计算并返回类型Int的值。而已。没有袋子，没有可以添加东西的结构。最好不要把它叫做袋子。

emptyB :: Bag a
emptyB = \e -> 0

从任何类型到常数0的函数。

countB :: Eq a => Bag a -> a -> Int
countB b e = b e

简而言之，这只是函数应用程序。将名为b的函数应用于输入e。

为娱乐和学习而重写

我感谢您可以使用函数来模仿结构-这是常见的编程语言类分配。您可以将Bag a和另一个Bag a进行合并，例如通过添加两个单独袋子的数量来返回新的countB-很酷。

...但这似乎太多了。在继续进行作业之前（我想是吗？），您可能应该对基础知识有所了解。

如果重写不带类型别名的函数，可能会更容易：

emptyB :: a -> Int
emptyB = \e -> 0
-- or: emptyB e = 0
-- or: emptyB _ = 0
-- or: emptyB = const 0

袋子或没有袋子，这只是一个功能。

countB :: Eq a => (a -> Int) -> a -> Int
countB b e = b e

接受a并产生Int的函数可以被赋予一个值（变量e的类型为a）并产生一个{ {1}}。