Wie gibt ein Haskell-Listenverständnis ein Ergebnis aus, das eine ganze Zahl ist?

Question

Ich versuche, eine Liste Verständnis zu verwenden, um den Median einer Liste zu finden, die immer drei ganze Zahlen mit der folgenden Funktion enthalten:

midNum set = [x | x <- set, x /= maximum set, x /= minimum set]!!0 

Dies allein gut genug funktioniert, wie im folgenden Beispiel:

ghci> midNum [1,2,3] 
2 

aber es bläst, wenn ich versuche, es mit meinen anderen Funktionen in Verbindung zu verwenden, in den folgenden Fehlern führt:

*** Exception: Prelude.!!: index too large 

Wenn ich entferne die ‚!! 0‘, der Compiler mir diese Nachricht gibt:

Triangle.hs:4:79: error: 
* Occurs check: cannot construct the infinite type: t ~ [t] 
* In the second argument of `(+)', namely 
    `squareOf (midNum triangle)' 
    In the second argument of `(==)', namely 
    `squareOf (minimum triangle) + squareOf (midNum triangle)' 
    In the expression: 
    squareOf (maximum triangle) 
    == squareOf (minimum triangle) + squareOf (midNum triangle) 
* Relevant bindings include 
    triangle :: [t] (bound at Triangle.hs:4:9) 
    isRight :: [t] -> Bool (bound at Triangle.hs:4:1) 
Failed, modules loaded: none. 

So sieht es aus, als ob die Funktion mir eine ganze Zahl ist zu geben, aber der Compiler eine Liste erwartet. In einer anderen Sprache würde ich tippen, um das zu beheben, aber ich bin mir nicht sicher, was ich in Haskell machen soll.

Dies ist auch im Wesentlichen mein erster Sprung in Haskell, also vergib mir, wenn die Antwort offensichtlich ist.

Answer 1

aller Erstens, ich glaube nicht, das da, um funktioniert die Mindest und maximaleneine Liste, Sie minimum und maximum verwenden müssen, berechnen; nicht min und max. So eine schnelle Lösung ist:

medVal list = [out | out <- list, out /= minimum list, out /= maximum list]

and when I try to send out the 0th element within the function by adding "!! 0" to the end of the function, it tells me that that's an invalid operation for an integer.

Sie schreiben kann als:

medVal :: Ord a => [a] -> a 
medVal list = [out | out <- list, out /= minimum list, out /= maximum list]!!0

oder eleganter (und schneller):

medVal :: Ord a => [a] -> a 
medVal list = head [out | out <- list, out /= minimum list, out /= maximum list]

Dennoch, wenn Sie sicher wissen, Sie werden erhalten drei Elemente, ich weiß nicht, ob es ein gutes Design ist, eine Liste trotzdem zu verwenden: Sie könnten Definieren Sie eine Funktion mit drei Argumenten oder eine Funktion mit einem Tupel von Elementen.

Schließlich Ihre Funktion wird ein Fehler, wenn zwei oder mehr Elemente gleichwertig (wie medVal [0,0,20]) zum Beispiel sind, da sie alle Elemente herausfiltert und somit head wird ein einzelnes Element nicht gefunden.

Answer 2

eine elementare Lösung

> let midVal x y z | (z>=x)==(x>=y) = x 
        | (x>=y)==(y>=z) = y 
        | otherwise  = z 

Hinweis: Typo

Fest

Es ist abgeleitet aus der Wahrheitstabelle, sondern einfach, die Zeilen zu lesen, zum Beispiel, wenn entweder x kleiner als z ist und größer als y oder x ist größer als z und y ist größer als x (also x ist in der Mitte) usw.