vallog: onlisp

ラベル onlisp の投稿を表示しています。すべての投稿を表示

2010/09/14

On Lisp のユーティリティをいくつか

いくつか Gauche で書きました。写経がてら。前回読んだ時にあまり書いてないので、揃えておいた方が良いなぁと。
ざっくり書いただけなので、動かないところがあるかもしれません。

今 LET OVER LAMBDA Edition 1.0 と On Lisp を再読しているので、こういうのを揃えていこうと考えています。書きたいものがあるときにすぐに書き始められる状態を作っておかないといけないなぁと思った次第です。

以下コード。

2010/08/11

Gauche の and-let* と On Lisp の aand

On Lisp --- アナフォリックマクロ

On Lisp の aand をそのまま scheme で以下のように書いてハマりました。。

まともに使うにはこうでしょうか。。

というか、gauche を使っているので、and-let* を使った方が無難なようです。。

Gauche ユーザリファレンス: 4.6 変数束縛

2010/06/20

Common Lisp のなかで最も名前が長いシンボル

On Lisp の後注、P.400 にあるコードを試しに実行してみました。38文字て・・・。

以下の式は, 現在ののパッケージで可視になっているすべてのシンボルを名前の長い順に並べたリストを返す.

（以下のコードは本にあったコードに princ を追加したものです）

Lisp は「C 言語並みに速い」「C 言語より速い場合がある」

だそうです。

On Lisp

On Lisp 後注より

Gabriel, Richard P. Performance and Standardization. Proceedings of the First International Workshop on Lisp Evolution and Standardization, 1988, p.60

ある処理系で triangle を試していて, Gabriel は次のことを発見した：「プログラマが C コンパイラにレジスタ割り当ての指示を与えたときと比べても, C 版の反復による実装よりも Lisp 版のほうが 17% も高速だった.」彼の論文では Lisp で実装したほうが C より高速になるプログラムが他にもいくつか挙がっており, なかには 43% も高速になったものもある.

Lisp:よくある誤解

Lisp:よくある誤解「Lispは高速なプログラムが書けない?」より

LispでもほぼC並に速いコードを書くことは可能です。

C並に速いLispコードは見た目も安全性もC並になる

ベンチマーク

こういうベンチマークもあるそうで

LISPは速い - 翡翠はコンピュータに卵を生むか

Ruby, Io, PHP, Python, Lua, Java, Perl, Applescript, TCL, ELisp, Javascript, OCaml, Ghostscript, and C Fractal Benchmark

Let Over Lambda

Lisp の速度について、LET OVER LAMBDA Edition 1.0 では6章で扱っていました。

Lisp は速い。本当に速いのだ。

この章では、Lisp が他のあらゆるプログラミング言語よりも速くなり得ること、実は C のような低水準プログラミング言語は、マクロがかけているため、Lisp に対して性能面で不利なことを明らかするつもりである。

参考までに LOL の6章の目次はこんな感じ。

第6章

Lisp は速い
マクロが Lisp を速くする
ディスアセンブラと仲良くなる
ポインタスコープ
tlist とコンスプール
ソーティングネットワーク
コンパイラの書き方とベンチマーク

参考

追記

まさか shiro さんのところに valvallow という文字が現れるようなことが起こるとは・・・。

Island Life - 「Cで書くコードの方がCommon Lispで書くより速いって人がいたら、それは彼のCの技量が高すぎるってことだね。」

すげーな Common Lisp ・・・。

追記2

リリカル☆Lisp開発日記 » Blog Archive » LispをCより速くする

How to make Lisp go faster than C
という論文が面白いです。
簡単な画像処理をCとCommon Lispで書いて速度を比べるというものですが、
CLの速度の劇的な変化が笑えます。
インタプリタで実行 -> Cの2300倍遅い
コンパイルして実行 -> Cの60倍遅い
型宣言と最適化を付ける -> Cと同等の速度(一部に関してはCより速い)

追記3

LET OVER LAMBDA Edition 1.0 P.75 より
（CL-PPCRE は、Common Lisp で書かれた正規表現ライブラリ）

第1に、CL-PPCRE は高速である。本当に高速だ。品質の良いネイティブコードコンパイラでコンパイルすれば、ほとんどの正規表現に対するベンチマークが、CL-PPCRE の方が Perl よりも2倍か、もっと高速だという結果をしばしば示す。そして、Perl の正規表現エンジンは、非 Lisp 正規表現エンジンの中では最高速なものの1つだ。それは C で書かれ、高度に最適化されたエンジンなのである。

On Lisp 読了

ようやく LET OVER LAMBDA Edition 1.0 に引き続き On Lisp を読み終わりました。これが初級者向けってホントですか。前半はまー、確かにそうでしょうけども。。Lisp 怖い。

個人的におもしろかったのは、

Paul Graham 節
前半の入門的なところ
ユーティリティ関数のところ

コードがキレイ
こういう風にユーティリティを書いていけば良いのかー。

マクロの導入的なところ

「マクロとはこういうものだ」というのが随所に書かれていて、丁寧でわかりやすい
できること、できないこと、長所、短所、デバッグ方法、ハマりどころ
やっぱりマクロは難しいんだ
「こうやって書いていけば良いよ」

アナフォリックマクロ

カッコイイ

非決定性

とてもわかりやすい

CLOS

言うほど異色じゃなくね？（ほんの少ししか紹介されていなかったからかも）

付録のパッケージのところ

パッケージややこしそう。

でしょうか。

継続の実装のところは少し期待を裏切られました。あとATN コンパイラと Prolog のところは完全に置いていかれました。

コードがキレイですごく見やすかったです。お手本にしたいコード（当たり前か）。私は先に LET OVER LAMBDA Edition 1.0 を読みました。LOL もすごくおもしろかったのですが内容的にもコード的にも読むのに負荷が高かったです。On Lisp を先に読んだ方が良いのではないかと思います。

「最終的には Prolog を 94 行で実装した.」

On Lisp

Web 版にはないと思われますが、P.393以降の「後注」に以下の様なことが書かれています。

最終的には Prolog を 94 行で実装した. それには以前の章から 90 行分のユーティリティを持ってきて使っている. ATN コンパイラにはさらに 33 行を追加したので, 217 行になる. ただし Lisp の言語仕様上では行という概念が無いので, Lisp プログラムの長さを行数で図ると誤差が大きいことに注意.

最後の一文。

ただし Lisp の言語仕様上では行という概念が無いので, Lisp プログラムの長さを行数で図ると誤差が大きいことに注意.

そうですよね。。ならどんな単位で測ると良いんでしょうね。

そういえば、「Lisp は S/N 比が高いので・・・」どうのこうの、というようなことを良く見聞きしますが、S/N 比ってなんなんでしょう？

用語検索　 SN比　（Signal to Noise ratio）

ノイズが少ないってことなんですかね。

On Lisp の後注がおもしろいですね。Yコンビネータが出てきたり、SICP(計算機プログラムの構造と解釈)が出てきたりします。Paul Graham は自分のやってる VC の名前を「Y Combinator」にしたり、SICP の原書にレビューしてたりと、きっと両方共好きなんでしょうね。SICP 原書のレビューの方には、最近話題（と、言っても原書は20年前のものらしい）の実用 Common Lisp (IT Architects’Archive CLASSIC MODER) の著者 Peter Norvig 氏もレビューしてますね。