programming-languages - オブジェクトとしての機能について多くの情報を提供できる言語を探しています

Question

関数をファーストクラスのオブジェクトとして扱うだけでなく、入力の数とその型、出力の数とその型を読み取ることができる静的に型付けされた言語を探しています。

Function1トレイトにモンキーパッチを適用した場合、これはscalaで可能になると思いますが、それはかなりエレガントではないようです。

Answer 1

静的に型付けされた言語では、その情報は関数の型に存在します。コードタイプチェックの場合、それはすべての情報が正しく一致しているためです。

その情報は通常、明示的な形式または実行時に利用できないことは事実ですが、それは通常は役に立たないためです（さらに、パラメトリシティに違反します）。何のための情報が欲しいのかを知らずに、これ以上アドバイスを提供するのは難しいです。

Answer 2

これまでのところ、これを実行できると私が信じている言語は次のとおりです。

Javascript、Ruby、C＃。