Haskell中的最小值（不包括0）

Question

我将元组列表，例如[（45.4，[9.0]），（0，[9.1]）]传递到将获得最小的元组的函数中

这是我到目前为止的代码

minr :: (Ord a) => [a] -> a 
minr [] = error "List is empty"
minr [x] = x  
minr (x:y:xs) = if x < y then 
                   if x > 0 then minr(x:xs) 
                   else minr(y:xs)
               else minr(y:xs)

我可以在没有x> 0的情况下使用该函数，但该函数将正常工作，但是当我尝试使用> 0进行比较时，它将不起作用。

修复我在比较之前删除了0，并且我知道比较由于类型声明而无法正常工作，感谢您的帮助

Answer 1

因为你的清单列表a是通用的（而不是数），哈斯克尔不能让你只是把它比作0 ...你可以尝试设置(Num a, Ord a)作为约束。

您当前的代码根本不会处理元组，但是我会让您自己解决这个问题。

Answer 2

由于您的示例正在数组上操作，因此不确定元组部分，但是这里有一个选项：

 foldl (\a x -> if x==0 then a else min x a)  (maxBound :: Int) [9,15,12,0,5,6,7,8,9]

结果为5。对于空数组，它返回maxBound，这是一个非常大的数字。

Answer 3

也许不是最有效的方法，但足够简单。 首先过滤掉零值。 然后，将其余的按升序排序，并取第一个（ head ）。

对于空列表，包括具有全零值的列表的情况， head将出错。 根据问题陈述/要求，这是明确定义的。

因此考虑

import Data.List

minr :: (Ord a, Num a) => [(a,[a])] -> (a,[a])
minr = head . sort . filter (\(y,_) -> y /= 0)  

所以

λ> minr [(45.4, [9.0]), (0, [9.1]), (7,[1.2])]
(7.0,[1.2])

然而

λ> minr []
*** Exception: Prelude.head: empty list

λ> minr [(0.0, [9.0]), (0, [9.1]), (0,[1.2])]
*** Exception: Prelude.head: empty list

Answer 4

这是我得到的答案，可能不是很好，但是有效

newlist = filter condition tuplename
 where condition (n,_) = n > 0