【发布时间】:2011-11-09 13:29:29
【问题描述】:
Variadic functions 是否源自特定语言、数学、科学文章……?有什么想法吗?
【问题讨论】:
-
“类型理论是对类型系统的研究,尽管编程语言的具体类型系统源于计算机体系结构、编译器实现和语言设计的实际问题。” -- en.wikipedia.org/wiki/Type_system
-
@tripleee 抱歉,我说的是可变参数函数的概念,而不是类型论。
-
很抱歉没有解释我的思路。我基本上想说的是(我的直觉是)当编程语言开始进行类型检查(带有类型参数的函数签名)时,它们自然而然地出现了,而且我认为你找不到参考更详细地证明这一点。但我真的不知道答案,我只是猜测。当我研究这个时,维基百科的引用出现了,似乎在某种程度上证实了我的想法。
-
@tripleee 我明白了。确实有道理。
标签: history variadic-functions