Lispマクロはどれほど便利ですか?


22

Common Lispでは、必要なソース変換を行うマクロを作成できます。

Schemeは、変換も実行できる衛生的なパターンマッチングシステムを提供します。マクロは実際にどの程度役立ちますか?ポール・グラハムは、ビーティング・ザ・アベレージズで次のように述べています:

Viawebエディターのソースコードは、おそらく20〜25%のマクロでした。

実際に人々はどのようなことをマクロでやっていますか?


これは間違いなく良い主観に該当すると思うので、フォーマットに関する質問を編集しました。これ 重複する可能性がありますが、見つけることができませんでした。
ティムポスト

1
機能に収まらないように見える反復的なものはすべて、私は推測します。

2
あなたはへのLispを有効にするマクロを使用することができます任意の 任意の構文とセマンティクスで、他の言語:bit.ly/vqqvHU
SK-ロジック

Programmers.stackexchange.com/questions/81202/…はここで見る価値がありますが、重複しているわけではありません。
デビッドソーンリー

回答:


15

2002年のLL1ディスカッションリストへのMatthias Felleisenによるこの投稿を見てください。彼はマクロの3つの主な用途を提案しています。

  1. データのサブ言語:シンプルに見える式を作成し、マクロをきちんとドレスアップして、引用、引用解除などの複雑なネストされたリスト/配列/テーブルを作成できます。
  2. バインディングコンストラクト:マクロを使用して新しいバインディングコンストラクトを導入できます。それは、ラムダを取り除き、一緒に属するものをより近くに配置するのに役立ちます。
  3. 評価の並べ替え:必要に応じて式の評価を遅延/延期する構成を導入できます。ループ、新しい条件、遅延/強制などを考えてください。[注意:Haskellや遅延言語では、これは不要です。]

18

ほとんどの場合、時間を節約する新しい言語構造を追加するためにマクロを使用します。そうしないと、ボイラープレートコードの束が必要になります。

たとえば、最近for-loop、C ++ / Javaに似た命令型が必要であることを発見しました。しかし、機能的な言語であるClojureには、すぐに使える言語が付属していませんでした。したがって、マクロとして実装しました。

(defmacro for-loop [[sym init check change :as params] & steps]
  `(loop [~sym ~init value# nil]
     (if ~check
       (let [new-value# (do ~@steps)]
         (recur ~change new-value#))
       value#)))

そして今、私は次のことができます:

 (for-loop [i 0 , (< i 10) , (inc i)] 
   (println i))

そして、6行のコードで構成される新しい汎用コンパイル時言語構成体があります。


13

実際に人々はどのようなことをマクロでやっていますか?

言語拡張機能またはDSLの作成。

Lispのような言語では、このための感触を得るためには、研究ラケットいくつかの言語を持って、バリアント:型付きラケット、R6RS、およびデータログを。

マクロを介してドメイン固有言語を作成する特定の目的のためにコンパイラパイプラインにアクセスできるBoo言語も参照してください。


4

ここではいくつかの例を示します。

スキーム:

  • define関数定義用。基本的に、関数を定義するための短い方法になります。
  • let レキシカルスコープの変数を作成します。

Clojure:

  • defn、そのドキュメントによると:

    var-metadataにdoc-stringまたはattrsが追加された(def name(fn [params *] exprs *))または(def name(fn([params *] exprs *)+))と同じ

  • for:内包表記のリスト
  • defmacro:皮肉?
  • defmethoddefmulti:マルチメソッドでの作業
  • ns

これらのマクロの多くは、より抽象的なレベルでコードを書くことをはるかに容易にします。マクロは、多くの点で、非Lispの構文に似ていると思います。

プロットライブラリIncanterは、いくつかの複雑なデータ操作のためのマクロを提供します。


4

マクロは、いくつかのパターンを埋め込むのに役立ちます。

たとえば、Common Lispはwhileループを定義しませんが、ループのdo 定義に使用できるループを持っています。

これがOn Lispの例 です。

(defmacro while (test &body body)
  `(do ()
       ((not ,test))
     ,@body))

(let ((a 0))
  (while (< a 10)
    (princ (incf a))))

これは「12345678910」を出力し、何が起こるかを見ようとすると macroexpand-1

(macroexpand-1 '(while (< a 10) (princ (incf a))))

これは戻ります:

(DO () ((NOT (< A 10))) (PRINC (INCF A)))

これは単純なマクロですが、前述のように、通常は新しい言語またはDSLを定義するために使用されますが、この単純な例から、それらを使って何ができるかを想像することができます。

loopマクロは、マクロが何ができるかの良い例です。

(loop for i from 0 to 10
      if (and (= (mod i 2) 0) i)
        collect it)
=> (0 2 4 6 8 10)
(loop for i downfrom 10 to 0
      with a = 2
      collect (* a i))
=> (20 18 16 14 12 10 8 6 4 2 0)               

Common Lispには、リーダーマクロと呼ばれる別の種類のマクロがあり、リーダーがコードを解釈する方法を変更するために使用できます。つまり、#{および#}を使用して#(および#)のような区切り文字を使用できます


3

以下は、Clojureでデバッグに使用するものです。

user=> (defmacro print-var [varname] `(println ~(name varname) "=" ~varname))
#'user/print-var
=> (def x (reduce * [1 2 3 4 5]))
#'user/x
=> (print-var x)
x = 120
nil

getメソッドが引数として非const文字列参照を取得したC ++の手巻きハッシュテーブルを処理する必要がありました。つまり、リテラルで呼び出すことはできません。対処しやすくするために、次のようなものを書きました。

#define LET(name, value, body)  \
    do {                        \
        string name(value);     \
        body;                   \
        assert(name == value);  \
    } while (false)

このような問題がLispで発生することはまずありませんが、たとえば実際の letバインディングを導入することで、引数を2回評価しないマクロを使用できることは特に便利です。(認めた、ここで私はそれを回避できたかもしれない)。

またdo ... while (false)、ifのthen-partで使用し、else-partが期待どおりに動作するように、ものをラッピングするというひどくいハックに頼っています。これはlispでは必要ありません。Lispは、構文解析を行う文字列(またはCやC ++の場合はトークンシーケンス)ではなく、構文ツリーで動作するマクロの機能です。

読みやすくなるようにコードを再編成するために使用できる組み込みのスレッドマクロがいくつかあります(並列処理ではなく、「コードを一緒に播種する」ような「スレッド処理」)。例えば:

(->> (range 6) (filter even?) (map inc) (reduce *))

最初の形式を取り、それを(range 6)次の形式(filter even?)の最後の引数にします。これは、次の形式の最後の引数になり、上記のように書き換えられます。

(reduce * (map inc (filter even? (range 6))))

最初の方がはるかに明確に読めると思います。「これらのデータを取得し、それを実行し、それを実行し、それからもう一方を実行すれば完了です」が、それは主観的です。客観的に正しいのは、実行された順序で操作を読み取ることです(遅延を無視します)。

前のフォームを(最後ではなく)最初の引数として挿入するバリアントもあります。1つのユースケースは算術です:

(-> 17 (- 2) (/ 3))

「テイク17、2を減算し、3で除算する」と読みます。

算術といえば、中置記法の構文解析を行うマクロを書くことができます。たとえば(infix (17 - 2) / 3)(/ (- 17 2) 3)読みやすくなるという短所と、有効なLisp式であるという短所があると言えます。それがDSL /データサブ言語部分です。


1
関数の適用はスレッド化よりもはるかに理にかなっていますが、それは確かに習慣の問題です。いい答えだ。
コアダンプ
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.