問題タブ [arity]

haskell でプログラミングする場合、この:typeコマンドは非常に役立ちます。関数のアリティとシグネチャを知ることで、ある構造の目的をすぐに理解できます。例えば：

関数のアリティを知るための clojure に相当するものはありますか (型は clojure では関係ありません)。

たとえば、(-) と (*) が可変アリティを持っていることに気付くまで、一見すると次の構成を理解するのは簡単ではありませんでした。

(具体的には) で複数アリティ関数printfを呼び出すのに問題があります。java.io.PrintWriterSystem.out

私はこのコードを持っています。

一連のマップがあります ({:id, :name, :price} {} {})。私が指定した :name のマップを見つける必要があります (マッチング ムービー)。私が与えるとき

中身はどこ

次の例外が発生しています。:

clojure.lang.ArityException: 間違った数の引数 (0) が渡されました: PersistentArrayMap AFn.java:437 clojure.lang.AFn.throwArity AFn.java:35 clojure.lang.AFn.invoke C:\Users\Shalima\Documents\ Textbooks\Functional Programming\Programs\Assignment5.clj:53 file.test/get-movie C:\Users\Shalima\Documents\Textbooks\Functional Programming\Programs\Assignment5.clj:77 file.test/eval6219

私はしばらくこれに座っていましたが、何が悪かったのかまだわかりません。ここで何が間違っていますか？

2 つの事実が複雑な用語を使用して表現されていることは理解していますが、これもまた複雑な用語を引数として持っています。ターム内にネストされた 3 つのレベルのタームがあります。

vertical(line(point(X,Y), point(X,Z))).

horizontal(line(point(X,Y), point(Z,Y))).

これは、他の複雑な項がネストされているため、全体的な複雑な項のアリティが 1 であることを意味しますか?

ソースコードを見ずに関数のガードを見る方法はありますか?

与えられた関数の例 (Elixir):

ソース コードにアクセスせずに、divide/2 にガードがあることをどのように判断するのでしょうか? また、そのガードに関する情報や、そのガードがパターン マッチに期待するものを見つけるにはどうすればよいでしょうか?

Ruby Conf 2014 で Chris McCord (Elixir の Phoenix Framework の作成者) の講演を見ていました。講演の中で Chris はガードについて説明していて、誰かが関数のガードを表示する関数を検査する方法があるかどうか尋ねました。

これはトークからの質問です：

https://www.youtube.com/watch?v=5kYmOyJjGDM&t=5188

ビデオの t= 時間の直後に質問されます。

このステートメントの実行順序と考えられる結果は次のとおりです。leap = year%4 == 0;

(左側の部分は割り当てで、右側の主張は?) グレゴリオ暦の任意の日付の曜日を計算するために使用される次のアルゴリズムからの抜粋:

Agdaでアリティジェネリック関数を書く方法は? 完全に依存し、ユニバースのポリモーフィックなアリティジェネリック関数を書くことは可能ですか?