Hatena::Groupcadr

わだばLisperになる このページをアンテナに追加 RSSフィード

2004 | 12 |
2005 | 01 | 02 | 07 | 10 | 11 |
2006 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2007 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2008 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2009 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2010 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2011 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 11 |

2008-02-18

マクロ

19:23 | マクロ - わだばLisperになる を含むブックマーク はてなブックマーク - マクロ - わだばLisperになる

計算機科学の専門家のブログエントリにプログラムも禄に組めないおっさんが反応するというのも畏れ多いのですが、なんとなく…。

あろはさんのマクロについてのエントリを読んでなるほど、なるほど、と共感する一読者なのですが、ただ「Lisp みたいに,最初から高級な言語を使うと,むしろマクロの位置付けがわかりにくいのではないか…」というところだけ共感できなかったのですね。それでエントリを書いてみました。

しかし、結局マクロについて言いたいことは同じです、すいません(^^;

Lispでマクロというと、Common Lispのような伝統的マクロや、パターンマッチのマクロの等、色々あると思うのですが、Emacs Lispや、Common Lispのような伝統的マクロは、書いていてまさに

マクロというのは,略記法のことであり,それ以上でもそれ以下でもない.
コードのまとまりに名前を付けておいて,ひとつメタな立ち位置からコードを生成する.
計算能力自体は増えない.ただ,人間が書きやすく,読みやすくなる,それだけ.

という感じがして、個人的には十分に低級だと思うのですが、一般的にはどうなのでしょう。

例として取り上げられているラムダ計算もまさにLispのマクロ的操作だなと思えました。

ただ、自分は、いつも単純にS式を切ったり貼ったりしてるだけなので、そう思うのかもしれません。

マクロの書といえば、On Lispが有名ですが、その著者のPG氏はどう考えているかといえば、「タイプ量を減らすことがマクロのすべて」とも言ってたりするので、この人も結構、単純に捉えてるんじゃないかな、と勝手に想像しています。

ただ,人間が書きやすく,読みやすくなる,それだけ.

というのも非常に示唆に富んでいると思います。文脈を考慮しないで、ただテキストを置換しただけでは、往々にして人が意図したものとは違う動きになってしまい、なかなか制御することが難しいことになると思うのですが、Lispのマクロは、この辺を人が扱えるように最低限のお膳立てをしてくれて、「ただ単純にペタペタ切り貼りしてるだけ」の感覚を提供しているシステムなんじゃないのかなあと思うのです。

ただ、この点では、マクロのシステムだけで完結する問題でないことは確かで、Lispのように単純にS式を直接操作するようなもので無ければ、ユーザが、ペタペタ切り貼りすることも難しくなり、お気楽にマクロを書くことも難しいんじゃないかと思います。

また、「すぐに訳の分からない俺文法プログラムができる」というマクロへの批判が良くあるかと思いますが、文法があるようなないようなLispでは、書かれたマクロが新しい俺文法を持つとは限りません。

どっちかというと俺文法を持った個性の強い「略記法以上のもの」が批判の対象になることが多い気がするので、(Common LispのLOOPとか。)そういう意味では、Lispでも「略記法以上のもの」はそんなに好ましいものと思われていないのかもしれません。

つまり、無くても済むのに、敢えて作られた俺文法が批判されているわけですが、逆に確固とした文法がある言語では、言語の作法を熟知していないユーザが新しい俺文法を作ってしまわないことの方が難しいかもしれず、マクロがあっても禄なことが無いのかもしれません。

…という風に長々と脱線しつつ書いてみましたが、マクロって「略記法以上のもの」じゃないと自分も共感するエントリでございます。

家出する局所関数

| 15:05 | 家出する局所関数 - わだばLisperになる を含むブックマーク はてなブックマーク - 家出する局所関数 - わだばLisperになる

もうネタ切れなので、今回はイディオムってよりはただのネタです。

CL策定のためのメーリングリストの1981〜83年頃のメールを眺めててみつけたものです。

元は、レキシカルクロージャ万歳ということで、labelsから定義した関数を外に返してるという例なんですが、ちょっとアレンジしてみました。

;; CL
(mapcar (labels ((fib (n &optional (a1 1) (a2 0))
		   (cond ((zerop n) 0)
			 ((< n 2) a1)
			 ('T (fib (1- n) (+ a1 a2) a1)))))
	  #'fib)
	'(0 1 2 3 4 5 6 7 8 9 10))

;=> (0 1 1 2 3 5 8 13 21 34 55) 

;; Scheme
(map (letrec ((fib 
	       (lambda (n a1 a2)
		 (cond ((zero? n) 0)
		       ((< n 2) a1)
		       (else (fib (- n 1) (+ a1 a2) a1))))))
       (cut fib <> 1 0))
     (iota 11))

;=> (0 1 1 2 3 5 8 13 21 34 55)

他に

(define fib
  (letrec ((f (lambda (c a1 a2)
		(cond ((zero? c) 0)
		      ((< c 2) a1)
		      (else (f (- c 1) (+ a1 a2) a1))))))
    (cut f <> 1 0)))

なんてのも考えてみましたが、Schemeだと、

(define (fib n)
  (define (f c a1 a2)
    (cond ((zero? c) 0)
	  ((< c 2) a1)
	  (else (f (- c 1) (+ a1 a2) a1))))
  (f n 1 0))

と書けるので、なんの意味もないですね(笑)

ArcでL-99 (P14 各要素を2つずつに複製)

| 14:40 | ArcでL-99 (P14 各要素を2つずつに複製) - わだばLisperになる を含むブックマーク はてなブックマーク - ArcでL-99 (P14 各要素を2つずつに複製) - わだばLisperになる

リストの各要素を2回繰り返したリストを返せというお題です。

要素を2倍したリストをjoin(append)するのではなくて、ちょっと捻ってconsを2回することにしてみました。

(def dupli (lst)
  ((afn (lst acc)
     (if no.lst
	 rev.acc
	 (self cdr.lst
	       (let f [cons car.lst _]
		 f:f.acc))))
   lst () ))

(dupli '(a b c c d))
;=> (a a b b c c c c d d)

;; 短かく
(def dupli (lst)
  (and lst `(,lst.0 ,lst.0 ,@(dupli cdr.lst))))

ゲスト



トラックバック - http://cadr.g.hatena.ne.jp/g000001/20080218