makefile - makefile 图灵完整吗？

Question

最近在工作中，我一直在进行一些从 Makefile 到替代构建系统的转换。我在某些地方看到过一些使用函数式映射、过滤器和 foreach 结构的非常复杂的 Make 代码。这让我感到惊讶，因为我认为构建脚本应该尽可能具有声明性。

无论如何，这让我思考:Makefile 语言(具体来说是最新的 GNU make)图灵完备吗？

Answer 1

是的，请参阅this 。一旦有了 lambda，一切就开始走下坡路了。

这是一个plagiarized斐波那契示例

这应该足以为更通用性奠定基础(我必须回去工作，否则我会玩更多。)

dec = $(patsubst .%,%,$1)

not = $(if $1,,.)

lteq = $(if $1,$(if $(findstring $1,$2),.,),.)
gteq = $(if $2,$(if $(findstring $2,$1),.,),.)
eq = $(and $(call lteq,$1,$2),$(call gteq,$1,$2))
lt = $(and $(call lteq,$1,$2),$(call not,$(call gteq,$1,$2)))

add = $1$2
sub = $(if $(call not,$2),$1,$(call sub,$(call dec,$1),$(call dec,$2)))
mul = $(if $(call not,$2),$2,$(call add,$1,$(call mul,$1,$(call dec,$2))))
fibo = $(if $(call lt,$1,..),$1,$(call add,$(call fibo,$(call dec,$1)),$(call fibo,$(call sub,$1,..))))
fact = $(if $(call lt,$1,..),.,$(call mul,$1,$(call fact,$(call dec,$1))))

numeral = $(words $(subst .,. ,$1))

go = $(or $(info $(call numeral,$(call mul,$1,$1)) $(call numeral,$(call fibo,$1)) $(call numeral,$(call fact,$1)) ),$(call go,.$1))

_ := $(call go,)

这会打印出平方数、斐波那契数和阶乘。数字大小似乎有 16 位限制。真糟糕。