使用折叠器来简化功能(SML / NJ)

Question

我有这个函数

fun exist p M = foldr( fn(x,y) => x orelse y ) false (map p M)

我需要只使用 foldr 函数来编写它，但只能调用 foldr 一次。我对如何处理这个问题感到困惑。我需要修改我的阴离子功能吗？

Answer 1

是的，您需要修改匿名函数。您可以在其中调用p。

fun exist p M = foldr (fn (x, y) => y orelse (p x)) false M

map代码中将值转换为bool类型。您可以在匿名函数中执行此操作。此外，在orelse中切换x和y将为您节省一些机器时间，因为如果找到满足p的值，p将不会在其余M上执行。

- fun exist p M = foldr (fn (x, y) => y orelse (p x)) false M;
val exist = fn : ('a -> bool) -> 'a list -> bool
- exist (fn e => e = 1) [2,3,4];
val it = false : bool
- exist (fn e => e = 1) [2,3,4,1,2,3,4];
val it = true : bool

---

foldr需要 3 个参数

1. 折叠列表的功能。它需要元组参数(x, y)，其中x是列表中的当前值，y - 到目前为止，值列表已被折叠到。
2. 起始值。它将作为y传递给第一个第一个参数函数以及列表的最后一个值。
3. 列表要折叠。此列表的每个值(从最后一个开始(将作为x传递给第一个参数函数。

foldr将为传递列表的每个元素调用折叠函数。

调用折叠(此处anon称为(函数以exist (fn e => e = 1) [2,1,4];调用：

anon (4, false);                              // here `false` is the false passed to `foldr`; returns false
anon (1, false orelse (p 4));                 // (p 1) -> true; returns true
anon (2, (false orelse (p 4)) orelse (p 1));  // returns true becuase `true or (p 2)` is true