F # -Filterfunktion - der Zustand des ersten Arguments scheint umgekehrt zu sein

Question

Ich habe heute etwas seltsame Erfahrung mit der F # -Filterfunktion. Der Code ist:

let rec filter : ('a -> bool) -> 'a list -> 'a list = 
    fun isKept -> function 
     | [] -> [] 
     | (x::xs) -> if isKept x then x::filter isKept xs 
        else filter isKept xs 

let x = filter ((>) 1) [1; -5; -20; 30; -35; 40] 

Dieser Code gibt

val x : int list = [-5; -20; -35] 

Problem ist, wie ich eine Bedingung in dem ersten Argument (> 1) übergeben, erwarte ich es alle Listenelemente des zweiten ausfiltern würde Argument, die größer 1 sind, nicht umgekehrt.

Gibt es etwas offensichtlich klar, dass ich nicht erkennen konnte?

Answer 1

Ihre Filterfunktion ist in Ordnung. Das Problem ist, dass diese Codezeile:

let x = filter ((>) 1) [1; -5; -20; 30; -35; 40] 

zu diesem Code entspricht, wenn Sie eine explizite Lambda anstelle von teilweise die (>) Betreibern Anwendung:

let x = filter (fun x -> 1 > x) [1; -5; -20; 30; -35; 40] 

Der Grund dafür ist, dass die (>) Die Funktion benötigt zwei Argumente. obwohl das 1 rechts von dem (>) angezeigt wird, wird es nicht als das "richtige" Argument für die Funktion übergeben. Die Lösung ist entweder (<) zu verwenden, anstatt:

> let x = filter ((<) 1) [1; -5; -20; 30; -35; 40];; 

val x : int list = [30; 40] 

oder eine explizite Lambda-Funktion zu verwenden, um sicherzustellen, dass Sie die Argumente in der richtigen Reihenfolge anwenden:

> let x = filter (fun x -> x > 1) [1; -5; -20; 30; -35; 40];; 

val x : int list = [30; 40]