GNU make：如何编写一个真正的 lambda

Question

以下是我对 GNUmake 中 lambda 表达式的一般模拟的看法：

space := $(strip) $(strip)
comma := ,

# convert a space-separated list in $1 into a comma-separated list:
list2param = $(subst $(space),$(comma),$(strip $1))

# param $1 = quoted GUNmake expression
# param $2 = parameters to the expression as space-separated list
lambda = $(eval _lambda=$1)$(eval _lambda:=$$(call _lambda,$(call list2param,$2)))$(_lambda)

例子：

$(info $(call lambda,$$1 .. $$2 .. $$3,foo bar baz))

输出：

foo .. bar .. baz

但这并不令人满意，因为我必须在幕后使用变量“_lambda”，并且该机制并不像 lambda，因为评估没有与定义分开。是否有一种干净、直接的方法来实现 lambda？还是已经实现了一些我盲目的程序编程眼睛没有注意到的机制？

Answer 1

与任何原始替换语言一样，您可以通过引用来推迟评估。下面的示例看起来很糟糕，并且不允许您嵌套 lambda，但在其他方面有效：

define lambda
$(eval lambda-f=$1)lambda-f
endef

$(foreach n,1 2 3,$(call $(call lambda,$$(info $$(shell seq -s ' ' $$1))),$n))

通过修改如下语法可以（可以说）重新获得一些可读性：

define lambda
$(eval lambda-f=$(subst ^,$$,$1))lambda-f
endef

$(foreach n,1 2 3,$(call $(call lambda,^(info ^(shell seq -s ' ' ^1))),$n))