我正在寻找一种语言，可以提供有关函数作为对象的大量信息

Question

我正在寻找一种静态类型语言，它不仅将函数视为第一类对象，还可以读取输入数量，类型，输出数量及其类型。

我认为如果我修改了Function1特性，这可能是scala的可能，但这看起来非常优雅。

Answer 1

在静态类型语言中，该信息存在于函数类型中。如果代码类型检查，那是因为所有信息都正确匹配。

这些信息通常不是以明确的形式或在运行时提供的，但这是因为它通常不是很有用（另外，它违反了Parametricity）。如果不知道您想要什么信息，就很难提供更多建议。

Answer 2

到目前为止，我认为能够做到这一点的语言是：

Javascript，Ruby和C＃。