erlang - 什么是列表 :zf/2 (Erlang)?

Question

为什么 lists:zf/2 是 Erlang 中 filtermap/2 的别名？
这是列表中未记录但已导出的函数:模块。这是实现:

zf(F, L) ->
    filtermap(F, L).

我感到困惑的是:

这是为了什么？

“zf”代表什么？ “策梅罗-弗兰克尔”？

Answer 1

正如 Erlang 的共同发明者 Robert Virding，wrote in 2016 :

The lists:zf/2 function came before list comprehensions and is a combination of map and filter. Like describing a set from a set of rules. Hence the Zermelo-Fraenkel based name. It is also called lists:filtermap/2 but where’s the fun in that?

所以，你的猜测是绝对正确的。