SML / NJ编写一个以匿名函数为参数的过滤器函数

Question

我被要求在SMLNJ中编写过滤器功能

filter:  ('a  ->  bool)  *  'a  list  ->  'a  list

它以函数f和列表L作为参数，并返回包含L的元素l的新列表，使得f（l）为true。

例如：

filter(fn(x  =>  x  mod  3  =  0),  [1,2,3,4,5,6,7,8,9,10])
returns  [3,  6,  9]

由于缺少ML的文档，我在此功能上停留了几个小时，

我想知道如何将第二个参数传递给第一个参数。

Answer 1

fun filter (f, []) = []
  | filter (f, x::xs) = if f x
                        then x::(filter (f , xs))
                        else filter (f , xs);

我不确定您将第二个参数传递给第一个参数的含义。