小编Bil*_*ter的帖子

我在 Haskell 中有以下两种类型签名：

foo :: (a -> (a,b)) -> a -> [b]

bar :: (a -> b) -> (a -> b -> c) -> a -> c

我想编写这两个函数的具体实现，但我真的很难理解从哪里开始。

我知道它foo需要一个函数(a -> (a,b))并返回a一个包含b.

并bar接受一个函数(b -> c)，该函数返回一个(a -> b -> c)最终返回a和的函数c。

谁能告诉我一个具体实现的例子？

我怎么知道从哪里开始这样的事情以及定义的左侧是什么？