memo
ソーシャルブックマークを使えば良いんでしょうけども・・・。はてブ？delicious？
2010/04/18
9LISP - 012, 013, 014
012
高階関数の練習問題などをやりました。高階関数の例題がなかなか思いつきませんでした。木構造関連の例題をやりました。何か良い例題というか問題はないでしょうか・・・。午後は量子論。
- 2010-03-21 - このブログは証明できない。
- 量子力学に関するここ数日のTwitterまとめ。 - このブログは証明できない。
- Life_Sketch(Relm りるむ){}: #9Lisp 12 に参加してきました。
013
マクロに入りました。どのように進めて行くか話合いました。
何を作るか話し合いました。
- ネタっぽい言語を実装してみる
- DSL
- S式を「箱とポインタ記法」で出力するとか
- Karetta|Gaucheプログラミング(立読み版)|すべてリストである
- PostScript
午後は、きゅーりすぷたん検討会。（こっちの方が盛り上がったかもしれない）
014
- Common Lisp処理系を入れましょう（次回までに）
- CMUCL, SBCL, CLISP,
AreglloAllegro Common Lisp, など - Common LispとSchemeについて違いを少々
- t, nil, (car '()), undef, defun, dynamic-scope, funcall, setf, zerop, など
- quote類について
- quote, quasiquote, unquote, unquote-splicing, など
- vallog: quasiquoting
書けばイメージもそれなりに湧くはず、ということで。マクロは書かないと書けるようにはならない。たぶん。
- とにかく書いてみよう（次回まで）。
- if, let, named-let, when, unless, while, for, pop, push, define, など
- LOLの7章を参考にPostScriptを実装してみる
例えば、PostScriptのこんなコードが・・・、
| /x 10 def /y 10 def x y moveto 5 5 lineto |
| ((let ((x 10) (y 10)) (lambda (x1 y1) (moveto x y) (lineto x1 y1))) 5 5) |
私の端末には、CLISP, SBCL, AllegroCLが入っています。Emacs＋SBCL＋SLIMEでやってみることにします。そういえば今回、これがLISPだ! (Information & computing (30)) を始めて目にしました。
![初めての人のためのLISP[増補改訂版]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_ukMAk5dg0utK72NNcKzmJKxr_SsqZmFgZa_W5Zw-FY1A_jztlxmJXYyYzI5fd3nLphStF8jNS-DWfF6KD_3z102Q2IUIe_P9OXaaSrPP-uHAGDpBzrr8_IFVJXXVwcy3Pt1Q=s0-d)
quasiquoting
さっそく、マクロに使うテクニックを。クォートが4種類あります。それぞれの名前は覚えていません。
より
|
2010/04/17
自転車置場の議論 (bikeshed discussion)
さっき@toshi_aさんに教えてもらいました。面白かったのでメモ。
役人の数は仕事量が減ろうが、増え続ける
人間観察のパーキンソン則は、現代でも廃れていない！
有名な格言（？）の元ネタにあたって、ともあれ満足
社会科学を科学しよう
社会科学を科学しよう
「瑣末なことほど議論が紛糾する現象」
プログラミングの世界では、インデントの数や括弧の前後の空白など、「自転車置場の議論」がごろごろと転がっています。
C.N.パーキンソン
至誠堂
売り上げランキング: 32539
至誠堂
売り上げランキング: 32539
おすすめ度の平均: 
役人の数は仕事量が減ろうが、増え続ける 人間観察のパーキンソン則は、現代でも廃れていない！ 有名な格言（？）の元ネタにあたって、ともあれ満足 社会科学を科学しよう 社会科学を科学しよう2010/04/13
LOL tree-leaves
これはtree-leaves%%までで十分だと思いましたが、どうなんでしょう。
ところで、Gaucheで書くにあたり、何の気なしにfold-rightで書きましたが、これだとLOLに書かれているようなドットリストではうまくいきませんね。
このtree-leavesのところで「アナフォラ」という単語が出てきました。アナフォリックマクロ楽しみです。
予測できる使い方の範囲では、これが最も直感的で贅肉のない方法だと思う。らしい。個人的には、むしろ直感的でなくなっているように思いますが・・・。
ところで、Gaucheで書くにあたり、何の気なしにfold-rightで書きましたが、これだとLOLに書かれているようなドットリストではうまくいきませんね。
このtree-leavesのところで「アナフォラ」という単語が出てきました。アナフォリックマクロ楽しみです。
2010/04/11
LOL flatten
2010/04/10
LOL mkstr, symb, group
mkstr, symb, groupはLet Over Lambdaで必要になるユーティリティ関数です。On Lispよりのものだそうです。On Lispは見事に積読中。
internってなんぞ。symbの最後がvaluesなのもなぜだろう。わからないけど取り合えず放っておきます。以下コードはOn Lispより。
Gaucheで。（util.listに、groupと同等のslicesがあるそうです）
call-with-string-output-port・・・ってどこにあるんだろう。
LOLはあの調子ですから読むのはサクサクなのですが、書くのが全然追いつきません。
Gaucheで。（util.listに、groupと同等のslicesがあるそうです）
call-with-string-output-port・・・ってどこにあるんだろう。
(cut cons (+ a 1) <>) ≡ (lambda (x2) (cons (+ a 1) x2))
(cut list 1 <> 3 <> 5) ≡ (lambda (x2 x4) (list 1 x2 3 x4 5))
(cut list) ≡ (lambda () (list))
(cut list 1 <> 3 <...>)
≡ (lambda (x2 . xs) (apply list 1 x2 3 xs))
(cut <> a b) ≡ (lambda (f) (f a b))部分適用便利だなー！
参考
- dolist
- with-output-to-string
- pi, math.const
- string->symbol
- 部分適用, cut
- util.list, slices
追記
internの解説を教えていただきました。2010/04/07
print, print1, princ, pprint
CL-USER> (let ((v "hoge"))
(list (print v)
(prin1 v)
(princ v)
(pprint v)))
"hoge" "hoge"hoge
"hoge"("hoge" "hoge" "hoge" NIL)
|
prin1
関数readに適した出力,すなわちLispプログラムに適した出力を生成する.
princ
prin1がLispプログラムに適した出力を生成するのに対し,princはユーザの見やすい出力を生成する.エスケープ文字も出力されない.
先頭に改行が付加される点を除いてprin1と同じである.
pprint
続くスペースを空行にすることを除いてprintと同じである.
| (princ "\n\nこんにちわ！") |
↓
↓ こんにちわ！ |
| (prin1 "\n\nこんにちわ！") | \n\nこんにちわ！ |
追記
どうでも良いことだけど、やっぱこうかな。CL-USER> (mapcar (lambda (e)
(funcall e "hoge"))
`(print princ prin1 pprint))
"hoge" hoge"hoge"
"hoge"("hoge" "hoge" "hoge" NIL)
|
登録:
投稿 (Atom)