36

Clojureは素晴らしいです、私たちは皆これを知っています、しかしそれはポイントではありません。Haskellのような方法で高階関数を作成および管理する慣用的な方法は何でしょうか。Clojureでは、次のことができます。

(defn sum [a b] (+ a b))

ただし(sum 1)、関数は返されません。エラーが発生します。もちろん、次のようなことができます。

(defn sum
  ([a] (partial + a)) 
  ([a b] (+ a b)))

この場合：

user=> (sum 1)
#<core$partial$fn__3678 clojure.core$partial$fn__3678@1acaf0ed>
user=> ((sum 1) 2)
3

しかし、それは先に進む正しい方法のようには思えません。何か案は？
私はsum関数の実装について話しているのではなく、より高いレベルの抽象化について話しているのです。従うべき慣用的なパターンはありますか？いくつかのマクロ？マクロを定義する最良の方法ですか、それとも代替ソリューションがありますか？

4

3 に答える 3

32

誰かがすでにClojureグループでこれを実装しています。関数が持つ引数の数を指定でき、その数になるまで関数は自動的にカレーします。

Clojureでこれがデフォルトで発生しない理由は、自動カレー関数よりも可変個引数関数を好むためだと思います。

于 2011-03-16T17:22:29.207 に答える
8

amalloyが提案する機能を少し試してみました。カレーする引数の数を明示的に指定するのは好きではありません。そこで、カスタムマクロを作成しました。これは、高階関数を指定するための古い方法です。

(defn-decorated old-sum
  [(curry* 3)]
  [a b c]
  (+ a b c))

これは私の新しいマクロです：

(defmacro defn-ho
  [fn-name & defn-stuff]
  (let [number-of-args (count (first defn-stuff))]
    `(defn-decorated ~fn-name [(curry* ~number-of-args)] ~@defn-stuff)))

そして、これは新しい暗黙の方法です。

(defn-ho new-sum [a b c] (+ a b c))

（カレー）などの痕跡がないことがわかるように、前と同じようにカレー化された関数を定義するだけです。

みんな、どう思いますか？アイデア？提案？さよなら！

アルフェド

編集：docstringに関するアマロイの問題に従ってマクロを変更しました。これは更新されたバージョンです：

(defmacro defhigh
  "Like the original defn-decorated, but the number of argument to curry on
  is implicit."
  [fn-name & defn-stuff]
  (let [[fst snd] (take 2 defn-stuff)
         num-of-args (if (string? fst) (count snd) (count fst))]
    `(defn-decorated ~fn-name [(curry* ~num-of-args)] ~@defn-stuff)))

2番目のバインディング内のifステートメントは好きではありません。それをより簡潔にすることについて何かアイデアはありますか？

于 2011-03-16T18:17:05.037 に答える
0

これにより、やりたいことができるようになります。

(defn curry
  ([f len] (curry f len []))
  ([f len applied]
    (fn [& more]
      (let [args (concat applied (if (= 0 (count more)) [nil] more))]
        (if (< (count args) len)
          (curry f len args)
          (apply f args))))))

使用方法は次のとおりです。

(def add (curry + 2)) ; read: curry plus to 2 positions
((add 10) 1) ; => 11

の条件付きは[nil]、すべてのアプリケーションがカレー状態への前進を確実にすることを目的としています。その背後には長い説明がありますが、私はそれが役に立つと思いました。このビットが気に入らない場合は、argsを次のように設定できます。

[args (concat applied more)]

JavaScriptとは異なり、渡された関数のアリティを知る方法がないため、必要な長さを指定する必要があります。これは、関数が複数のアリティを持つ可能性があるClojure[Script]では非常に理にかなっています。

于 2016-12-16T21:23:57.883 に答える