Haskell语法与函数，特别是findMin函数

Question

我正在努力与Haskell的语法。这很简单，但我卡住了。

我想写一个findMin函数，它需要一个列表并找到最小值。这是我的代码，我尝试了很多语法的东西，我可以获得任何帮助。

findMin [] = [0] 
findMin list = if any < head list then findMin(tail) else take 1 

而我得到各种类型的错误。什么问题？

（如果它有助于在所有我在面向对象编程背景）

Answer 1

我看到你有东西在评论想通了，但我会添加一些东西在这里希望能够提供帮助。我也觉得我应该很快提到，Haskell已经有一个minimum函数，以防万一任何人不情愿地试图学习这门语言，并且实际上需要某种功能。

首先我们来谈谈类型。我通常会想到findMin风格的函数返回一个列表内的最低值，而不是值，因此类型将是： 前findMin :: (Num a, Ord a) => [a] -> a

的事情=>添加上下文的功能类型。这限制了所有a只能是有秩序的东西（否则我们怎么能找到最小值）。其次Num a势力a是一个数字，这是必要的，因为你指定空列表的情况应该是0.

我会解释2种其他方式来编写findMin函数，试图使它们更简洁你的定义（Haskell的好处之一是它可以是多么的简洁，我也发现它有助于学习看到多种可能性）。第一个将使用递归和第二个守卫将使用列表理解。

我们不能用findMin [] = 0做很多事情，所以我们会进入带有东西的列表。

我们需要小心的递归定义，因为最终我们将评估，一定可以得到0，所以我们需要通过定义一个值的情况下，停止之前的递归： findMin [x] = x

当传递列表作为一个函数的参数，你可以分离出它的元素并给它们分别命名，所以(x:xs)意味着一个值x是第一个元素后跟元素列表xs。

对于这个定义，我们将定义自己的前两个元素，然后将其余元素：

findMin (x:y:xs) 
    | x < y = findMin (x:xs) 
    | otherwise = findMin (y:xs) 

卫兵让我们有根据条件的函数的多个定义。如果x < y我们想摆脱y，因为它不能是最小值，所以我们找到最小值x和其余元素xs。如果x不小于y那么最小值是y或xs中的一个值。

定义此功能的第二种方法是使用列表理解（这是我最喜欢的，因为它特别简洁）。

我们不使用递归，所以我们不需要为一个元素的情况下，我们可以保持我们定义一个空列表，并直接与元素的任何名单：

findMin xs = head [x | x <- xs, all (>= x) xs]

那么，什么是去这里？ [x | x <- xs]创建了一个x值的列表，其中x是来自xs的所有元素。然后，我们添加一个条件来说，如果all (>= x) xs意味着如果xs的所有元素大于或等于xs，我们只需要这些值。

这会产生一个最小元素列表。如果最小出现一次，这可能有一个元素，或者如果出现多次，可能有几个元素。无论哪种方式，他们都是一样的，所以我们只是采取第一个使用head。

希望这会有所帮助，并希望你有兴趣学习Haskell。随意问，如果您有任何疑问:)

Answer 2

在ghci的这个功能似乎做你的绝招：

let findMin x = if length x > 1 then min (head x) (findMin (tail x)) else head x 

我学习，我试着回答这里的一些问题，所以任何反馈会赞赏。