SML / NJ中的高阶函数

Question

我正在寻找问题的帮助。 我正在尝试编写一个传递ML中的列表和函数的函数。 基本上，程序应该做的是列出并运行该函数中的每个元素。 如果函数返回true，则将元素添加到列表中，并在函数完成执行后返回列表。 这是我的代码：

fun select(x:list, funct)=      (* Define a new function that accepts a list and the prime function as a parameter*)
    while (tl(x) not nil) do(       (*While the tail is not empty*)
            if funct(hd(x)) then    (*Then run the function with the the head*)
                    val l = l::hd(x)        (*Adds the head of x to the list *)
            (*else 1+tl(x)*));

任何帮助将不胜感激。

Answer 1

一些提示：

• 您几乎永远不会在ML中使用循环。 任何时候需要迭代时，请编写一个递归函数。
• 您很少需要指定类型。 在这种情况下，ML可以从您正在调用tl(x)的事实推断出x必须是一个列表。
• 通常不使用hd(x)和tl(x)分解列表，而通常使用函数参数中的模式匹配来执行此操作。 代替单个参数x ，将参数写为x::xs ； x将被分配到列表的开头， xs被分配到列表的xs 。
• 您可以使用不同的模式编写多个函数定义，而不必使用条件语句来检查参数的结构（在这种情况下，列表是否为空）。 ML会一一尝试，直到找到合适的为止。
• 函数的主体必须是一个表达式 ，该表达式的计算结果为您的返回值。 ML中的所有内容都是表达； 即使if x then a else b本质上是一个返回a或b的函数。

请牢记所有这些，以下是一些入门知识：

fun select([], funct) = []
|   select(x::xs, funct) = ...

这里的两种情况代替了while条件-只有当列表为nil时，才会评估第一种情况。 第二种情况下的模式会自动为列表的开头和结尾分配值。 该定义旨在递归； select([],funct)=[]是您的基本情况，而select(x::xs,funct)=...应该包括对select(xs,funct)的调用。

Answer 2

列出并通过函数运行每个元素。 如果函数返回true，则将元素添加到列表中，并在函数完成执行后返回列表。

这正是内置的List.filter函数。 无需重新发明轮子。