问题标签 [arity]

怎么one_arg知道&s？

我有一个通用类型：

还有一个工厂方法，它将（应该）为给定的字典类型创建这个类的一个实例。

去掉所有无关的东西——即使这段代码也会抛出同样的异常。

断言通过了，所以我知道这T是通用的并且有两个通用参数。但是，该行MakeGenericType除外：

提供的泛型参数的数量不等于泛型类型定义的数量。

参数名称：实例化

我过去做过这种事情，我一生都无法弄清楚为什么这在这种情况下不起作用。（加上我不得不谷歌arity）。

在 Javascript 中，如何确定为函数定义的形式参数的数量？

请注意，这不是arguments调用函数时的参数，而是定义函数时使用的命名参数的数量。

我使用 swi prolog。我有一个像这样的事实基础，由 4 的事实组成。

当我调用 pbayes(yes,no,no,no,Result); 时，我的代码会计算 Result 的概率。

我尝试概括我的代码来解决不同的问题。

例如 arity 计数实际上可以是 6，如下所示：

我的程序必须自行调整以适应 arity。你知道我怎么能做到这一点吗？

我试图让我的代码更加动态。我有一个包含以下内容的文件：

当我找到 allb1时，我列了一个这样的列表：

当文件中的 arity 发生变化时，例如，当a(b1,c1,d1)变为时a(b1,c1,d1,e1)，我的代码不起作用。有没有办法解决这个问题？我正在使用 SWI-Prolog。

我是 Scala 的新手，能够将函数传递给其他函数非常简洁——但是我可以将任意函数引用传递给另一个函数吗？所述功能参数的元数将是固定的（也就是说，我也很好奇您是否也可以传递具有任意元数的函数）。我一直被类型错误绊倒。我试过使用Any，但似乎没有帮助。

例如，我有以下代码：

我得到：

现在，假设我想传递以下函数：

我怎样才能改变我的CodeRunner班级来处理这两个问题？

有没有办法在运行时找出一个函数有多少输入（参数、参数）？

说，我想：

&method(:method_name)当. 需要多个对象时，我想使用这个成语method_name。我可以在 Ruby 1.9 下执行此操作吗？

例如，如果我有

编码

在 Ruby 1.8 下工作，但不能在 Ruby 1.9 下工作。在 Ruby 1.9 下，它试图move_file(["foo.txt", "foo_20110915.txt"])代替move_file("foo.txt", "foo_20110915.txt").

我如何对其进行 splattify 以使其具有正确的数量？

我知道的解决方法：

1. 替换def move_file(old_filename, new_filename)为def move_file(*arguments)
2. 替换each(&method(:move_file))为
   each{|old_filename, new_filename| move_file(old_filename, new_filename)}

我有一个关于 Scheme 的问题。我对这门语言相当陌生，我的问题相当笼统：

是否可以在不定义递归函数的情况下使用 Map（或类似的东西）将两个参数列表提供给一个函数，从输出中生成一个新列表？

例如，假设我有：

然后我想以某种方式映射 + 函数，将每个列表作为参数提供，这样输出将是一个新列表 lst3：

更简洁地说明这个问题：当两个参数都是列表时，如何最有效地映射二元函数？

感谢您的任何帮助！

是否可以编写一个函数arity :: a -> Integer来确定任意函数的数量，使得

?