問題タブ [arity]

についてどのようにone_arg知ってい&sますか?

私はジェネリック型を持っています：

そして、与えられたディクショナリタイプに対してこのクラスのインスタンスを作成する（すべき）ファクトリメソッド。

無関係なものをすべて取り除きます-このコードでさえ同じ例外をスローします。

アサートはパスするので、それTは一般的であり、2つの一般的な引数があることがわかります。MakeGenericTypeただし、次の行は次の場合を除きます。

提供されるジェネリック引数の数は、ジェネリック型定義のアリティと同じではありません。

パラメータ名：インスタンス化

私は過去にこの種のことをしたことがありますが、この場合、なぜこれが機能しないのか理解できません。（さらに、私はグーグルのアリティにならなければなりませんでした）。

Javascript では、関数に定義された仮パラメータの数をどのように判断できますか?

これはarguments、関数が呼び出されたときのパラメーターではなく、関数が定義された名前付き引数の数であることに注意してください。

私はswiプロローグを使用しています。アリティ 4 のファクトで構成される、このようなファクト ベースがあります。

そして、私のコードは、 pbayes(yes,no,no,no,Result); を呼び出したときに Result の確率を計算します。

コードを一般化して、さまざまなアリティの問題を解決しようとしています。

アリティ カウントなどは、実際には次のように 6 になります。

私のプログラムは、アリティに合わせて調整する必要があります。どうすればこれを達成できるか分かりますか？

コードをより動的にしようとしています。次の内容のファイルがあります。

そして、すべてを見つけたらb1、次のようなリストを作成します。

ファイル内でアリティが変わると、たとえば に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 では動作しません。move_file(["foo.txt", "foo_20110915.txt"])Ruby 1.9 では、 の代わりに実行しようとしていますmove_file("foo.txt", "foo_20110915.txt")。

正しいアリティを持つように分割するにはどうすればよいですか?

私が知っている回避策：

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)}

スキームについて質問があります。私は言語にかなり慣れていないので、質問はかなり一般的です。

再帰関数を定義せずに、Map (またはそのようなもの) を使用して 2 つのパラメーターのリストを関数にフィードし、出力から単一の新しいリストを生成することは可能ですか?

たとえば、私が持っていたとします：

そして、何らかの方法で + 関数をマップし、出力が新しいリスト lst3 になるように、各リストをパラメーターとして指定します。

質問をもう少し簡潔に述べると、両方のパラメーターがリストである場合、2 項関数を最も効率的にマップするにはどうすればよいでしょうか?

助けてくれてありがとう！

arity :: a -> Integer任意の関数のアリティを決定する関数を書くことは可能ですか?

?