咖喱函数，它接受一个函数和作为输入元组的列表

Question

我试图限定咖喱函数，它接受一个函数和元组作为输入的列表，并返回一个布尔值

例如

values(fn (x,y:int)=>(x-y) [(5,0)]; 
val it = true:bool 

但我的问题是我不知道如何通过一个动态函数作为argument.is有可能???帮我out.i是一个初学者。

谢谢

Answer 1

您可以像传递任何其他值一样传递函数。例如：

fun values f []  = ... 
    | values f (x::xs) = ... 

然后可以使用f，就好像它是一个在函数外定义的函数一样。

作为相关例子，这里是一个函数，它接受一个x和功能[f1, f2, ..., fn]列表，并应用于各功能以在列表中x：

fun values x [] = [] 
    | values x (f::fs) = f x :: values x fs