有“模板”概念的计算机语言只有C++吗？

知乎链接

本来只是为了抄袭Ada泛型才加上的。
后来就图灵完备了，然后就那么独特了。

模板元编程其实是通过编译时编译器的运算来减轻运行时负担，提高程序可靠性和辅助简化代码的实现。

这东西只有C++才有还不是因为后期的标准委员会迟迟不把Concepts和编译时计算加进去。
然后有不少人看不下去了，设计了D语言出来。你看D语言就没把“模板元”什么的当回事儿，因为人家支持宏、编译时计算、反射以及简单点的类型约束。