我正在寻找一种静态类型语言，它不仅将函数视为第一类对象，而且可以读取输入的数量及其类型，以及输出的数量及其类型。
我认为如果我修补 Function1 特征，那么 scala 可能会实现这一点，但这似乎很不优雅。
问问题
52 次
2 回答
1
在静态类型语言中，该信息存在于函数的类型中。如果代码类型检查，那是因为所有这些信息都正确匹配。
确实，该信息通常不能以显式形式或在运行时提供，但那是因为它通常没有用处（此外，它违反了Parametricity）。在不知道您想要这些信息的目的的情况下，很难提供更多建议。
于 2012-08-08T18:48:20.690 回答
0
到目前为止，我认为能够做到这一点的语言是：
Javascript、Ruby 和 C#。
于 2012-08-11T18:32:54.743 回答