functional-programming - 使用 foldr 简化功能（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类型。您可以在匿名函数中执行此操作。此外，切换x和y输入orelse将为您节省一些机器时间，因为如果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