04/02/01 19:10
過去スレ
Part1: URLﾘﾝｸ(piza2.2ch.net)
Part2: ｽﾚﾘﾝｸ(tech板)
Part3: ｽﾚﾘﾝｸ(tech板)
Part4: ｽﾚﾘﾝｸ(tech板)
Part5: ｽﾚﾘﾝｸ(tech板)
Part6: ｽﾚﾘﾝｸ(tech板)
Part7: URLﾘﾝｸ(ruku.qp.tc)
Part8: ｽﾚﾘﾝｸ(tech板)
Part9: ｽﾚﾘﾝｸ(tech板)
前、"Schemeスレはあるのになんでcommonlispスレはないの?"とか言って別のスレを建てた大馬鹿者がいたので、
標題にCommonLispと付けておきました。
Lispの話題でCommonLisp,Scheme,EmacsLisp(専用スレッドがある)以外のものが出ることはこのスレの歴史上でも
稀なので問題はほとんどないかと思います。
関連リンクは>>2-10あたり
2:デフォルトの名無しさん
04/02/01 19:12
□参考リンク□
日本Lispユーザ会(日本語)
URLﾘﾝｸ(jp.franz.com)
ここにかなりの情報があります。
URLﾘﾝｸ(jp.franz.com)
削るとAllegro Common Lispのページへ
プログラミング言語Scheme(日本語)
URLﾘﾝｸ(www.sci.toyama-u.ac.jp)
Schemeの人はまずここを見ましょう。
Lisper への道(日本語)
URLﾘﾝｸ(www.geocities.co.jp)
判りやすいLISP入門サイト。
Schemeへの道(日本語)
URLﾘﾝｸ(www.stdio.h.kyoto-u.ac.jp)
ここはschemeの入門サイト。
3:デフォルトの名無しさん
04/02/01 19:13
慶応の授業のページ・記号処理プログラミング 2001
URLﾘﾝｸ(buri.sfc.keio.ac.jp)
Practical Scheme(日本語)
URLﾘﾝｸ(www.shiro.dreamhost.com)
「普通のやつらの上を行け」など、興味深い文書を沢山翻訳されてます。
(Gaucheという完成度の高いscheme処理系作者さんのページでもあります。)
Scheme Hash(英語)
URLﾘﾝｸ(okmij.org)
S式でXMLを使える様にするSXMLなど
John McCarthy's Home Page
URLﾘﾝｸ(www-formal.stanford.edu)
LISPの生みの親、Ｊ・マッカーシーのページだそうです。
Association of Lisp Users
URLﾘﾝｸ(www.alu.org)
米国のLispユーザ会
4:デフォルトの名無しさん
04/02/01 19:14
□SICP関係□
SICP(英語)
URLﾘﾝｸ(mitpress.mit.edu)
「計算機プログラムの構造と解釈」の原書です。
全てオンラインで読めます。
計算機プログラムの構造と解釈 第二版 (snip) に関連するホームページ
URLﾘﾝｸ(www.ipl.t.u-tokyo.ac.jp)
SICPの回答集
URLﾘﾝｸ(www.melt.kyutech.ac.jp)
URLﾘﾝｸ(pluto.aurorasd.co.jp)
URLﾘﾝｸ(www.ipl.t.u-tokyo.ac.jp)
URLﾘﾝｸ(www.sampou.org)
5:デフォルトの名無しさん
04/02/01 19:15
□その他□
Schemeで書かれた正規表現ライブラリ
URLﾘﾝｸ(www.cs.rice.edu)
幻の「入門Scheme」
URLﾘﾝｸ(www4.ocn.ne.jp)
オンラインで読める
各種scheme処理系をcygwin上からビルドする方法など。
URLﾘﾝｸ(www.geocities.co.jp)
Bit - Implantation compacte de Scheme
URLﾘﾝｸ(www.iro.umontreal.ca)
mini-schemeよりも小さい(?)bytecode変換系
Lisp 言語処理系: CAMPUS LIsP, Lemon version
URLﾘﾝｸ(aten.aial.hiroshima-u.ac.jp)
Cコードによるわずか1000行の実装
Cliki
URLﾘﾝｸ(www.cliki.net)
CommonLispのプログラムがたくさん紹介されているのでここを当たるべし。
6:デフォルトの名無しさん
04/02/01 19:19
encyCMUCLopedia
URLﾘﾝｸ(www.isr.ist.utl.pt)
cmucl以外でも有益なはず
CMUのLisp Repository
fURLﾘﾝｸ(ftp.cs.cmu.edu)
新旧様々なプログラムが置いてある
Tiny CLOS Tutorial
URLﾘﾝｸ(home.adelphi.edu)
Schemix
URLﾘﾝｸ(www.abstractnonsense.com)
Linuxのkernelへのパッチで、/dev/として扱えるTinyScheme
Bibliography of Scheme-related Research
URLﾘﾝｸ(library.readscheme.org)
Scheme関連の論文リンク集
7:デフォルトの名無しさん
04/02/01 19:20
ごめん、こっちだった
過去スレ
Part1: URLﾘﾝｸ(piza2.2ch.net)
Part2: URLﾘﾝｸ(pc.2ch.net)
Part3: URLﾘﾝｸ(pc.2ch.net)
Part4: URLﾘﾝｸ(pc.2ch.net)
Part5: URLﾘﾝｸ(pc3.2ch.net)
Part6: URLﾘﾝｸ(pc3.2ch.net)
Part7: URLﾘﾝｸ(ruku.qp.tc)
Part8: URLﾘﾝｸ(pc2.2ch.net)
Part9: ｽﾚﾘﾝｸ(tech板)
8:デフォルトの名無しさん
04/02/01 19:21
その他よさそうなリンク
awkで書かれたわずか500行のLispインタプリタ
awklispを読めばLispが理解できる
URLﾘﾝｸ(www.accesscom.com)
Emacs Lisp 2
ｽﾚﾘﾝｸ(tech板)
* Hotdog Scheme URLﾘﾝｸ(rover.cs.nwu.edu)
MS が金出してたみたい
* Bigloo URLﾘﾝｸ(www-sop.inria.fr)
CLR 用のコードを吐けるようになったらしい
継続
なんでも継続
URLﾘﾝｸ(www.shiro.dreamhost.com)
Schemeへの道:継続
URLﾘﾝｸ(www.stdio.h.kyoto-u.ac.jp)
継続の使い方
URLﾘﾝｸ(www.geocities.co.jp)
継続の使用法
URLﾘﾝｸ(www.ice.nuie.nagoya-u.ac.jp)
CPS(継続渡しスタイル)の説明
URLﾘﾝｸ(www.csl.sony.co.jp)
9:デフォルトの名無しさん
04/02/01 19:22
乙彼～
>>7
君もやっちまったか（ｗ
10:デフォルトの名無しさん
04/02/01 19:22
独習 Scheme 三週間
URLﾘﾝｸ(www.sampou.org)
Schemeの教科書
よろずや
URLﾘﾝｸ(www.geocities.co.jp)
lispの実用的な情報が色々。
11:デフォルトの名無しさん
04/02/01 19:29
Arc
URLﾘﾝｸ(www.paulgraham.com)
12:デフォルトの名無しさん
04/02/01 19:31
∧＿∧
（ ・∀・） | | ｶﾞｯ
と ） | |
Ｙ /ノ 人
/ ） < >_∧∩
＿/し' ／／. Ｖ｀Д´）/ ←11
（＿フ彡 /
13:デフォルトの名無しさん
04/02/01 19:52
仕様関係）
CLtL2: Common Lisp the Language 2nd edition
URLﾘﾝｸ(www-2.cs.cmu.edu)
CLHS: Common Lisp Hyper Spec
URLﾘﾝｸ(www.ai.mit.edu)
R5RS: Revised(5) Scheme(ja)
URLﾘﾝｸ(www.sci.toyama-u.ac.jp)
便利な情報リソース）
The Common Lisp Cookbook: いわゆる Cookbook
URLﾘﾝｸ(cl-cookbook.sourceforge.net)
小さい実装）
SECDR-Scheme: SECD machine model に基づく実装
URLﾘﾝｸ(lily.fan.gr.jp)
Minischeme: 1 ファイルに凝縮された Scheme 処理系
URLﾘﾝｸ(tinyscheme.sourceforge.net)
TinyScheme: Minischeme を色々弄ったもの
URLﾘﾝｸ(tinyscheme.sourceforge.net)
KI-Scheme, AM-Scheme, etc...
URLﾘﾝｸ(www.nifty.com)
LispMe: Palm 上で動く Scheme 処理系. これも SECD virtual machine.
URLﾘﾝｸ(www.lispme.de)
14:デフォルトの名無しさん
04/02/01 19:56
リンクとかはどこかに置いとけばいいんじゃないかな。
15:デフォルトの名無しさん
04/02/01 23:08
過去スレ
LISP Scheme ｽﾚﾘﾝｸ(tech板)l50
LISP Scheme Part2 ｽﾚﾘﾝｸ(tech板)l50
LISP Scheme Part3 ｽﾚﾘﾝｸ(tech板)l50
LISP Scheme Part4 ｽﾚﾘﾝｸ(tech板)l50
LISP Scheme Part5 ｽﾚﾘﾝｸ(tech板)l50
LISP Scheme Part6 ｽﾚﾘﾝｸ(tech板)l50
LISP Scheme Part7 ｽﾚﾘﾝｸ(tech板)l50
LISP Scheme Part8 ｽﾚﾘﾝｸ(tech板)l50
LISP Scheme Part9 ｽﾚﾘﾝｸ(tech板)l50
16:デフォルトの名無しさん
04/02/02 02:04
MacLispスレ立てていいですか?
17:デフォルトの名無しさん
04/02/02 02:09
>>16
いい加減にしてください。
18:デフォルトの名無しさん
04/02/02 02:17
>>16
まず、LISPスレ見てる様な奴は、ほとんどが他のLISP系スレも
同時に見てる、という事を忘れないでくれ。
ここのスレタイが`CommonLISP'となった以上、話題提供したり
自分で盛り立てたりして維持できると思うのなら立てるのは自由だ。
本当に立てるならスレタイを「マイナーLISP隔離スレ」みたいな感じに
してくれると再利用しやすいと思う。
まあよく考えれ。
19:デフォルトの名無しさん
04/02/02 03:19
schemeでxyzzyみたいな軽いエディターを作ってくれるなら
ゆるし、う、うご、、、ごめんなさい
20:デフォルトの名無しさん
04/02/02 14:54
>>19 guile-emacs
21:デフォルトの名無しさん
04/02/02 17:37
1/29のレス 15
1/30のレス 41
1/31のレス 24
2/01のレス 89
驚異的だなw
22:デフォルトの名無しさん
04/02/02 20:40
>>14 どこかって？ WiLiKi に置いちゃうとか？
23:デフォルトの名無しさん
04/02/02 21:45
>22
CL的にはこっちかとｗ
URLﾘﾝｸ(cgi.at.infoseek.co.jp)
24:デフォルトの名無しさん
04/02/03 00:14
>>23
Weblog って要するに日記ツールでしょ？ CLISP って遅いって聞くし。
>>22 の言うように WiLiKi みたいな Wiki のほうがまとめとか書き込めて
嬉しいんじゃないかな。でも Shiro さんとことかに書くのはﾏｽﾞｲ予感。
2ch 色がついたら WiLiKi とかのｲﾒｰｼﾞﾀﾞｳﾝになるかもしれないし…。
25:デフォルトの名無しさん
04/02/03 01:52
少々の2ch色だったら平気だと思うんだけど。
26:デフォルトの名無しさん
04/02/03 02:20
>>1
大馬鹿者はおまえ
27:デフォルトの名無しさん
04/02/03 14:14
>>25
2ch ねらーが数人とかならともかく，スレのまとめとか FAQ とかあるのが
少々か？世の中には 2ch 嫌いな人も居るわけで，そーゆう人が引いてしま
うんじゃないかとちょっと心配．
28:デフォルトの名無しさん
04/02/03 15:16
つまり、wikiが使えて、無料のウェブホスティングサービスを探せということか。
29:デフォルトの名無しさん
04/02/03 16:14
そんな便利なものがあるわけが
30:デフォルトの名無しさん
04/02/03 16:38
CGIでPerlが使えるとかありそうな気もするけどな。SourceForgeはソフトウェアだけか. 太っ腹な個人に期待か。
31:デフォルトの名無しさん
04/02/03 16:55
Perlで書かれたCommonLispの処理系とかって見たことありますか？
32:デフォルトの名無しさん
04/02/03 17:00
無料ホスティングサービスは perl ばっかりかと思っていましたが，
python, ruby が動かせるところも当たり前になってきましたね．
# もちろん重いのは禁止ですが．
lisp も．．．
33:デフォルトの名無しさん
04/02/03 17:14
つーか、システムとしてWikiが動いてりゃ、裏でそれがPerlだろうと何で書かれていても
構わないって話じゃないの?
>>32 そういう無料ホスティングサービスあるんだ。Wikiも動かせるよね、重そうじゃないし。
>>31
Perlで書かれたCLじゃなくて、Common LispをPerlに直すトランスレータの話題は
最近、comp.lang.lispであったな。
34:デフォルトの名無しさん
04/02/03 18:35
>>24
weblog っても /(weblog 10) ← 10 日数分の日記を表示するコマンド
みたいなのがあるだけで、基本的には Wiki だよ。データをメモリに
読みこんで動作するらしいし、ローカルで動かす分には CLISP でも
全然遅さは感じない。しかしリンクが _(Link) みたいな非標準な形式だし
HTML の生成機能とか不要な機能もついてるし、みんなで使う Wiki にはちょとねぇ。
35:flatline@Vim%Chalice ◆r6EONKKhcc
04/02/03 19:10
URLﾘﾝｸ(www.komaba.utmc.or.jp)
いつまで存在するか保証はしません
36:デフォルトの名無しさん
04/02/03 19:37
ｷﾀ─ｗｗﾍ√ﾚｖｖ～(ﾟ∀ﾟ)─ｗｗﾍ√ﾚｖｖ～─ !!
37:デフォルトの名無しさん
04/02/03 20:29
>>35
onlisp.pdf頂きました。ｱﾘｶﾞﾄｿ
38:デフォルトの名無しさん
04/02/03 20:36
flatlineって誰だっけ
39:デフォルトの名無しさん
04/02/03 20:43
R5RS に書いてある、Scheme がメッセージ送信的な記述をサポートしているという
のは、↓にある様な事が出来るという事ですよね?
URLﾘﾝｸ(www.ice.nuie.nagoya-u.ac.jp)
メッセージ送信と聞くと、オブジェクト指向言語を思い浮かべるのですが、何らかの
繋がりがあるのでしょうか。Act1 の資料を探したのですが、見つかりませんでした。
40:デフォルトの名無しさん
04/02/03 22:31
Act1の資料て何？
41:25
04/02/03 22:39
>>35さん
ありがとうごさいます。
>>25は初心者スレとの勘違いした上に文章削って、
「やっぱ辞めとこ」って"キャンセルボタン"を押した
つもりが"OK"ボタンだったりする2重の誤射です。
おちゅーしゃのお気に入りの中に、旧スレとここと初心者が
並んでてついうっかりというか…。
lisp初心者どころかプログラム初心者ですが利用させて
いただきます。といってQ&Aを拾うことくらいで、
読ませて頂くことがほとんどだと思いますが。
42:デフォルトの名無しさん
04/02/03 22:46
>39
ちょうどbitの掲載号を読み返してた所だったりｗ
教えてくれてありが㌧！
43:デフォルトの名無しさん
04/02/03 23:58
>>35 に感謝しながら >>14 はリンク切り貼りする事。
いいだしっぺにやってもらおうじゃないか。
44:デフォルトの名無しさん
04/02/04 08:32
基地外に感謝するのは嫌。
45:デフォルトの名無しさん
04/02/04 09:06
>>44 うすっぺらいやっちゃな。
46:デフォルトの名無しさん
04/02/04 09:31
>>44が基地外
47:デフォルトの名無しさん
04/02/04 10:04
>>35
> URLﾘﾝｸ(www.komaba.utmc.or.jp)
> いつまで存在するか保証はしません
ありがとう。内容がたまってきたら、定期的にバックアップをどっかに
おいておいてくれませんか。バックアップの負担を分散しておけば、
何かあったときに、復旧できる可能性が増すでしょ。
48:デフォルトの名無しさん
04/02/04 10:07
つまり、tar玉かなにかを誰でもダウソできる場所においておくということね。
無理にやってくれなくてもいいけど。
49:デフォルトの名無しさん
04/02/04 10:18
www.komaba.utmc.or.jp/~flatline/wiliki.cgi
にすこし書いときました。Wikiは初めてなので、もっといいフォーマット
があるかも。
50:デフォルトの名無しさん
04/02/04 10:24
>>47
どっか CGI の使える無料鯖とかでミラーできるかもしれないしね。
閲覧だけならそっちを勧めれば本家に負荷かけずに済んでｳﾏｰ
51:デフォルトの名無しさん
04/02/04 10:30
>>50
> どっか CGI の使える無料鯖とかでミラーできるかもしれないしね。
ミラーとなると... Wilikiってschemeで書かれているんだよね?
schemeを使わせてくれる無料サーバがあるかな?
もしかして、Wilikiって文法レベルで他の言語処理系で実装されている
Wikiシステムと互換性があるのかな?
52:デフォルトの名無しさん
04/02/04 10:43
>>51
基本的な構文くらいなら Perl で作っても比較的簡単でしょ。マクロは厳しいかもし
れないけど。まー最悪 HTML にしちゃうって手もあるわけで。
# でもファイルのアップロードとかできる Perl 製 Wiki も捨てがたいなー。WiLiKi
# だとスレのアーカイブをｳﾌﾟするのとか管理者にやってもらわなきゃいけないよね？
53:デフォルトの名無しさん
04/02/04 14:51
wilikiにschemeの項目を少し追加しました。
といっても項目だけなので内容はどなたか宜しう。
既存のもの(toyama-uとか本家WiLiKiとか)と同じのを作ってもしょうがないので
ここでの質問などを纏めてFAQなどを充実できたらいいなあ。
54:デフォルトの名無しさん
04/02/04 17:29
CMUCLのCVSにアクセスできん....
cvs -d :pserver:anonymous@anoncvs.cons.org:/home/anoncvs/CVS-cmucl login
-> unknown host
となるので、MLを見てどうやらマシンが不調なのか別のサーバに切り替わったらしい。
cvs2.cons.orgかtrumpet.cons.orgが使えるらしいので
cvs -d :pserver:anonymous@cvs2.cons.org:/home/CVS-cmucl login
cvs -d :pserver:anonymous@trumpet.cons.org:/home/CVS-cmucl login
とやってもunknown hostとなる。MLには新サーバのIPが207.22.2.3となっていたので
cvs -d :pserver:anonymous@207.22.2.3:/home/CVS-cmucl login
とやったが、これは永遠と待たされてタイムアウト。
誰かCVSにアクセスできてる御仁はおらぬか。
55:デフォルトの名無しさん
04/02/04 17:38
永遠と日本語勉強するよろし。
56:デフォルトの名無しさん
04/02/04 17:48
>>54
> となるので、MLを見てどうやらマシンが不調なのか別のサーバに切り替わったらしい。
ほんとに ML 読んだのか？ 切り替わっ *た* と？ とりあえずマターリ待つかもっかい ML 読み直すか汁。
57:デフォルトの名無しさん
04/02/04 18:35
マシンが切り替わったかどうかははっきりと読んでいないのだが、少なくともアクセスする場所は変わったような。
"update on CVS repository"で
The new IP number for cvs2.cons.org (trumpet.cons.org) is 207.22.2.3.
I put an entry in my /etc/hosts file to map cvs2.cons.org to that new number
and was able to access the repository OK.
と、Werkowski氏が言っておられるので、この二つのドメインにアクセスしてみた。
それがunknown hostになるので、
"I put an entry in my /etc/hosts file"と言っているところからして、
グローバルなドメインには含まれていない予感がしたので、
207.22.2.3に直に
cvs -d :pserver:anonymous@207.22.2.3:/home/CVS-cmucl login
とやってみたがタイムアウト。cmuclのwebの例に倣って
cvs -d :pserver:anonymous@207.22.2.3:/home/anoncvs/CVS-cmucl login
としてもやはりタイムアウト。
Toy氏がupdateに15分かかる云々と言っているが、loginに5分以上かかるということはあるまい
と考えて、思案に暮れている次第。
その他、
URLﾘﾝｸ(www2.cons.org)
でブラウズしようとしても404。
ftp2.cons.orgやcmucl.cons.orgもやはり使えない状態。
"Status of CVS machine","Hosting the CVS machine"も読んだが解決せず。
しかし、cvs-commitにはtoy氏によるcvsアップデートの知らせが続々と届き、
そのCVSサーバはtrumpet.cons.org(207.22.2.3)
なのでもはや私には理解不能ということでここに助けを求めました。
58:デフォルトの名無しさん
04/02/04 18:55
なんで解決しないのか不思議だが Martin ﾀﾝの↓のメールを全て読み飛したのか？
ﾏﾀｰﾘ待てと逝っているだろーが。2ch で聞いてどうにかなる話じゃない。
1/16
Martin: we are still fiddling with the wires and I won't make it this weekend, sorry.
1/23
Martin: We still need more time to create the physical (cable, floor) space
for the machine but we will do it. Sorry for the delay, shouldn't be
too long anymore now.
1/27
Martin: However, I decided to exchange some of the hardware. ITA will host it
where I don't have instant physical access, so I will move the
installation/harddisk to one of my former Quakestations^H^H^H
known-good battletested PCs and while I'm at it upgrade to the newest FreeBSD.
Things are coming along, though and it looks like we get a cozy,
well-connected place.
59:デフォルトの名無しさん
04/02/04 19:01
>2ch で聞いてどうにかなる話じゃない。
いえ、それを聞いて理解しました。
cvs-commitの日付を読み違えていて、21日以降cvsへのアクセスがないことに気付きませんでした。スマソ。
60:デフォルトの名無しさん
04/02/05 16:29
Gauche release 0.7.4 リリースage
でもバグがあった為、バグフィックス版0.7.4.1を
だすそうです。
61:flatline@Vim%Chalice ◆r6EONKKhcc
04/02/05 16:51
例えば，Javaというプログラミング言語があります．
現在，JavaかPerlの求人多いみたいですね．
システム何とか学科の知合いによれば，猫も杓子もWebアプリって感じで（レベルは一様に低い）．
Common LispがJavaに敵いそうもない分野とは？
GUIは，これだけ引きはなされてしまってはまず追い抜くのは無理でしょう．
でも，SwingだのAWTだのが使えるのはスタンドアローンアプリ．
Javaでスタンドアローンアプリ開発を大々的に行っている所ってどこよ？ （あるんでしょうけど）
JavaでJEditみたいなエディタ作れると就職にいいですか？
現在のJavaは，DBやWebなどサーバサイドに活路を見出しているらしい．
それなら，Common Lispがどうして敵わないことがあろうか．
そりゃライブラリだってフレームワークだって現在ではJavaのN分の一だろうけど，
Common Lispは言語としては本質的にJavaより優れている．完全に動的なその性格からして．
（Javaさあ，クラスキャストなんぞしてるんなら静的型システムの意味ないって）
Lispは遅い？ 何と比べて？ Javaより遅いんですか？
Javaが狙っている分野は，Lispの主戦場ですよ．みなさん，ぜひぜひがんばって下さいよ．
62:デフォルトの名無しさん
04/02/05 17:00
だからflatlineって誰だっけ
63:デフォルトの名無しさん
04/02/05 17:07
James Goslingって、LispとCの中間的な言語を作るの好きみたいだね。
Gosling EmacsのMock Lispといい、Javaといい。
Gosling EmacsはGNU Emacsに負けたけど、Javaはどうなるかな。
Sunが潰れたら、意外と簡単に逝ってしまいそうな気もする。
それとも、もう臨界値をこえて普及したから簡単には死なない?
プログラミングしやすさで考えると、C++ならJavaでいいやって
気もするけど、それならC#のほうがもっと気持いい?
64:デフォルトの名無しさん
04/02/05 17:09
>>62 On Lispのボランティア翻訳者。
65:デフォルトの名無しさん
04/02/05 17:16
flatlineの元ネタはたぶん「ニューロマンサー」
ああ、80年代は遠くなりにけり。
66:デフォルトの名無しさん
04/02/05 17:57
正直 ～より優れている とか 勝つ とか 負ける とかはあんまり興味を持てないんだ
よな．他の言語の良い面は積極的に取り入れるべきだと思うし．（Java だとパッケー
ジシステムとか豊富なライブラリとか？）．あと Common Lisp は完全に動的じゃな
いぞ．型とか型とか型とか．オプショナルな型システム大好きな漏れにはこれがツボ
なわけだが（必須だとウザーだけど無いと物足りない）．
Web 関連とかってどうなのかねぇ？ Common Lisp だと Aserve + WebAction だろう
けど趣味で遊べるようなもんでもないしねぇ．もっと気軽にあそべる環境がないと人
気でないと思われ．Portable Aserve とかもスレッド使える実装ってフリーじゃあん
まりないし．IMHO も慣れてないと使うの大変だろうし．他になんかあったっけ？
67:デフォルトの名無しさん
04/02/05 19:18
cl-httpってのもあるね。
cl-httpを解説してた本があったな。
68:デフォルトの名無しさん
04/02/05 19:59
たぶん MCL を題材にした ASCII の本だったと思われ。
cl-http が気軽に遊べるかどうかは微妙だが……
69:デフォルトの名無しさん
04/02/05 21:56
>>60 すでに 0.7.4.1 になってるね。ｲﾝｽｺした記念 age
70:デフォルトの名無しさん
04/02/06 08:53
>>66
どの言語がどの言語に対してどんな場面で、なにがどういうふうに勝っているのか
を分析しなくては、言語が発展しないのでは? ただの印象批評で、ｶｯﾀ、ﾏｹﾀ、ﾜｼｮｰｲ、
ではは面白くないけど。
まぁ、俺は単純に言語の栄枯盛衰をみているだけでも楽しいけどね。
Common Lispの型システムよりも、より動的な型システムを持つ言語を教えて
くれないかな?
>>67
cl-httpってライセンスが曖昧だった気がする。大統領関連の公式ウェブサイト
の一部でcl-httpが使われていた(いる?)って話があったね。
71:66
04/02/06 12:25
>>70
他の言語の良い面は見習うべきだと言ってるつもりなんだけど ……例えば Java だ
とインターフェースに対してプログラムするスタイルとか CLOS にインタフェースを
MOP で組み込んでみればいいわけで．
より動的な型システムってのはどーゆうのかよくわかりません．物分りが悪くてｽﾏｿ
72:デフォルトの名無しさん
04/02/06 12:40
>>71
> 他の言語の良い面は見習うべきだと言ってるつもりなんだけど
うまくできるのなら賛成。
> 例えば Java だ
> とインターフェースに対してプログラムするスタイルとか CLOS にインタフェースを
> MOP で組み込んでみればいいわけで．
Javaのインターフェイスというと、メソッドのシグナチャの一群をインターフェイスと
呼んで一まとめにしてあつかうやつだよね。これって、CLOSだと多重継承とGeneric関数で
実現できるのでは?
>>66
> あと Common Lisp は完全に動的じゃな
> いぞ．型とか型とか型とか．オプショナルな型システム大好きな漏れにはこれがツボ
> なわけだが（必須だとウザーだけど無いと物足りない）．
上の記述を見て、66さんが好きな型システムを実現している言語ってどんなんかなと
思ったわけ。CLより、もっと「ユルイ」型システムかなとか。
73:66
04/02/06 17:48
>>72
漏れは
Common Lisp にも（オプショナルで）静的な型がある == "完全に動的" ってわけじゃない
というつもりですた．で，これが好きだと言ってるつもりだったんです．
作るだけなら動的だけでも良いけど動かす時には性能が必要なとこもあるじゃん．
74:デフォルトの名無しさん
04/02/06 22:13
Gauche-0.6.8/FreeBSD で sys-access が変なので syslib.c の
if defined(FreeBSD) をはずしてみました。
一見直ってるけどいいのかな。
FAQ?
75:デフォルトの名無しさん
04/02/06 22:18
>>35
Wiliki のデータベースって他の環境でも使いまわせるのかな？
とりあえずダウンロード可能なところに置いて頂けると嬉しいなぁ。
76:デフォルトの名無しさん
04/02/06 22:23
>>74 0.7.4.1 使わないのはなんで？
77:デフォルトの名無しさん
04/02/06 23:24
ports が 0.6.8 で止まってるからと予想。
78:デフォルトの名無しさん
04/02/06 23:28
>>76
恐れ入ります。
FreeBSDで make したらなんか新しいの取りに行ったと思ったら。
79:デフォルトの名無しさん
04/02/07 05:29
あれ、まだこれ貼ってないの？
flatline 氏のサイト
URLﾘﾝｸ(user.ecc.u-tokyo.ac.jp)
Paul Graham『On Lisp』邦訳
URLﾘﾝｸ(user.ecc.u-tokyo.ac.jp)
URLﾘﾝｸ(user.ecc.u-tokyo.ac.jp)
（最終更新日：2004.02.01 翻訳済み：18章/全25章）
おまけ。PDF から引用。
> 翻訳に手を付けたのは2003 年の始め位だったのですがね．
> 受験勉強から逃避していたあの頃からもう1 年以上経ってしまったのか．
受験生のうちからこんな高水準の翻訳を…。
# スレ違いだが、Vim を Scheme ベースで作り直してくれる人がいたら
# 現人神として終生、たたえられると思う。
80:デフォルトの名無しさん
04/02/07 13:04
ついに CMUCL が Mac OS X に来たね。
URLﾘﾝｸ(www.pmsf.de)
URLﾘﾝｸ(article.gmane.org)
81:デフォルトの名無しさん
04/02/07 13:21
え、まだなかったっけ？
sparcあるから既にPowerPCもあるかと思ったよ。
じゃあ残るはWindows(←なぜかportできない)だけだね。
82:デフォルトの名無しさん
04/02/07 13:24
>>81
"(←だれも port しない)" の間違いだろう。何故か、なんてのは自明だろ。
主要開発者がだれも Windows 使ってないから。
83:デフォルトの名無しさん
04/02/07 14:19
元ネタ的には、"(←なぜかportされない)" だろうね
84:デフォルトの名無しさん
04/02/07 14:42
まあ、cygwinでも使わないと非現実的だよな。
85:デフォルトの名無しさん
04/02/07 14:45
なんだっけ、ブートストラップさせるんだよな
スゲー面倒そう
処理系２つ作り置きするようなもんだろ？
86:デフォルトの名無しさん
04/02/07 14:51
build script 入ったのにね > ( ´д)ヒソ(´д｀)ヒソ(д｀ ) < コマンド 4 回打つのも "スゲー面倒" なんだって
というのは冗談として、そのへんは勘弁してください。そんなに珍しい事でもないでしょう？
87:デフォルトの名無しさん
04/02/07 15:11
cygwinでcmuclが使用しているメモリとシグナルのシステムコールがエミュレートされているのかな?
cygwinのライセンスが多分GPL系ということで、cmuclの大部分がパブリックドメインであることを
考えると、ライセンス的に縛りがきつくなるね、cygwin使うと。
cmuclのメーリングリストへ、windowsポートに金だすよと言ってた人がいたけど、どうしたかな。
88:デフォルトの名無しさん
04/02/07 15:22
できたら金を払うよ～と言われても興味ないもんはだれもやらんでしょ。Lisper を
雇うとか汁。どうしても欲しければ仕事として頼むという手もある。pmai ﾀﾝを一年
も雇ってフルタイムで移植してもらえば Win32 ネイティブで移植できるんじゃねーの。
89:デフォルトの名無しさん
04/02/07 15:31
「Portしてくれたら金を払ってでも使う」じゃなくて
「WindowsにPortしたいので金を払うからやってくれるLisper募集」
していました。それで、元のライセンス(パブリックドメイン)から変更したくないので、
cygwinは使わない方向で考えていると言っていました。俺の知る限り、1人がやりたいと
名乗りをあげていました。あとSBCLの方へいってみれば、とも言われていました。
90:デフォルトの名無しさん
04/02/07 17:34
>元のライセンス(パブリックドメイン)
これが結構色々な面で障壁になってるよね。
91:デフォルトの名無しさん
04/02/07 17:40
>>90 そうか? パブリックドメインよりも制限のないライセンス形態ってあるの?
92:デフォルトの名無しさん
04/02/07 18:04
>>90 >>91
「元のライセンスを保つためには，伝播性をもつライセンスのものと組み合わせられない」
ということなら，GPLなどの伝播性が問題ということでしょう．
ところで私はGPLの要求は真っ当なものだと思う．
この辺の悩みは健全な開発に必要不可欠なコストでしょう．
93:デフォルトの名無しさん
04/02/07 18:34
制限がないから障壁なんじゃないか。
この意味が分からないとしたら、>>91はオープンソースライセンスをほとんど知らないんだろうね。
94:デフォルトの名無しさん
04/02/07 18:39
GPL キモい。他所でやってくれ。
95:デフォルトの名無しさん
04/02/07 19:01
>>94
煽りは他所でやってくれ
96:デフォルトの名無しさん
04/02/07 20:03
Kahua: 継続ベースのアプリケーションサーバー
URLﾘﾝｸ(www.kahua.org)
97:デフォルトの名無しさん
04/02/08 01:01
>>96
で？低脳な漏れにもわかるように、もちっと紹介してくれょぅ。
ドキュメント読んでも利点がよくわからん。どこがどうすごいの？
98:デフォルトの名無しさん
04/02/08 02:29
>>97 かっこいい
99:デフォルトの名無しさん
04/02/08 03:14
>>97
貴君はまずこの辺から。
URLﾘﾝｸ(www.shiro.dreamhost.com)
100:デフォルトの名無しさん
04/02/08 10:33
>>93
> 制限がないから障壁なんじゃないか。
> この意味が分からないとしたら、>>91はオープンソースライセンスをほとんど知らないんだろうね。
意味が分かりません。障壁とはなんですか? 具体例をあげていただけますか?
101:デフォルトの名無しさん
04/02/08 10:44
win32oleできるScheme処理系ってありますか?
ググったらそれらしいのが出てきたけど、いまいち手がかりが
つかめず…
102:デフォルトの名無しさん
04/02/08 13:03
>>101
COM/ActiveX なら DrScheme (MysterX) がサポートしていますけど。
実際にはどういうことをやりたいのかな? ドキュメントへのオブジェクト埋め込みかな。
103:デフォルトの名無しさん
04/02/08 13:05
>>102 WSH の完全な代替．ﾅﾝﾁｬｯﾃ
104:100
04/02/08 13:05
えーと、煽りと間違われると無念なので、少し説明。
俺は、オープンソースライセンスやパブリックドメインについての議論を
多少なりともフォローしてきているつもりです。
今後、cmuclを使用する上で、何かライセンス的にハマるといやなので、
パブリックドメインに置かれているソフトウェアが誰にどういう面で
障壁になっているのか教えてくれませんか?
>>92
> 「元のライセンスを保つためには，伝播性をもつライセンスのものと組み合わせられない」
> ということなら，GPLなどの伝播性が問題ということでしょう．
どのように組み合わせるかによって、GPLが持つ伝播性の影響がでるかどうか変わるでしょう。
105:デフォルトの名無しさん
04/02/08 13:11
>>100
つまりこういうことじゃないかな。
GPL,LGPLみたいなライセンスが使われているライブラリ(など)は、
まったく制限のないパブリックドメインのソフトウェアには使えないと。
例えば、cmuclが(GPLだと反発する香具師が多そうなので)LGPLでリリースされていたとすると、
cmuclの中に取り込めるコードがどのくらいあるか考えてみるといい(何もLispのコードに限ったことじゃないわけだし)。
そして、それらが現状の(パブリックドメインの)cmuclに取り込められるかどうか、をね。
オープンソースの現状は
URLﾘﾝｸ(sourceforge.net)
になっているわけで、GPL/LGPLキモイとか言っても、無視することはできないだろ。
106:デフォルトの名無しさん
04/02/08 13:14
要するにこの場面で極論するとcygwinが使えないのが障壁とw
まあ、パブリックドメインなら派生ソフトウェアは自由にライセンスを選べるわけだし、
気に入らないなら派生作ってGPLにしたっていい(保守する人が少なければ廃れるのがオチだけど)。
だから、そこまで深刻な問題でもないよな。
107:デフォルトの名無しさん
04/02/08 13:20
SFUが.NETみたいに標準搭載になればいいのにねえ。
WinFXでWin32を順次置き換えていくらしいから、
もう既にWin32で囲い込みする必要もないだろうに。
サポートの手間がメンドクサイからまあ、なさそうだけど。
108:デフォルトの名無しさん
04/02/08 13:37
>GPL,LGPLみたいなライセンスが使われているライブラリ(など)は、
>まったく制限のないパブリックドメインのソフトウェアには使えないと。
まず、自分で使用するだけなら法的に問題なく使えるよね。
ソフトウェアを配布する場合でも、パブリックドメインになっている
ソフトウェアをGPL(など制限のきつい方)にライセンスしなおせば、
問題なく使えて配布できるでしょ?
> 例えば、cmuclが(GPLだと反発する香具師が多そうなので)LGPLでリリースされていたとすると、
> cmuclの中に取り込めるコードがどのくらいあるか考えてみるといい(何もLispのコードに限ったことじゃないわけだし)。
パブリックドメインにあるソフトウェアはいつでも、ライセンスを変更する自由があるという点が一つ。
これから、もしGPL, LGPLと互換性がないソフトウェア群が非常に多くなったときにどうするか?
FSFと一蓮托生でいいのか。
そこらへんを考えると、パブリックドメインにあるソフトウェアが障壁になっているという
言い方はあべこべだと思う。
109:デフォルトの名無しさん
04/02/08 13:45
GPL厨的には、プロプラエタリで非オープンなものに転用できてしまう
パプリックドメインなソフトは、GPLの普及にとって障壁になっていると
考えられるんじゃないの？
110:デフォルトの名無しさん
04/02/08 13:48
ああ、そういう視点ですか。
111:デフォルトの名無しさん
04/02/08 15:16
>まず、自分で使用するだけなら法的に問題なく使えるよね。
もちろんそう。
これはデベロッパサイドの問題。すなわち>>89の"cygwinが使えない"とか他にも"readlineが使えない"とかね。
>ソフトウェアを配布する場合でも、パブリックドメインになっている
>ソフトウェアをGPL(など制限のきつい方)にライセンスしなおせば、
>問題なく使えて配布できるでしょ?
GPLでリリースしたらそれはGPLのソフトウェアであってパブリックドメインではないからそもそも前提が違う。
CMUCLプロジェクトがGPL/LGPLを選択するか否かという問題ではcygwinの件で既に蹴っているではないか。
>パブリックドメインにあるソフトウェアはいつでも、ライセンスを変更する自由があるという点が一つ。
これも上に同じ。ライセンスを変更したらそのソフトウェアはパブリックドメインではない。
そのソフトウェアがパブリックドメインを続ける限りはcygwinもreadlineも使えないし、"GPLに変えたら使えるじゃん"というのは"cmuclがパブリックドメインを続けようとしていて、その方針をとることによるcmuclプロジェクトへの制限"という話のすり替え。
>これから、もしGPL, LGPLと互換性がないソフトウェア群が非常に多くなったときにどうするか?
>FSFと一蓮托生でいいのか。
明らかなプロバガンダ。GPLでリリースしたソフトウェアはFSFに支配されるようになるみたいな言い方だな。
112:デフォルトの名無しさん
04/02/08 15:39
>>99
スマソそれは読んだ事あるんだ。で、ついに継続ベース Web アプリケーション鯖デターーー
とおもったんだけどサンプルとかあんま載ってないからさ。こうスゲーとわかるような
サンプルキボンヌ。
113:デフォルトの名無しさん
04/02/08 15:51
>GPLでリリースしたらそれはGPLのソフトウェアであってパブリックドメインではないからそもそも前提が違う。
いいたいことが分かりにくいな。cmuclプロジェクトに加わっていない人が、
cmuclの成果だけ持って来て、ライセンスだけGPLにして定期的にリリースするとか
できるでしょ? つまり、フォークしてもGPL側はいつでもパブリックドメインのコード
を利用できると。
>CMUCLプロジェクトがGPL/LGPLを選択するか否かという問題ではcygwinの件で既に蹴っているではないか。
これも分かりにくいな。CMUCLプロジェクト内での議論でcygwinはライセンスが問題だから
cygwin使うのよそうやという意見の一致はないと思うよ。ただ、cygwin使ったらパブリックドメイン
のままにはできないかもねという認識があるだけ。
> そのソフトウェアがパブリックドメインを続ける限りはcygwinもreadlineも使えないし、
> "GPLに変えたら使えるじゃん"というのは "cmuclがパブリックドメインを続けようとしていて、
> その方針をとることによるcmuclプロジェクトへの制限"という話のすり替え。
なんか陰謀説みたいな話だけど、単純にcygwinかreadline使いたい人は使えばいいし、それを
配布したい人は、GPLかLGPLでcmuclをフォークすればいいだけでしょ? だれもだれかを制限しようと
なんてしていないでしょ?
> >これから、もしGPL, LGPLと互換性がないソフトウェア群が非常に多くなったときにどうするか?
> >FSFと一蓮托生でいいのか。
> 明らかなプロバガンダ。GPLでリリースしたソフトウェアはFSFに支配されるようになるみたいな言い方だな。
じゃあプロパガンダを消した残りの部分はどう?
114:101
04/02/08 16:03
>>102
ありがとうございます!
Excel, Word文書の自動作成をSchemeで書いてみたかったので。
とりあえず、こんなことができました。
(require (lib "mysterx.ss" "mysterx"))
(require (lib "class.ss"))
(define excel (cci/progid "Excel.Application"))
(com-set-property! excel "Visible" #t)
(com-invoke excel "Quit")
115:デフォルトの名無しさん
04/02/08 16:11
面白そうですね．Dr. Scheme って日本語ダメポって聞くけど，文字列としてなら
Excel とかに渡せるのかな？その辺が可能なら Dr. Scheme インスコしてみようかな．
116:デフォルトの名無しさん
04/02/08 17:21
>>113 そもそも議論の前提がちょっと。GPLの第0項を引用しておく。
0. This License applies to any program or other work which contains
a notice placed by the copyright holder saying it may be distributed
under the terms of this General Public License.
著作権保持者でなければGPLに出来ない。PDSには著作権保持者がいないのでそ
のままGPLではリリースできない。GPLに限らずライセンスは通常、著作権保持
者との契約なので、PDSに無改変のままでライセンスを付けるのは問題がある。
もう一つ考えとく必要があるのは、日本のように著作権を完全には放棄できな
い国があること。アメリカで権利を放棄して著作権表記をしなくても、同じも
のが日本の法律では著作権が自動的に発生して保護の対象になる。
Lisp関係では書き手が研究者のことがままある。研究者にはええかげんな人間
が多い。著作権表記がないものでも、ヒモつき研究活動の成果で実は著作権保
持者は勤務先なんてことがありがち。だから、ホントにPDSかは不安。GPL で
も修正BSDでも何でもいいからライセンス付けてくれれば善意の第三者ぶれる
ので少しは安心。
# あ～、不安になってきた。明日勤務先の規定調べないと。確か委託研究以外
# はコピーライト俺でいいはずなんだけど。
117:デフォルトの名無しさん
04/02/08 17:59
>cmuclの成果だけ持って来て、ライセンスだけGPLにして定期的にリリースするとかできるでしょ?
...
>なんか陰謀説みたいな話だけど、単純にcygwinかreadline使いたい人は使えばいいし、それを
>配布したい人は、GPLかLGPLでcmuclをフォークすればいいだけでしょ? だれもだれかを制限しようと
>なんてしていないでしょ?
それを"出来る"(=GPL/LGPL/BSD...に出来る)というのはお前の云う通り。
しかし、例えば、誰かが"cmuclをcygwinに移植しようかな"と言い出したとき、技術がそこそこあってそれが可能な人達というのは
まさにcmuclプロジェクトの彼らのことだろ(他にもたくさんいるだろうが、まず注目されるの彼ら)。
cmuclが現在パブリックドメインであることはこれ(=cygwinに移植しようかな)を多少なりとも足踏させる結果になっただろ?
可能論じゃなくって実際にそれをやる人が居るかを考えたときに、cmuclがオープンソースであることとcmuclがパブリックドメインであることには意識の違いが出てくると思わないか?
>じゃあプロパガンダを消した残りの部分はどう?
とりあえず
>>FSFと一蓮托生でいいのか。
についてはっきりと釈明しろと。で、これ
>これから、もしGPL, LGPLと互換性がないソフトウェア群が非常に多くなったときにどうするか?
別に何もしないでしょ。何か問題になる?
これまでの資産は
URLﾘﾝｸ(sourceforge.net)
莫大にあるというのに。
118:デフォルトの名無しさん
04/02/08 18:00
ライセンス話ウザイ。
119:117
04/02/08 18:02
>もう一つ考えとく必要があるのは、日本のように著作権を完全には放棄できない国があること。
これは忘れてたな。そういえばsourceforge.jpにはpdsがなかったなあ。
これって、もしかしてcmuclプロジェクトに参加できない...ってことじゃないよな。
120:デフォルトの名無しさん
04/02/08 18:04
ライセンスの話でlispがスレが埋まる現状はちょっと.....
頼むから、お 前 ら C o m m o n L i s p の 話 題 に 戻 ってくれ。
スレが伸びてもライセンスについての議論じゃあ、lispスレとしての価値がない
↓新鮮な話題を希望
121:デフォルトの名無しさん
04/02/08 18:29
>>112
CVSに入ってるnqueenが面白いですよ
122:デフォルトの名無しさん
04/02/08 18:42
S c h e m e の 話 題 に 戻 っ て く れ
>>121
ﾏﾝｾｰこいつぁ面白そうだ。最初っからこのくれー宣伝汁 !
でもまだ Anonymous CVS はないのか。今後に期待～
123:デフォルトの名無しさん
04/02/08 18:45
---新鮮な話題---
新しいlispの実装ができましたよ。
(defun lisp ()
(loop
(format t "~%* ")
(prin1 (eval (read)))))
124:デフォルトの名無しさん
04/02/08 18:49
cygwin上のgaucheとWindowsのapacheでWilikiを動かすと
書き込みのときに
unbound variable: alist-delete
って出るんですけど 対処法ありますか？
（リロードすると書き込めてるんですが・・・）
125:デフォルトの名無しさん
04/02/08 18:50
誰か解答求む
126:デフォルトの名無しさん
04/02/08 18:52
あります
127:デフォルトの名無しさん
04/02/08 18:57
教えてください
128:124
04/02/08 19:01
wilikiのdb.scmの
(define-module wiliki.db
(use srfi-13)
の部分に
(define-module wiliki.db
(use srfi-1)
(use srfi-13)
てやったら オケーぽいけど
これでいいのかな？
129:92@Vim%Chalice ◆r6EONKKhcc
04/02/08 20:33
藻前らこっちにきなさい
ライセンスあれこれ
ｽﾚﾘﾝｸ(unix板)
たまたま別スレの都合で数日前に書き込んだんですけど．
130:デフォルトの名無しさん
04/02/09 19:09
>>129
誤爆? 宣伝?
131:
04/02/10 19:06
(define make-structure
(lambda (n) (lambda (d) (lambda (m) ((m n) d)))))
(define select
(lambda (c) (c (lambda (a) (lambda (b) a)))))
の意味がいまいちわかりません。
例えば、
(select ((make-structure (+ 7 5)) (- 9 3)))
とした時のラムダ計算の課程を教えてくれませんか。
132:デフォルトの名無しさん
04/02/10 19:17
>>131
n := 7 + 5 => 12
d := 9 - 3 => 6
c := (lambda (m) ((m 12) 6)) => #<closure>
m := (lambda (a) (lambda (b) a)) => #<closure>
a := 12 => 12
b := 6 => 6
=> 12
133:
04/02/10 19:38
>>131
ありがとうございます、ホントに。助かりました。
134:デフォルトの名無しさん
04/02/11 20:29
.net系でlisp.netみたいなものってないの？
誰か作ってそうなもんだが。
135:デフォルトの名無しさん
04/02/11 20:50
URLﾘﾝｸ(common-lisp.net)
136:デフォルトの名無しさん
04/02/11 21:26
これのことですか．
URLﾘﾝｸ(dotlisp.sourceforge.net)
Activity Percentile (last week): 19.2626%
137:デフォルトの名無しさん
04/02/12 02:48
ecl をインストールしてみた。ドキュメントに書いてあるように hello world の
スタンドアローンプログラムを作ってみたら約 3MB の実行ファイルが出来た @
Mac OS X. こんなもんかな。
ところで、数ある Lisp レベルのスレッドの実装ってマルチプロセッサ下でどの位
スケールする物なのでしょうか? 実装依存 && 環境依存でしょうか。
138:デフォルトの名無しさん
04/02/12 04:00
clisp と ecl をたらいまわし簡易ベンチで比較してみました。ソースはここから。
最速スクリプト言語決定戦！
ｽﾚﾘﾝｸ(tech板)
結果）
非コンパイル：
clisp tarai.lsp 101.07s user 0.36s system 96% cpu 1:44.59 total
ロード -> コンパイル -> 実行：
clisp -C tarai.lsp 9.30s user 0.03s system 99% cpu 9.380 total
コンパイル済：
clisp tarai.fasl 9.28s user 0.06s system 99% cpu 9.342 total
ロード -> コンパイル -> 実行：
ecl -load tarai.lsp 67.55s user 19.54s system 93% cpu 1:33.05 total
コンパイル済：
./taraiecl 1.89s user 0.05s system 100% cpu 1.935 total
バージョンとか）
gcc (GCC) 3.3 20030304 (Apple Computer, Inc. build 1495)
GNU CLISP 2.32 (2003-12-29) (built 3285246448)
ECL (Embeddable Common-Lisp) 0.9c
139:デフォルトの名無しさん
04/02/12 07:51
>>137
C で書いたプログラムを動かすには C のランタイムが必要だ。
Java で書いたプログラムを動かすには java のランタイムが必要だ。
Lisp で書いたプログラムを動かすには Lisp のランタイムが必要だ。
で、通常 C のランタイムはシステム標準で付いてくるので意識する人が
少ないだけ。
寡聞にして Lisp レベルのスレッドの実装が複数あるとは知らなかった。
商用 Lisp は大抵 OS のネイティブスレッドだろうしなぁ……。まぁ
Lisp レベルのスレッドだとあんまりマルチプロセッサだから～とか
期待しないほうがいいんじゃないかな。ネイティブスレッドのほうが
どう見ても有利だろう。
140:デフォルトの名無しさん
04/02/12 08:06
>>139
>寡聞にして Lisp レベルのスレッドの実装が複数あるとは知らなかった。
すんません。嘘書きました。CMUCL 以外の処理系がネイティブである
事をあまりにも強調してるので、混乱してました。
>商用 Lisp は大抵 OS のネイティブスレッドだろうしなぁ……。まぁ
>Lisp レベルのスレッドだとあんまりマルチプロセッサだから～とか
>期待しないほうがいいんじゃないかな。ネイティブスレッドのほうが
>どう見ても有利だろう。
御意。
ファイルサイズの件について、ECL はデフォルトで共有ライブラリ化
されるみたいなので Mac 以外でも試してみます。現状でも特に不満は
無いです。
141:デフォルトの名無しさん
04/02/13 14:31
URLﾘﾝｸ(boost.cppll.jp) キモッ
142:デフォルトの名無しさん
04/02/13 15:46
>>141
俺にゃぁこーゆうのは複雑怪奇に見えるが，それでも、lisp よりはマシだとか思う
人も多いのだろうな。
143:デフォルトの名無しさん
04/02/13 16:12
GNUがm4なんて捨ててGuileをGNUツールの中心に据えるなんて話を
大分昔に聞いたんだけど、どうなったんだろう。親分の思惑とは
離れて、LISP嫌いのUNIXユーザが多すぎるんだろうな。arcなんてのも
最近は更新されてないし。
144:デフォルトの名無しさん
04/02/13 16:17
多過ぎるって程でもないんじゃないのかな。elispは結構使われてるし。
145:デフォルトの名無しさん
04/02/13 16:21
>>141
##の使い方見てて切なくなった（ｗ
146:デフォルトの名無しさん
04/02/13 19:34
俺は元大したことないLisper。CLOSなんかでprogramming。
今はC++のtemplateを使ったgeneric programmingに萌え。
147:デフォルトの名無しさん
04/02/13 23:00
漏れは大したことのないC++コード書き。template使ってgeneric&generativeなprogramming。
最近興味本位で触ったLispのマクロにくらくらしてる。
148:デフォルトの名無しさん
04/02/14 08:20
リストが循環構造かどうか、って判定する方法ある？
いちいち全部比較してくよりは、ＧＣのマーク＆スイープみたいに
マーク付けながら辿っていった方がいいかな。
149:デフォルトの名無しさん
04/02/14 08:37
>>148
hare and tortoise
150:デフォルトの名無しさん
04/02/14 15:30
"tortoise and hare" algorithm は
guile/libguile/list.c の scm_ilength() を見たらよいよ。
151:デフォルトの名無しさん
04/02/14 23:02
SICPの例題をこなすのにお勧めのSchemeの処理系はありますか？
環境は、Win2000 です。
152:デフォルトの名無しさん
04/02/14 23:52
何でもいいに決まってる。
153:デフォルトの名無しさん
04/02/15 01:43
>>151
DrSceme が簡単でいいんじゃないの?
cygwin + gauche という手もあるけど。
154:デフォルトの名無しさん
04/02/15 02:44
>>153
漏れ、最初DrScheme使ってt-y-schemeやったけど、
売りのトレースとかが、初心者モード（ほとんど何にもできない）でしか使えなくて泣いた。
155:デフォルトの名無しさん
04/02/15 03:02
>>151
SICPのサンプルコードはSCMかMIT-Schemeだった気がするので、
Cygwinで動くようならこれが無難？
win2kならPetite Chez + ChezEditも良いかもしんない。
156:151
04/02/15 11:17
MIT-Schemeってこれ URLﾘﾝｸ(www.gnu.org) ですか？
Windows binary 版をインストールしてみました。
EDwinって言うEmacs見たいなエディタも付属してます。
つか、殆どEmacs。。。
Lisp/Scheme やるには Emacs も覚えなあかんの。 ＿|￣|○
Schemeの処理系って小さいイメージがあったけど
MIT-Schemeって一式で35Mbyteもあるのね。
157:デフォルトの名無しさん
04/02/15 11:42
>Emacs も覚えなあかんの。 ＿|￣|○
Win環境の人からすると異常だけど、
UNIXのソフトって全体的にemacsのキーバインドに沿ったものが多いからね。
158:デフォルトの名無しさん
04/02/15 14:16
>>156
さあ、*nix文化へいらっしゃい。
今までM＄に飼い頃されてたのはなんだったんだ、と開眼するから。
159:デフォルトの名無しさん
04/02/15 15:31
vi>>>>>>>>>>>>>>>>>>emacs
160:デフォルトの名無しさん
04/02/15 15:57
秀丸>>>>>>>vi
161:デフォルトの名無しさん
04/02/15 16:07
Emacs>>>>>秀丸
さてどうしよう。
162:140
04/02/15 18:55
Scheme についても調べてみました。ネイティブコードコンパイル可能な処理系では、chicken と
mzScheme は Lisp レベルでの thread みたいでした。RScheme はサイトが落ちていて不明。
ECL で --enable-threads するとビルド出来ない（最新 CVS 版）のですが、Linux 限定なのかな。
163:デフォルトの名無しさん
04/02/15 20:13
>>157, 158
一応、vi (ex, ed) は使えるんですけどね。漏れって vi 信者。w
などと言いながら emacs のﾏﾆｭｱﾙ本買って来ました。
164:デフォルトの名無しさん
04/02/15 21:15
Kahua セミナー逝った香具師、レポートしてください。
地方在住 lisper は逝きたくても逝けないのです。おながいします。
165:デフォルトの名無しさん
04/02/15 22:31
>>158
ｳｲｿのﾌﾟﾛｸﾞﾗﾑでﾒｼを食ってる漏れとしてはそんな事は口が裂けても・・・
166:これってどうよ？
04/02/16 10:40
Pythonによるcommon lispのフロントエンド "lython"
URLﾘﾝｸ(www.caddr.com)
スラドの記事
URLﾘﾝｸ(slashdot.jp)
167:デフォルトの名無しさん
04/02/16 11:30
あくまで、Common Lisp風ね。だからScheme風といってもいいだろうし。
(import os)
(:= out "/tmp/lythontest")
(if (os.path.exists out)
(os.unlink out)
(print "target file does not exist"))
(:= f (open "/tmp/lythontest" "w+"))
(f.write "Hello World from Lython!")
168:デフォルトの名無しさん
04/02/17 05:50
pythonのライブラリが使えるlispモドキかな。
ちょっと前に話になったスクリプト云々の話は
これに食われそうだね。
ポータブルな実装としてはベースがpythonなら問題ないだろうし。
169:デフォルトの名無しさん
04/02/17 14:26
前も話題に出たけど、pythonと共存できて何か意味あるのか?
速度: pythonはバイトコード
ライブラリ: pythonよりもC/C++のライブラリの方が膨大
170:デフォルトの名無しさん
04/02/17 14:49
> ライブラリ: pythonよりもC/C++のライブラリの方が膨大
FFI が面倒なので Python のライブラリでｳﾏｰって事でしょう．
まぁ，中途半端な Lisp モドキよりは普通に Python 使ったほうが
いいような気がしますがね…
171:デフォルトの名無しさん
04/02/17 16:09
#define BEGIN { と似たような一抹の虚しさがただような。
ライブラリを手軽に使うのだけが目的なら、Common LispかSchemeと言語仕様を同じにしなくちゃね。
ただ、ここから新しい言語として羽ばたかせようというなら話は別だけど。
Arcみたいにね。
まぁ、ただ面白そうだからやってみたんだろうけど。
172:デフォルトの名無しさん
04/02/17 16:32
おまえらこんなとこでケチつけてないで、今 後 に 期 待 し と け
173:デフォルトの名無しさん
04/02/17 16:47
>>172 そんな言い方じゃ、話が面白くならないよ。今後に期待できるようなことは何かあるの?
174:デフォルトの名無しさん
04/02/17 16:57
pythonが超ポピュラーになってライブラリが暴発的に増えるとかいう展望を抱けw
175:デフォルトの名無しさん
04/02/17 17:10
lythonダウンロードしてみました。ウェブサイトやコードを見た限り、まだまだ、
孵化する日は先で、生まれたてのホヤホヤという感じです。
みんなが作るのが好きな俺Lispの1つですね。
しかし、よくSlashdotが取り上げたね。それが悪いというわけじゃないけど。
176:175
04/02/17 17:13
あっ、つけるの忘れてた。最後にwをつけて読んでください。
177:デフォルトの名無しさん
04/02/17 17:37
(´-`).｡ｏＯ(孵化してないのに産まれたて。。。)
178:デフォルトの名無しさん
04/02/17 17:41
(･Ａ･)lython!!
179:デフォルトの名無しさん
04/02/17 22:46
大蛇は卵生だから、産まれてから孵るまで時間がかかるんじゃないの。
しかし、インデントのかわりにS式使ってる感じだね。
そういえば、Parrot上のSchemeはどうなったんだろ。Parrot自体が資金ショー
トという噂も聞いたこともあるけど。
180:デフォルトの名無しさん
04/02/18 01:45
えーとguileやgaucheは「組み込みLispライブラリ」としての用途も意図されているわけですが，
実際に組み込むためのHOWTO文書とかチュートリアルってあります？
けっこう検索したんだが見付からない．
guileを組み込んだGNUプロジェクトのアプリはいくつかあるけど，大き過ぎて見る気がしない．
なんか「Schemeで拡張できるtail(1)を作ってみました」みたいな文書ないもんですかね．
181:デフォルトの名無しさん
04/02/18 11:00
>>180 guileの現状は知らないんですが、すこし前までは、guile自体の発展速度が
速すぎて、非互換な変更とかがけっこうあって、アプリに組み込んだ人が苦労した
という話がありました。とかいうふうに一度、レッテルを貼られると、それを取り除く
のに苦労しますよね。GNUはマニュアルをちゃんと書く習慣があると思うんだけど、
guileのマニュアルにアプリへの組み込みチュートリアルないのかな?
>>179 つーか、Parrotをやってる人たちって金もらっているのですか?
ParrotがJVMレベルのバーチャルマシンとしてみんなに認められれば、オモロ。
182:デフォルトの名無しさん
04/02/18 17:14
>>181
とりあえず去年の今ごろのParrot/Perl6の紹介には金が足りないというのがあっ
た。URLﾘﾝｸ(www.newsfactor.com)
CVSにはscheme用もあったけど動くのか不明。ぱっと見、まだ途中かなという
感じがした。H"なんで下して試す元気がないから、誰が試してくれるとうれし
い。
;; 遅れぎみ(婉曲的な表現)なんで、逆に誰かがどれでもいいから別のVM上に
;; Perl6を実装しちゃえば英雄になれるかも。
183:180
04/02/19 01:04
>>181
GuileのinfoのPart 3がそれっぽいんですが，どうもイマイチ実感が...
マトモなサンプルになってないんですよ．
ドローソフトの組み込みにするために，いかに「図形」をSchemeオブジェクトとして
Cレベルで定義するかが主眼らしいんだけど．
そんな高尚なことよりとりあえずS式の設定ファイルを読みたいだけなのにな．
ま，がんばったらできそうなので文書にするかも．
184:デフォルトの名無しさん
04/02/19 19:52
>>180
Gaucheはドキュメントはまだ無いみたいだけど、インタプリタであるgoshが
「Gaucheライブラリのサンプルアプリ」という位置付けらしいのでソース見るのが早い。
goshはlibgaucheを初期化してrepl起動してるだけだから本当に小さいし。
185:デフォルトの名無しさん
04/02/20 23:00
Gauche0.7.4.1 で gdbm はどうやって使うのでしょうか。
gdbm.so が ext/Makefile から外されてる
gdbm.c はコンパイルできない。エラー多すぎ
までは調べました
186:デフォルトの名無しさん
04/02/20 23:04
半分解決
ndbm 使うと perl コンパチのファイルができたみたい・・
なので gdbmは不要となりました。
187:デフォルトの名無しさん
04/02/20 23:18
確か、configure時にgdbmの存在をチェックしてると
思うので、それが見つけられていないのでは。
gdbmが/usr/localとかにインストールしてあるなら、
./configure --with-local=/usr/local みたいにするとか。
188:デフォルトの名無しさん
04/02/21 00:11
恐れ入ります。
config.log 見て納得しました。
perl は p5-GDBM 入れないと駄目なんですね。
gdbm はあまり使われてないと。
189:デフォルトの名無しさん
04/02/21 11:11
multiple-value-bind の属性リスト版を書いたんですけど、
どうやったら gensym を使うように改良できますか?
使い方は、(setq alist '((a 2) (b 3))) と代入しておいてから
(alist-bind alist (print (+ a b)) (* a b)) を評価すると、
5 を印字してから 6 を返すような関数です。
現状はこんな感じです。
(defmacro alist-bind (alist &body body)
(let ((alist-bind-internal-variable (eval alist)))
`(multiple-value-bind
,(values (mapcar #'car alist-bind-internal-variable))
,(cons 'values (mapcar #'cadr alist-bind-internal-variable))
,@body)))
バッククオートを入れ子にして使うのがどうしてもうまくいかなくて
ほかと重ならない変数名で逃げてます。実用上は問題ないんですが
もっとスマートな解決策はないものでしょうか。
190:デフォルトの名無しさん
04/02/21 11:13
>>189
>5 を印字してから 6 を返すような関数です
マクロの typo です。
191:デフォルトの名無しさん
04/02/21 12:28
>>189
ちょっとあなたのと仕様が違いますが、昔書いたものを。
(defmacro alist-bind ((&rest vars) alist &body body)
(let ((tmp (gensym)))
`(let ((,tmp ,alist))
(let ,(mapcar #'(lambda (var)
`(,var (cdr (assoc ',var ,tmp :test #'eq))))
vars)
,@body))))
(setq data '((a . 1) (b . 2) (c . 3)))
(alist-bind (b c a) data
(list b c a))
=> (2 3 1)
(macroexpand-1 '(alist-bind (b c a) data (list b c a)))
=> (LET ((#:G219 DATA))
(LET ((B (CDR (ASSOC 'B #:G219 :TEST #'EQ)))
(C (CDR (ASSOC 'C #:G219 :TEST #'EQ)))
(A (CDR (ASSOC 'A #:G219 :TEST #'EQ))))
(LIST B C A)))
192:189
04/02/22 22:00
>>191
let の変数定義をマクロ展開の結果に置き換えるマクロを書くわけですね。
勉強になります。alist-bind がレキシカルコンテキストを参照できるので、
こちらの方が優れてますね。その代わり、vars に与える変数一覧を事前に
与えないといけないので、今やりたい用途には使えないですね。
いま欲しいのは、destrucuring-bind の複数版で、1個の値に対して
パターンを複数与えることができるようなマクロです。最初のパターンに
うまくマッチしなければ次のパターンを試し、マッチしたパターンがあれば
そこで変数を束縛して、対応する式を順次評価して最後の式の値を返すと
いうような物です。最後のパターンにもマッチしなかったばあいは nil と
いうことで。
(let ((x 2))
(dbind* (list (+ 3 4) 5) ; 最初に評価して(7 5)を得る
((a b c) (list a b c)) ; マッチしないので実行されない
((a b) (incf x) (list a b x)))) ; (7 5 3) になる
というような dbind* がうまくできなくて困ってます。
まず値を集めて、後から展開するという方針が間違ってるのかもしれません。
どうしても評価のレベルが一致しないんですよね。
193:デフォルトの名無しさん
04/02/22 22:20
先に進んじゃってるとろスマンけど、>>189 ってちゃんと動くのか？
(setq alist '((a 1) (b 2)))
(alist-bind alist (print (+ a b)) (* a b))
とかいたファイルをコンパイルしたら、alist-bind の展開時に
まだ alist がバインドされてないとかでエラーになるような…。
194:デフォルトの名無しさん
04/02/22 23:00
>>192
パターンが単純であればこんな感じかな？
destructuring-bind と同等のことがしたい場合は、
もっと複雑なことをしなければならないが。
(defmacro dbind* (list &body forms)
(let ((vals (gensym)))
`(let ((,vals ,list))
(case (length ,vals)
,@(mapcar #'(lambda (form)
(let ((vars (car form)))
`(,(length vars)
(let ,(mapcar #'(lambda (var)
`(,var (pop ,vals)))
vars)
,@(cdr form)))))
forms)))))
195:189
04/02/22 23:50
>>193 やってみたら、compile-file でエラーが出ました。load したら 3 が印字されて t が
返りましたけど。>>192 がうまく動かないはそのせいなのかもしれません。
196:189
04/02/23 00:21
>>194 すみません、調べてみたら destructuring-bind よりもっと複雑な仕様でした。
例えば (dbind* '(a (2 3 4)) (('a (b 3 c)) (+ b c))) がマッチして、6 が返されます。
シンボル以外のアトムや quote されたシンボルをネストした S 式の中に書くことができ、
パターンの同じ場所に eq になるアトムが存在するときに、マッチするものと見なされます。
上の例の 3 や a がそれです。このとき、a はシンボル a に束縛されます。
197:デフォルトの名無しさん
04/02/23 01:50
>>196
ふむ、若干面倒だね。とりあえず、パターンのシンボルに
リストがマッチするものとして書いてみた。
(defun match (vars vals)
(do ((vars vars (cdr vars))
(vals vals (cdr vals)))
((or (null vars) (null vals))
(not (or vars vals)))
(let ((var (car vars))
(val (car vals)))
(unless (cond ((eq var val) t)
((symbolp var) t)
((atom var) nil)
((eq (car var) 'quote)
(eq (cadr var) val))
((atom val) nil)
(t (match var val)))
(return)))))
198:197
04/02/23 01:50
続き
(defmacro dbind* (list &body forms)
(let ((dummy (gensym))
(vals (gensym)))
(labels ((bind (vars vals)
(mapcan #'(lambda (var)
(cond ((atom var)
`((,(if (symbolp var) var dummy)
(pop ,vals))))
((eq (car var) 'quote)
`((,(if (symbolp (cadr var)) (cadr var) dummy)
(pop ,vals))))
(t (let ((temp (gensym)))
`((,temp (pop ,vals))
,@(bind var temp))))))
vars)))
`(let ((,vals ,list))
(cond ,@(mapcar #'(lambda (form)
(let ((vars (car form)))
`((match ',vars ,vals)
(let* (,@(bind vars vals))
,@(cdr form)))))
forms))))))
199:デフォルトの名無しさん
04/02/23 05:51
Gauche0.7.4.1をインストールして
(string-concatenate-reverse '(" must be" "Hello, I") " going.XXXX" 7)
っていう式を評価させたらエラーになったんだけど、
SRFI-13ではそういう実装も許されてるの？
それともインストール失敗しただけ？
200:デフォルトの名無しさん
04/02/23 06:21
>>199 バグじゃん? wilikiにでも報告するよろし。
201:デフォルトの名無しさん
04/02/23 18:37
perlのスクリプトとをgaucheに移植してるんだけど
perlとgaucheの対応表なんてどっかにありませんか。
とりあえず
open(STDERR, ">&STDOUT")
$| = 1
$!
がわからない。
202:デフォルトの名無しさん
04/02/23 22:40
>>199
URLﾘﾝｸ(www.shiro.dreamhost.com)
optionalついてないのがGaucheでの仕様なんじゃないの？
203:デフォルトの名無しさん
04/02/25 19:07
つーかトランスレーター作ろうぜ
perlよくわからない
204:デフォルトの名無しさん
04/02/25 20:51
Perl を勉強して書き直すほうがためになるよ。きっと。
205:デフォルトの名無しさん
04/02/25 21:07
Perlを知らずにトランスレータもないだろうに
206:デフォルトの名無しさん
04/02/26 00:12
>>201
$| = 1 と $! の例を強引に考えてみた(dup は不明)。詳しい人のフォロー希望。
(with-error-handler
(lambda (e) ;; e は例外オブジェクト($! のようなもの)
(format (current-error-port) "ERROR: ~a¥n" (ref e 'message)))
(lambda ()
;;(with-input-from-file *program-name* ;; 正常パターン
(with-input-from-file "nowhere file" ;; エラーパターン
(lambda ()
(set! (port-buffering (current-output-port)) :full) ;; $| = 1 ?
(port-for-each
(lambda (line)
(display line)
(newline))
read-line)))))
C がわかるなら、リファレンスの C と Scheme の対応一覧が役に立つかも。
207:デフォルトの名無しさん
04/02/26 10:34
勘で。
----
$|=1;
open IN, "foo.pl";
print while (<IN>);
-----
(call-with-input-file "foo.scm"
(lambda (in) (copy-port in (current-output-port)))
:buffering :none)
208:こゆことかな...?
04/02/26 11:29
------------------------------
#!/path/to/gosh
(display "Content-type: text/plain\r\n\r\n")
(display "Test.\r\n")
(with-error-handler (lambda (e) (print #`"***ERROR: ,(ref e 'message)") (exit 1))
(lambda () (with-input-from-file "no_such_file" (lambda () (print "File opend.")))
))
------------------------------
#!/path/to/perl
open(STDERR, ">&STDOUT");
$| = 1;
print "Content-type: text/html\n\n";
print "This is a test.<BR>";
open(IN, "no_such_file") || die "***ERROR: ", $!;
close(IN);
209:デフォルトの名無しさん
04/02/26 15:25
恐れ入ります。
簡単に行かないというのがわかりました。
dup と flush は gosh本体に仕込んで起動時オプションで処理する。
$! もグローバル変数に組み込んでしまうのが簡単か
210:デフォルトの名無しさん
04/02/27 00:11
別の言語なんだし全部直訳はできないのは当然じゃん。
いろいろ解説してくれた人がいたんで代わりにまとめ。
open(STDERR, ">& STDOUT") なら
(with-error-to-port (current-output-port) THUNK)
$| = 1 じゃなくて autoflush を使うべきなんで
((setter port-buffering) PORT :none)
$! でメッセージが欲しいのなら with-error-handler
でエラーをキャッチして (slot-ref ERR 'message)。
これは eval で die をキャッチするのをイメージ。
211:189
04/02/27 08:09
>>197-198
ありがとうございました。遅くなりましたが、自分の欲しい内容への改造が
やっとできたのでお伝えします。
比較対象がアトムやquoteされたアトムの場合の動作を改善するため、
トップレベルだけを別扱いにすることにしました。
(defun match0 (vars vals)
(cond ((symbolp vars) t)
((atom vars) (eq vars vals))
((atom vals)
(and (eq (car vars) 'quote) (null (cddr vars)) (eq (cadr vars) vals)))
((eq (car vars) 'quote) nil)
(t (match vars vals))))
という関数を追加し、dbind* の labels で定義している局所関数にも
((bind0 (vars vals)
(cond ((atom vars) (if (symbolp vars) `((,vars ,vals))
`((,dummy ,vals))))
((eq (car vars) 'quote) `((,dummy ,vals)))
(t (bind vars vals))))
という定義を追加します。そして dbind* 末尾から3,4行目の
`((match ',vars ,vals)
(let* (,@(bind vars vals))
をそれぞれmatch0, bind0 の呼び出しに置き換えます。
動作の変わった例としては、以下のようなものがあります。
(dbind* 3 ((4) 5)) ; エラーにならずにnilを返すようになった
(dbind* '(3 7) (any any)) ; (3 7) を返すようになった
(dbind* '(3 7) ('any t) ; 7 を返していたのがnilを返すようになった
212:嵩
04/02/27 16:48
131 ： ：04/02/10 19:06
(define make-structure
(lambda (n) (lambda (d) (lambda (m) ((m n) d)))))
(define select
(lambda (c) (c (lambda (a) (lambda (b) a)))))
の意味がいまいちわかりません。
例えば、
(select ((make-structure (+ 7 5)) (- 9 3)))
とした時のラムダ計算の課程を教えてくれませんか。
132 ：デフォルトの名無しさん ：04/02/10 19:17
>>131
n := 7 + 5 => 12
d := 9 - 3 => 6
c := (lambda (m) ((m 12) 6)) => #<closure>
m := (lambda (a) (lambda (b) a)) => #<closure>
a := 12 => 12
b := 6 => 6
=> 12
となっているけど、もう少し詳しく説明できる人いますか？
ラムダ計算が今一よくわからないもんで。
213:デフォルトの名無しさん
04/02/27 16:54
>>212
詳しく説明できるが
聞 き 方 が 気 に 食 わ な い
214:デフォルトの名無しさん
04/02/27 17:09
関数適用で束縛変数を引数で置き換えればいいんだよ。
215:デフォルトの名無しさん
04/02/27 17:18
make-structure = λn.λd.λm.((m n) d)
select = λc.(c λa.λb.a)
(select ((make-structure (+ 7 5)) (- 9 3)))
= (select ((make-structure 12) 6))
= (select ((λn.λd.λm.((m n) d) 12) 6)) ; nを消す
= (select (λd.λm.((m 12) d) 6)) ; dを消す
= (select λm.((m 12) 6))
= (λc.(c λa.λb.a) λm.((m 12) 6)) ; cを消す
= (λm.((m 12) 6) λa.λb.a) ; mを消す
= ((λa.λb.a 12) 6) ; aを消す
= (λb.12 6) ; bを消す
= 12
216:デフォルトの名無しさん
04/02/27 23:36
私はslot-refでCLOS止めました
letで囲めばいいじゃん!
217:デフォルトの名無しさん
04/02/28 02:39
なんか物凄い基本的なことかもしれないですが、
Schemeの末尾再帰の動きが良くわからないのです。
どなたか教えてくださいませんか
(define fact-tail
(lambda(n x)(if( (= n 0) x
(fact-tail(- n 1)(* n x)))))
階乗を求めようとしているのはわかりますが、
これに対して、(fact-tail 5 1)
を与えたら何で120が導けるのかいまいちわからないです。
(fact-tail 3 1) として
どういう風に再帰展開されるのかわかるかた
教えていただけませんでしょうか。
218:デフォルトの名無しさん
04/02/28 02:48
>>217
1ステップずつ考えれば分かるだろ
219:デフォルトの名無しさん
04/02/28 02:50
>>217
(fact-tail 3 1)
(fact-tail (- 3 1) (* 3 1))
(fact-tail 2 3)
(fact-tail (- 2 1) (* 2 3))
(fact-tail 1 6)
(fact-tail (- 1 1) (* 1 6))
(fact-tail 0 6)
(= n 0) が真になるので 6 を返す
末尾再帰は C などの for ループと本質的に同じ
int fact(int n){
int x=1;
for(; n--; 0!=n) x*=n;
return x
}
220:217
04/02/28 03:05
>>219
ありがとうございます。ぼけてました。引用もとの文には
(if (= n 0) x
と書いてあるのに手持ちのメモに
(if (= n 0) 1
と書き写してしまいそっちをみていてはまってしまいました
すっきりしました。おさわがせしてすみません。
221:217
04/02/28 03:11
>>219
引用元はSoftwareDesign の2000年9月号のScheme特集でした。
「末尾再帰を使うとスタックを消費しない」
と書いてあったけどイメージしにくかったんですが
for ループに対応してると考えるとわかりやすいですね。
222:デフォルトの名無しさん
04/02/28 11:34
繰り返しを末尾再帰に直すと、変数代入の様な
明示的副作用を書なくて良いというのがあって、
Schemeではset!をほとんど使わずにコードが書ける。
223:デフォルトの名無しさん
04/02/28 12:18
schemeに限ったことじゃないような。
まあ、"俺Lisp"的な実装はは末尾再帰最適化がなかったりするけど。
224:デフォルトの名無しさん
04/02/28 13:18
>>223
Schemeは言語仕様上いつでも安心して使えるってことだよ。
例えばtail recursionがproperじゃないCommonLispで
「常に末尾再帰を意識しながら書く」って奴がいるとも思えないが。
225:デフォルトの名無しさん
04/02/28 15:41
>>216
言いたい事が良くわかりまらないんだが with-slots あたりで満足ですか？
>>224
大抵のプログラマは意識はしてると思いますが。
末尾再帰の話が出てこない CL の入門書は見たことないですし。
CL だと最適化オプション下げれば末尾再帰の最適化が
OFF になってデバッグしやすくなるし。
226:デフォルトの名無しさん
04/02/28 16:08
Emacs LispやCommon Lispを主に使って、Schemeはあまり使わない俺の場合だと、
再帰呼び出しが末尾にあるかどうかは最初はほとんど気にしません。
読みやすさや見ための綺麗さを優先して最初はコーディングします。
再帰を使う時は、スタックの消費量が問題になるほど、呼び出しが深くなるか
どうかには注意します。そして、CLを使っているときは、もし再帰呼び出しが
末尾位置にあれば、ああ、スタックの消費量を気にしなくてもいいかな、という
考えが頭に浮かびます。
227:225
04/02/28 16:16
> 言いたい事が良くわかりまらないんだが with-slots あたりで満足ですか？
いかん、丁寧に直したら副作用で日本語が壊れている……
>>226
末尾再帰って末尾位置に再帰があれば良いってもんじゃないんだけど。
228:デフォルトの名無しさん
04/02/28 16:22
>>227
>末尾再帰って末尾位置に再帰があれば良いってもんじゃないんだけど。
R5RSに定義されている「末尾位置」のつもりだったんですけど?
229:デフォルトの名無しさん
04/02/28 16:45
>>227
> 言いたい事が良くわかりまらないんだが with-slots あたりで満足ですか？
あんた、いい人だ！
でもgoshに無いのでやっぱりCLOS止め
230:デフォルトの名無しさん
04/02/28 16:54
>>228
スマン。末尾位置ってはじめて聞いたもんで。tail context の事なのか？
>>229
なんだそりゃ! 無いならお前が作れ!
231:デフォルトの名無しさん
04/02/28 17:07
>>230
> tail context の事なのか？
そうです。不正確でしたね失礼しました。今、R5RSで確認したんですけど、
tail contextが正しい用語みたいですね。覚えておこう。ちなみにtail contextの
日本語定訳はあるのかな?
gaucheでゴーシュ。俺はしばらく「ガウチェ」と発音していたよ。
232:デフォルトの名無しさん
04/02/28 17:07
>>225
末尾呼び出しを思いっきり使えるかどうかって、
コーティングスタイルがまるで変わってくると思うんですが、
>URLﾘﾝｸ(www.swiss.ai.mit.edu)
(define (cpstak x y z)
(define (tak x y z k)
(if (not (< y x))
(k z)
(tak (- x 1)
y
z
(lambda (v1)
(tak (- y 1)
z
x
(lambda (v2)
(tak (- z 1)
x
y
(lambda (v3)
(tak v1 v2 v3 k)))))))))
(tak x y z (lambda (a) a)))
;;; call: (cpstak 18 12 6)
たとえばこういう内包挟んだ末尾再帰もCommonLispコンパイラが
ちゃんと末尾として認識するのかなと。
233:デフォルトの名無しさん
04/02/28 17:18
>>230
いや、おれは「letで囲めば良い」を布教させる事に全力を傾けたい
だから、もう一度、キョンキョンにこの歌を歌ってもらおう
（キョンキョン）おまえら！一緒に歌ってくださーい
♪defineの次に、letで囲めばぁー
いーじゃん♪ （見逃してくれよー）
いーじゃん♪ （見逃してくれよー）
♪作ったlambdaの引数はいつもこれ→(msg . args)
いーじゃん♪ （メッセージ送れよー）
いーじゃん♪ （メッセージ送れよー）
（キョンキョン）よし、分かったな。じゃあ解散！
234:デフォルトの名無しさん
04/02/28 17:22
↑バカ？
235:デフォルトの名無しさん
04/02/28 17:24
>>232
大抵のコンパイラは普通に認識するよ。
236:デフォルトの名無しさん
04/02/28 17:25
徹夜で気でも狂ったか？
237:デフォルトの名無しさん
04/02/28 17:30
ワロタ
238:デフォルトの名無しさん
04/02/28 17:32
>>232 俺はこういうコーディングは思いつかないと思うけど、schemerの人って
こういうコーディングをよくするの? 見ためは、綺麗だよね。
239:デフォルトの名無しさん
04/02/28 17:37
>>232
そういうコードが安心して使えるかどうかっていうと駄目だろ。
CommonLispはコンパイラの最適化って点でインプリメンタの気まぐれなわけだし。
コーティングスタイルにまでは及ばない。
240:デフォルトの名無しさん
04/02/28 17:39
>>238
CPS（232みたいなk=continuationを渡していくやつ）はよく使うよ。
241:デフォルトの名無しさん
04/02/28 17:40
♪defineの次に、letで囲めばぁー
242:デフォルトの名無しさん
04/02/28 17:41
春はまだ先だぞ
243:デフォルトの名無しさん
04/02/28 17:44
最適化部分は処理系依存なだけで。 C とかだって最適化は規格で決まってなくても
プログラマは処理系のマニュアル見て安心して使うだろう？末尾再帰の最適化が完全
に良い事づくめなら Scheme みたいに規格で決めちゃってもいいかもしれんけど，デ
バッグがやりにくくなるからなぁ……
でも普通は処理系が対応してりゃ安心して使えるだろう。大抵のコンパイラは末尾再
帰の最適化機能を備えているわけだ。以前 c.l.l でも出ていたがやっぱ最適化オプ
ションに「末尾再帰の最適化」を設けるべきだろうなぁ。規格以外は一切使わないと
いうポリシーもありだと思うけどね。
244:sage
04/02/28 17:45
（見逃してやれよー）
245:デフォルトの名無しさん
04/02/28 17:55
>>243
デバッグがやりにくくなる？
どんなデバッグしてるのさ
ログ出すだけじゃないの？
246:デフォルトの名無しさん
04/02/28 18:40
アセンブラ出力しておっかけてるんだろ
247:デフォルトの名無しさん
04/02/28 18:56
xyzzy で tail recursion が遅いのは大変残念な思いがします．
248:デフォルトの名無しさん
04/02/28 18:56
関数トレースしたり、エラーがでたらバックトレースみたり、
スタックフレームのぞくだけだけど…。ひょっとして「ログ出す」
ってのが普通なの？漏れ Lisp の正規の教育受けてないので
常識には自身がないんだよね。
249:デフォルトの名無しさん
04/02/28 18:58
s/自身/自信/
どうやら国語も勉強しなおしたほうがいいようだ。吊ってくるわ。
250:デフォルトの名無しさん
04/02/28 19:06
所詮はエディタだし。
251:デフォルトの名無しさん
04/02/28 19:08
Lispの正規の教育受けてる人なんてほとんどいないだろ。
Java/C/C++でさえ書籍orWebの情報だけでやっていく人がたくさんいるし。
252:デフォルトの名無しさん
04/02/28 20:55
正規の教育ってなんだ？（ｗ
253:デフォルトの名無しさん
04/02/28 21:14
>>245 のデバッグ手法を教えてください。漏れも最適化したらデバッグ用
情報が減るのは当たり前だと思ってたんだけど。Scheme では関数呼び出し
情報とかはあんまりデバッグに使わないんですか？
254:デフォルトの名無しさん
04/02/28 22:17
schemeも、トレース実行すると末尾再帰の呼び出しが
普通の再帰みたくツリー上に出るんじゃない？
デバッグでなんか大きな違いってあるの？
255:デフォルトの名無しさん
04/02/29 01:09
>>253
ログ出しについての説明か？
ループの中で変化する変数を表示するだけですが。
256:デフォルトの名無しさん
04/02/29 13:11
>>254
え、何という処理系ですか？デバッグ周りって処理系依存ですよね。
トレース実行って特定の関数だけとか全体とか指定できるんですか？
>>255
それだけじゃキツイなぁ。再帰がふか～い所でエラーな時とか。
やっぱエラーになってデバッガが立ち上がったところから手繰って
いけたほうが便利だと思いますが。私の使ってる処理系は debug レベル
を 2 以上にすると末尾再帰の最適化が行われなくなるのでエラーに
なった時点からフレームをたどっていけますが…。
257:デフォルトの名無しさん
04/02/29 13:50
traceなら処理系というかマクロでできるよ
258:デフォルトの名無しさん
04/02/29 15:53
デバッグがらみの話題で、処理の流れを目で追うことができるソースレベルデバッガが
売り物の処理系でも付いていないというのは、要望が少ないからなのかな? たしかに
バックトレースの表示などの伝統的なやり方でもデバッグできるけどね。あと、要所
要所に(format t "my-var = ~S~%" my-var)を挿入とか。俺はPerlでもこのやり方で
デバッグするね。Data::Dumperという便利なものもあるし。
俺はEmacs Lispではソースレベルデバッガであるedebugをもっぱら使ってdebugはほとんど
使ったことがない。
259:デフォルトの名無しさん
04/02/29 16:39
stepじゃ駄目なの?
260:デフォルトの名無しさん
04/02/29 16:53
>>259 いや、stepでもたぶん同じことができると思うけど、エディタでコード全体を
見渡しながらデバッグできると気持がいいんだよね。ついでに、監視したい式なんかを
複数登録しておいて常時、その値を表示させておくとか。ブレーク時に画面上で変数の
上にマウスポインタを置くだけで、値が表示されるとか。
つまり、昔かたぎの人からみれば、俺は現在のIDEに毒されているヘタレということか。プ
261:デフォルトの名無しさん
04/02/29 17:53
slimeに期待かな。
現時点でもエラー箇所の表示とか凝ったことできるし。
262:デフォルトの名無しさん
04/02/29 18:10
名前がスライムっぽくて嫌
263:デフォルトの名無しさん
04/02/29 19:34
ﾒﾀﾙｽﾗｲﾑがあらわれた
ﾒﾀﾙｽﾗｲﾑAは逃げ出した
264:デフォルトの名無しさん
04/02/29 20:05
バックトレースってデバッグでは便利だと思うんだけど Scheme の人は
要らないのかな？拾ってきたプログラムがエラー吐いてとまったときと
かバックトレースが空だとちょっと悲しいんだけど。
>>257
なんか安心して使える trace の実装とかあります？処理系によっては
付いてるみたいだけど。付いてないのも結構あるので困るんですが。
265:デフォルトの名無しさん
04/02/29 22:05
>>264
そういうのはどう転んでも処理系依存だしなあ。
いつでも外せるassertみたいなの埋め込むぐらいしか。
昔さわったminischemeのトレースはトレース対象を出力用の
フック関数で挟む方式だった。後付けマクロ。
関数突入・脱出でトレース出力するので、
トレース対象関数は自然と末尾再帰が外れて山形の出力になる。
ただし内部関数、名無し関数には使えない。
266:デフォルトの名無しさん
04/03/01 12:48
foo,bar,baz,mumble,glorp
これって何に由来してんだぁ？
267:デフォルトの名無しさん
04/03/01 13:21
>>266
foo と bar は RFC で定義されているよ
268:デフォルトの名無しさん
04/03/01 14:02
RFCは冗談も混ざっているからなぁ。
269:デフォルトの名無しさん
04/03/01 23:33
MLの有名な本より写経
A Lisp hacker says: 'Since the integers are a subset of the
real numbers,the distinction between them is wholly artificial
--foisted on us by hardware designers.ML should simply provide numbers,
as Lisp does, and automaticaly use integers or reals as appropriate.'
Do you agree? What considerations are there?
MLerはいろいろ言うだろうが、Lisperはどう答える？
270:デフォルトの名無しさん
04/03/02 00:00
なにを勿体つけてるんだ？ ML for the working programmer の ex2.2
って言えばいいじゃん。翻訳もせずに丸投げなあたり宿題か何か？
まぁ実際 ML にまでそうしろと言う Lisper は少ないと思うよ。
NetNews でも ML の数値周りが気に食わないと噛み付いてた Lisper
は居たけど ML に Lisp 式の数値にしろ！とまで言うやつぁ少ないだろ。
理由はなんで ML がそうしてるかを考えればわかるだろ。
271:デフォルトの名無しさん
04/03/02 00:08
まあ、そう熱くならんでも。
型無しのありがたみって何だろうな、というネタフリなんよ。
272:デフォルトの名無しさん
04/03/02 00:36
本からのｺﾋﾟﾍﾟ程度でいちいち age るのがウザイんだよ。
ML スレでやれば？型無しのありがたみは無いってことでいいからさ。
デバッグ方法が聞けてｳﾏｰと思ってたのに、そんなつまらんネタ振るな。
だいたいここは Lisp 総合スレなんだ、型有りの Lisper 連中からすりゃ
ハァ？って話題だろーが。全部の LISP 型無しという狭い見識をなんとか
してから出直してきてくれ。
273:デフォルトの名無しさん
04/03/02 00:37
dat 落ちした前スレを html 化してもらいました。
LISP Scheme Part9
URLﾘﾝｸ(ruku.qp.tc)
274:デフォルトの名無しさん
04/03/02 12:24
強い型付けのないSchemeのような言語には
良いところもあるよなぁ、ということを言いたかった
だけなんだがなぁ．．．
275:デフォルトの名無しさん
04/03/02 12:49
まぁ、あんまり気にすんなや。
276:デフォルトの名無しさん
04/03/02 19:09
健全なマクロ ＶＳ 不健全なマクロ
1 ：デフォルトの名無しさん ：04/03/02 19:14
(ちょっと入れ子でスレ立たせてくれや)
健全なマクロって不便だし、不健全なマクロの貸しコートもささくれ立っていてなんかイヤ。
だから、健全なマクロに「不健全」ていうオプション欲しいよな？
お前ら、どう思いますか。
277:デフォルトの名無しさん
04/03/02 19:14
健全なマクロ ＶＳ 不健全なマクロ
2 ：デフォルトの名無しさん ：04/03/02 19:15
2get
278:デフォルトの名無しさん
04/03/02 19:16
「不健全」というと健全なのより悪いイメージがあるからな～。
個人的にはつまらないマクロと楽しいマクロだな。変数キャプチャ
があった方がいろんな意味で楽しい。はまるとデバッグも愉快な事
になるしな。アヒャヒャヒャヒャ。
279:デフォルトの名無しさん
04/03/02 19:20
define-unhygienic-syntax ;-)
280:デフォルトの名無しさん
04/03/02 19:56
defmacro/define-macroの方が簡単だし構造見えるし作りやすい。
gensym命。でもSRFIのhygienicマクロそのまま読めない罠。
まあhygienic作る暇あったら正規表現でも統一しなさいってこった。
281:デフォルトの名無しさん
04/03/02 20:28
>>278
define-boring-macro/define-amusing-macro とか？
まぁ変数キャプチャを防いだところで世間の見る目はかわらんよね。
R... な言語の作者だってマクロはﾀﾞﾒﾎﾟって言ってたけどこれは
変数キャプチャ云々の話じゃないわけだし。
282:デフォルトの名無しさん
04/03/02 22:08
>>281
世間の見る目って？どんな風に見られてるの？
m@zはどうしてマクロはﾀﾞﾒﾎﾟって言ってるの？
283:デフォルトの名無しさん
04/03/02 22:21
>>282
「神聖なる構文を一般利用者が触るなんてとんでもない。そんなの混乱の元だよ！」
ユーザビリティの問題だとかいってたあたりの事だと思われ。確認してないから
不正確かも知れんが探すのﾏﾝﾄﾞｸｻ(括弧の話だったかも？)
284:デフォルトの名無しさん
04/03/02 22:26
あのひとはユーザビリティって言葉好きだよね
285:デフォルトの名無しさん
04/03/02 22:42
その割にRubyて妙な構文だらけだね
え、LISPには劣るって！？
286:デフォルトの名無しさん
04/03/02 23:02
あぁ！？神聖なる構文？
しゃらくせえ。
おれ様が欲しいのは圧倒的な自由なんだよ！
Schemeは聖域無き言語だぜ！
ユーザビリティーだと？
ヌルイ！ヌルイよそれ！
ちょーヌルイよ！
あーヌルイ。母さーん、火ぃつけてくれ。
ふぅー、ぬるぽ。
287:デフォルトの名無しさん
04/03/02 23:05
C言語みたいな、ちょっと小汚い言語の方が好かれるかもなあ
288:デフォルトの名無しさん
04/03/02 23:58
vimのVIlispってプラグインまともに動かせてる人いる？
設定のコツを教えてくれ。
\esで評価しようとするとvimが固まるんだけど…
289:デフォルトの名無しさん
04/03/03 20:35
（ ・∀・） | | ｶﾞｯ
と ） | |
Ｙ /ノ 人
/ ） < >__Λ∩
＿/し' ／／. Ｖ｀Д´）/
（＿フ彡 / ←>>286
290:デフォルトの名無しさん
04/03/04 14:28
Lispをよく知る前は、Lispは再帰が命と聞いた。
↓
Common Lispを習ったら、再帰はC++と同じくらいしか使わないなと思った。
↓
Schemeを習ったら、「やっぱりLispは再帰が命?」と思った。
291:デフォルトの名無しさん
04/03/04 14:39
CPS (continuation passing style)ってSchemerの人達が発明したコーディングスタイルなのかな?
末尾再帰の最適化が保証されていないと、いやがる人がいそうな書き方だよね。
実際は、メモリを結構積んでいるマシンが増えたから、再帰が多少深くなったって、困る場面ってそうそう
ないような気もするけど。
292:デフォルトの名無しさん
04/03/04 16:36
コンパイラ関連でよく出てくるよ＞CPS
293:デフォルトの名無しさん
04/03/04 23:34
>>291
CPS ってもう少し汎用的な概念だと思う。
state パターンも原始的な CPS だと言えなくもない。
末尾再帰を使うのはたまたま scheme が末尾再帰を正当化してくれているから。
294:デフォルトの名無しさん
04/03/05 13:44
URLﾘﾝｸ(www.lispworks.com)
> System Class STANDARD-CLASS
> Class Precedence List: standard-class, class, standard-object, t
(subtypep 'standard-class 'standard-object)
=> NIL T ;; clisp
=> NIL T ;; cmucl
=> T T ;; ecl
=> T T ;; lispworks
なにこの処理系たち…
久しぶりにaclをインストールしたら、
./alisp
dlopen(/tmp/acl62_trial/libacli623t.so, mode) error: /tmp/acl62_trial/libacli623t.so: symbol errno, version GLIBC_2.0 not defined in file libc.so.6 with link time reference
と言って立ち上がらない…
295:デフォルトの名無しさん
04/03/05 15:28
CVS 鯖のトラブルで遅れれてるけど CMUCL 19a は↓だよ．がんがれ Martin !
（Martin は週末に時間があったらがんがるそうです）
CLOS based on Gerd's PCL 2003/06/18 09:23:09
* (subtypep 'standard-class 'standard-object)
T
T
296:294
04/03/05 15:47
clisp 2.28 (released 2002-03-03)
cmucl CLOS 18e (based on PCL September 16 92 PCL (f))
ecl 0.9c
lispworks Version 4.3.6
でした。
そういえば、cmuclはCLOSをだれか(Martinていう人?)が速くなるように書き直し
ているという話を聞きました。
clispとか報告したほうがいいのかな…。fixも一緒じゃないとなんとなく気が引ける
んだよね。一般的にconformance bugって重箱の隅をつつきだしたら結構あるし。
297:デフォルトの名無しさん
04/03/05 15:54
あれっ、clisp 2.28って古すぎですね。今は2.32か。
298:デフォルトの名無しさん
04/03/05 16:01
GNU CLISP 2.32 (2003-12-29)
[1]> (subtypep 'standard-class 'standard-object)
NIL ;
T