■前スレ
Lisp Scheme Part33
http://toro.2ch.net/test/read.cgi/tech/1318150738/
■テンプレ
http://wiki.fdiary.net/lisp/
■関連スレ
【入門】Common Lisp その8【質問よろず】
http://hibari.2ch.net/test/read.cgi/tech/1309940115/
http://www-inst.eecs.berkeley.edu/~cs61a/sp12/book/index.html
lisp使う人が減るのはむしろ嬉しい
その見解おかしいよ、廃れて嬉しいって感受性がヤバイよ
便利なものの独占度が高まるなんて
これ以上のことはない
Lispを見えないように水面下で使えるようになるには
１年ぐらい準備期間いる気がする
寄ってたかって作ったライブラリが山のようにあるのだが
その通りだよ
だれかgtkかqtをバインディングしてくれないかな
誰かschemeのCLOSもどき上にCLIMもどきを作らないかな。もっともGUIビルダーもないし、外見がイケてないから使わない気がするけど。
lispぽく使おうとすると色々ラップする必要はあるかも。
2011-02-16 GNU Guile 2.0.0 released. ttp://www.gnu.org/software/guile/news.html
+ New REPL, new debugger
A read-eval-print-loop (REPL) is available. Compared
to the REPL in earlier releases, it supports
"meta-commands" that provide convenient access to
interactive programming features. For instance, the
,compile meta-command compiles the given expression,
,profile shows an execution profile of the given
expression, etc.
+ Unicode support
Scheme strings can hold any Unicode character, and
ports can read and write Unicode text in various
encodings.
+ Partial R6RS compatibility
The library and import forms of R6RS are supported,
and all the R6RS libraries defined in the standard
are available. See "R6RS Incompatibilities" in the
manual, for details about remaining
incompatibilities.
+ New dynamic foreign function interface
The (system foreign) module provides a new dynamic
foreign function interface (FFI). It allows bindings
to C libraries to be written without a single line
of C code.
;;gauche
real 0m0.744s user 0m0.730s sys 0m0.000s
real 0m0.695s user 0m0.690s sys 0m0.003s
;;guile2.0.3
real 0m0.780s user 0m0.773s sys 0m0.007s
real 0m0.780s user 0m0.777s sys 0m0.003s
;;guile1.8
real 0m4.263s user 0m4.193s sys 0m0.003s
real 0m4.510s user 0m4.506s sys 0m0.000s
2.0.5のアナウンスがc.l.sに来てたぞ。
あと自分はschemerじゃないし。
Chromeでしか動いてないらしい。
少し試してみたけど、Firefoxでも動作してるみたいだよ。
archだとguileだけ異常にシェア高い
MLなんか読み間違えてた、ありがとう
あと日本で流行るには日本語が通る、日本人の開発者が居る、あたりが重要。
外人だけだと日本語処理の細かい部分が微妙だったり、ユーザーライブラリは日本語が通りませんになったりする。
archといえばaurのgauche-git版だけど、ビルドの依存にgosh本体がないからビルド出来んぞ。
16時間30分後には最新バージョンが使えるようになっている。
ftp://ftp.gnu.org/gnu/guile/guile-2.0.5.tar.xz
guile-2.0.5.tar.gz. . . Jan 30 21:46 6.60M
guile-2.0.5.tar.gz.sig. Jan 30 21:46 198
$ ls -la /tmp/yaourt-tmp-hoge/aur-guile-devel/PKGBUILD
-rw-r--r-- 1 hoge hoge 856 Feb 1 13:36 /tmp/yaourt-tmp-hoge/aur-guile-devel/PKGBUILD
>>26
gaucheは非gauche-git版入れているなあ。
Firefoxだけど動いたよ
たぶんこれ。
[Exception... "Security error" code: "1000" nsresult: "0x805303e8 (NS_ERROR_DOM_SECURITY_ERR)" location: "http://ghettojedi.org/shen-js-repl/repl.js Line: 94"]
http://code.google.com/p/swfintruder/issues/detail?id=1
死んだ？
ping は返ってくるね
復活したっぽい。
Page Information
Title: Franz Inc.: Allegro Common Lisp (Japanese)
URL: http://jp.franz.com/index.html
Document Type: text/html
Last Modified: Thu Apr 22 11:07:21 2004
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
Header Information
HTTP/1.1 200 OK
Date: Thu, 02 Feb 2012 19:28:24 GMT
Connection: Close
Server: AllegroServe/1.2.50
Content-Type: text/html
Content-Length: 478
LAST-MODIFIED: Thu, 22 Apr 2004 02:07:21 GMT
stack やqueueぐらい誰か作ってるだろうと思ったらなかった
racket中途半端だな
http://docs.racket-lang.org/data/Imperative_Queues.html?q=queue&q=stack
スタックはリストで簡単に再現できるから、需要が低いんじゃないか。
特化したものを実装したいなら自前で実装するって感じで。単なる想像だけど。
set-car!使わなくても簡単にスタック実装できると思う。
qsocksのソースです
http://codepad.org/uyuG7Ovg
ちなみにあたしは高校生です
勉強の息抜きに，あひるちゃんでも発狂させて遊ぼうと考えて作りました
主目的の達成はなりませんでしたが，他の変なのが発狂してて楽しかったので良しとします
プログラミング歴は3ヶ月くらいです．マクロとかクラスとか全然わかりません
なんでsxmlつかわんの？
べたで (format "~a ~a ~a ...") とかみてscheme使う意味あるのかと
Schemeって言語自体がS式をベースにした単純なものであることが重要なわけで別にそこは全然いらないだろ
型推論もどきコンパイラー作ったら
Gambit-Cの１０倍の速度でた
３倍はありえるけど１０倍は何か間違ってる気がする
型推論で競うならStalinじゃないか。R4RSで止まってるから実用プログラムを書くのは
しんどいけど。
もうちょっとがんばってMacで最速と言い張れないか試してみようと思います
http://wiki.call-cc.org/eggref/4/stalin
The compiler has been tested on Mac OS X 10.4 (ppc)
Intel Mac は無理っぽい
c.l.sって何の略？
アドレス、教えて。
enable-unicodeがデフォになった。
weak-hashが入ってdrakmaが動くようになった。
Archのextraはまだ前のVer。Aurのgit版は--enable-hoehm＝を変更する必要あり。
>>53
Macは持っていないからスマンけど、ビルドが出来るか確認した？
chickenは移植性が高いし、ソースもschemeみたいだけど。
横レスだけど、たぶんcomp.lang.scheme。
ニュースグループの comp.lang.scheme のこと。
ネットニュースなので NNTP に対応したクライアントで見るのが本来だが、
サーバが減りまくっていてまともに繋げるところが少ない。
今ではありがたいことに google group 経由で見れる。
https://groups.google.com/group/comp.lang.scheme/topics?hl=ja
とはいえ型推論するschemeコンパイラの需要は多大なので期待しております。
http://www.ibm.com/developerworks/jp/opensource/library/itm-progevo4/
StalinはCを介してネイティブコードを出力するのですが、gcc-4系列ではgcc自身の最適化ルーチンが終了しなくなるので、gcc-3系列を用いて処理系をビルドする必要があります。
Intel Macにgcc3は入らない
http://discussions.apple.com/thread.jspa?messageID=6900842
http://iodonacht.blog90.fc2.com/?mode=m&no=27
サンクス
これかな。
ttp://newsgroups.derkeiler.com/Archive/Comp/comp.lang.scheme/2006-02/msg00002.html
gaucheは中の人が精力的に更新しているけど本人が倒れてしまったらどうなるかわからない
手堅いのはchickenやracketあたりか
Gauche は確かに shiro さんが今のところはほぼ全てを支配しているけど、
拡張パッケージを見ると Gauche の内部構造を良く理解していないと
実現できないものとかもあったりするので、そんな人たちならいつでも
開発を引き継げると思う。
ある程度大きな開発コミュニティがあるものも、それはそれで分岐したり
なんなりがありうるから現状の体制のまま 10 年後もあるかっていうと疑問だな。
統計的には、今まで長く続いているものはこれからも長く続く可能性が高いけど。
R7RSが決まればscheme処理系毎の差異も小さくなるだろうし、そんなに心配はしてない。
racketは独自路線すぎてついていけない。
型推論するR5RS compilerが欲しいなー（チラッ
R7RSといえばsyntax-caseだけは嫌なので、explicit renamingが採用されて欲しいな。R6RSがあんな美しくないミニ言語を入れた理由が分からない。
> あんな美しくないミニ言語
解が見つからないまま publish に至っちゃった結果なんじゃないかなぁ。
Scheme マクロの出発点は「文脈によって意味が変わらないマクロを定義したい」
というところなんだろうけど、それがどうにも上手く行かない。
Common Lisp の symbol は名前を持つ object であるのに対し、
Scheme の symbol はちょっと変わった文字列でしかない。
つまり (eq? (string->symbol "foo") 'foo) => #t であることが保証されている。
ということは explicit renaming では
文脈によって意味が変わらないマクロを定義できない。
というわけで Scheme のマクロ変換の対象となるのは
マクロ変換時の情報を格納したオブジェクト(構文オブジェクト)とならざるを得ない。
で、マクロ変換時の情報って何よ？
ってなったときにどうにも合意できるものが無い。
合意できるものがないので
(datum->syntax identifier datum)
という identifier の中に隠れた(仕様書に無い)構文情報を
datum に付加できる手続きを仕様とすることでなんとなく合意された。
と推測している。
explicit renamingでも良いけど、何度もrenameするの面倒な気がする。
http://d.hatena.ne.jp/leque/20080528/p1
defmacro の方が、シンプルかつ必要最小限じゃん？
運用上のルール (RnRSで定義されてるグローバル束縛をシャドウするローカル変数は作らない、とか)
で回避できなくはないけど、そこで妥協したらSchemeじゃない。
http://developers.slashdot.org/story/12/02/07/0043241/hacking-the-nes-with-lisp
ごめん、よく知らないんだけど、そもそもそういう思想なの？
刃物が危ないから規制する、みたいな感じに受け取れるんだけど…。
マクロの外側では普通に、グローバル束縛をシャドウするローカル変数、って(作っちゃだめだけど)作れるんだよね？
(define (let) 10) でめっちゃめちゃだよね？
なんで defmacro だけ目の敵に…。
let を変な風に定義しなおしたとしても、何も変えてない let* とか letrec とかは今まで通り普通に動いてほしい
でも let* がマクロで let に展開されると、変な風に変えた新しい let を使うと、正しく動かなくなってしまう
自分が let を使うときは自前の定義した let を使いたいけど、 let* とかがマクロの内部で使ってる let は元々の let を使ってくれれば、素敵だと思わない？
そんな気持ち
これに対してCommon Lispではgensymやパッケージ指定や命名規則で対応する。
schemeはLisp-1で名前空間が少ないのでCommon Lispと同じ対応は難しいし、直交しないので美しくない。
そこで定義時の文脈で評価する清潔なマクロを使用する。
R5RSのsyntax-rulesは純粋に定義時の文脈しか参照できない。
そこでR6RSに文脈を好き組み合わせられるsyntax-caseが入った。これは文脈を選べるので古典的マクロより強力。
ただsyntax-caseは通常のLispの文法に似ていないし、パターンマッチなど余計な仕事をしているので美しくない。
そこでexplicit renamingかsyntactic closureに変更しろという文句が出て来る。
マクロじゃない、普通のライブラリは既にそういう分離が出来てるから。
自分のモジュールで (define car '(toyota prius)) したら、突然
標準ライブラリで内部でcarを読んでる関数が全部動かなくなる、なんてことはないよね。
(R6RS以降、もしくはR5RS+適切なモジュールシステムを使ってれば)。
マクロでもそれと同じことを保証したいけど、defmacroではできない、っていうこと。
小さければ良いというものではないよ。
プリミティブとしてふさわしいかどうかっていうことが重要で、
結果的にある程度小さいことが求められる。
defmacro がふさわしくない理由は↓の記事が詳しい。
http://blog.practical-scheme.net/shiro/20100425-scheme-macro
> なんで defmacro だけ目の敵に…。
昔は手続きにも同じ問題があった(funarg問題)。
これに対してはレキシカルクロージャで一応解決した。
Scheme はマクロの方も解決しようとしている。
でもみんなが満足する解は今のところみつかってない。
>型推論するR5RS compilerが欲しいなー（チラッ
今がんばっています
ほうほう
楽しみにしています
まあaifくらいしか使わないけど・・・
他にもdefmacroでしかできないようなことってある？
多分、ググれば出て来る。
かなり面倒くさいが出来ないわけではない。
http://d.hatena.ne.jp/leque/20100826/p1
R5RS処理系でも主要な物には外部変数捕捉が可能な健全なマクロシステムが入ってるよ。
defstruct みたいに prefix 付き手続きを自動生成するとか。
むしろ defmacro には出来ないことがあると思う。
一応 >>81 が期待している回答が syntax-rules と defmacro の比較と仮定すると、 >>85 の他に
マクロ展開時の数値計算みたいなのとかも syntax-rules では無理ってことになるんじゃないかな。
例えば (plus 1 2) を 3 に展開するみたいなのは無理。
(define-syntax plus
(syntax-rules ()
((_ 1 2) 3)))
みたいな感じで全ての数値の組み合わせを網羅するとかいった方法が無いでもないが非現実的だわな。
R6RS のマクロは defmacro に出来る大抵のことは出来るはずだけど、
展開時に使う関数は別のライブラリに分けなきゃならない制限があったりする。
(フェイズの分離がライブラリ単位。)
「defmacro は関連定義をひとつのパッケージにまとめることが出来る (が R6RS のマクロはそうではない)」
という点で能力の差と言えなくもないけど、定義したマクロを使う分には関係無いので単に記法の違いと言えなくもない。
一方で、 >>77 にあげたように「defmacro では完全に変数衝突を避けることは出来ない」というのは
定義したマクロを使う時にも注意を強いるという点で「defmacro には出来ないことがある」と考えた。
つまり、定義時の楽さや複雑さを置いといて、どれだけマクロの中に隠蔽できるか (マクロ使用時に見えないか)
で測ると >>86 という意見になるわけだけど、そうじゃない解釈もできるので曖昧な文章になってしもたという感じ。
http://queue.acm.org/detail.cfm?id=2068896
特別な内容という訳ではないと思うけど、queueだけではなく
John McCarthyが表紙のacm会誌('12/01)にも転載されてた。
message%のlabelが全部表示されない
だめだな
無い。
http://www010.upp.so-net.ne.jp/okshirai/scheme-20070402222203.txt
ありがとう
勉強になった
Lisp関連書籍やものまね鳥なんか買うことが出来てお世話になった。
って、そういえば、三越自体がなくなるせいか
まぁ仕方ないね
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
ふらっとC#,C♯,C＃（初心者用） Part88 (860)
オブジェクト指向の弊害 (131)
【PSP】PSPで東方やりたい奴12【弾幕】 (148)
人工知能は感情を獲得する事ができると思いますか? (480)
VB.NET質問スレ(Part38) (607)
IDにC、C++、VB、etc...が出たら神！！！ (160)
--log9.info------------------
鉄道模型地震被害報告スレ 国内史上最大M8.8 (143)
ＰＥＣＯ以外の道床無しレールは消える運命 (135)
【さよなら】限定品を語るスレ【会場限定】 (418)
お気楽にアメリカ型鉄道模型を楽しむスレ 5 (140)
ライブスチームの鉄道模型スレッド (674)
急カーブ⊂⊃ミニレイアウト9 (561)
おまいらが初めて買ったのは何？ (395)
【ひばり】模型で楽しむ581・583系2【彗星】 (132)
【第16回】JNMAフェスティバノレ【都産貿】 (696)
◆ 長野電鉄を模型で楽しむスレ ◆ (706)
アーノルドカプラーの電車製品は消える運命。 (101)
模型で伊東線・伊豆急を楽しむスレPart１ (574)
モノレール・新交通・索道 (671)
【急電】旧型国電を模型で楽しむスレ10【スカ線】 (278)
名古屋市交通局を模型で楽しむスレ (133)
nゲージ限定 １ヶ月にいくら、お金を使うの? (358)
--log55.com------------------
【黒川検事長】賭け麻雀「点ピンで高額ではない」法務省答弁にネット沸騰「点ピン合法キター！」「黒川基準」 [クロ★]
【小泉今日子さん】安倍首相に強烈ツイート「#さよなら安倍総理」 [クロ★]
【毎日世論調査】安倍内閣支持率、暴落 不支持激増 支持率２７％（ー１３） 不支持６４％（＋１９） [クロ★]
黒川検事長と朝日新聞社員ら、３年間にわたって賭けマージャン 異様な癒着ぶり ネット「検察とべったりだったのはパヨク友達のマスゴミ [Felis silvestris catus★]
バイキングへの辛辣な意見が続出 「政権の文句しか言わない」「怒ってばかり」「適当なことばっかり」「もう坂上忍を見たくない」 [Felis silvestris catus★]
朝日新聞が緊急事態宣言下で黒川・東京高検検事長と賭け麻雀した件で謝罪 ネット「安倍と黒川がズブズブとか言ってた朝日ww [Felis silvestris catus★]
検事総長人事に介入しているのは官邸ではなく朝日新聞 朝日新聞は、林名古屋高検検事長と関係… ネット「黒幕は朝日新聞だったか [Felis silvestris catus★]
一色正春「私は…2010年、検察に政治が介入して被疑者を釈放させたとき、何を言っていたのかを知っています」 ネット「民主党政権下… [Felis silvestris catus★]
