【入門】Common Lisp その8【質問よろず】at TECH
【入門】Common Lisp その8【質問よろず】 - 暇つぶし2ch1:デフォルトの名無しさん
11/07/06 17:15:15.55
lispを触ってみたい入門者のQ&A
初心者のQ&A
本スレでは恥ずかしくて聞けない人のQ&A
本スレは高度すぎて割り込めない人のQ&A
linuxでなくてwindowsでやりたいんですが・・・Q&A
lispを使用してC#やJAVAの代替にするための方法(おまけ)

ま、ゆっくりたりましょう。

「いいものの本質は、いかなる時代においても変わらない」byパワーズ

(list
(url スレリンク(tech板)l50 :part 1)
(url URLリンク(pc11.2ch.net) :part 2)
(url URLリンク(pc11.2ch.net) :part 3)
(url スレリンク(tech板)l50 :part 4)
(url スレリンク(tech板)l50 :part 5)
(url スレリンク(tech板)l50 :part 6)
(url スレリンク(tech板)l50 :part 7)


□テンプレート置き場□
URLリンク(wiki.fdiary.net) (id:guest pass:cl)


2:デフォルトの名無しさん
11/07/06 18:51:29.38
((お勧めの Common Lisp 処理系)
(SBCL: URLリンク(www.sbcl.org)
:プラットフォーム Linux, Mac OS, Solaris, *BSD, Windows
:開発 活発
:日本語 UCS-2, UCS-4, UTF-8, UTF-16, UTF-32, Shift_JIS, EUC-JP
:特徴 一番お勧めのネイティブコードコンパイラ。)

(CLISP: URLリンク(clisp.org)
:プラットフォーム Linux, Mac OS, UNIX, *BSD, Windows, etc.
:開発 そこそこ活発
:日本語 UCS-2, UCS-4, UTF-8, UTF-16, ISO-2022-JP, Shift_JIS, CP932, EUC-JP
:特徴 バイトコードコンパイラ。遅いがフットプリントが小さい。)

(CMUCL: URLリンク(www.cons.org)
:プラットフォーム Linux, Mac OS, UNIX, *BSD
:開発 そこそこ活発
:日本語 UTF-8, UTF-16, UTF-32
:特徴 高速ネイティブコードコンパイラ。SBCL の元になった。)

(Clozure CL: URLリンク(trac.clozure.com)
:プラットフォーム Mac OS, Linux, FreeBSD, Solaris, Windows
:開発 そこそこ活発
:日本語 UCS-2, UTF-8, UTF-16, UTF-32, CP932、EUC-JP
:特徴 元々商用のネイティブコードコンパイラ。))


3:デフォルトの名無しさん
11/07/06 19:12:33.30
((商用の処理系)
(Allegro CL: URLリンク(jp.franz.com)
:プラットフォーム Linux, Mac OS, FreeBSD, Solaris, AIX, Windows
:開発 最大手
:日本語 UTF-8, UTF-16, ISO-2022-JP, Shift_JIS, CP932, EUC-JP
:特徴 お高いがもっとも頼れる。申し込みが必要だがFree Express Editionあり。)
(LispWorks: URLリンク(www.lispworks.com)
:プラットフォーム Linux, Mac OS, FreeBSD, Solaris, HP-UX, Windows
:開発 半年にいっぺんくらいアップデート
:日本語 UCS-2, UTF-8, ISO-2022-JP, Shift_JIS, EUC-JP
:特徴 IDEベース。フリー版はconsセルの上限が来るとダイアログがでる。
SDLとかで遊ぶとすぐに引っかかる。)
(Corman CL: URLリンク(www.cormanlisp.com)
:プラットフォーム Windows
:特徴 Windows専門の処理系。Allegro CLやLispWorksに比べると安価。))

((その他)
(ABCL: URLリンク(armedbear-j.sourceforge.net)
:特徴 JavaVM 上で動く。JavaVM のバイトコードを生成。)

(GCL: URLリンク(www.gnu.org)
:特徴 日本発 Kyoto Common Lisp の直系。)

(ECL: URLリンク(ecls.sourceforge.net)
:特徴 Lisp->C コンパイラ。組み込み可能。こちらもKCLの系譜。))


4:デフォルトの名無しさん
11/07/06 19:21:15.55
■ANSI Commn Lisp 仕様関係
HyperSpec (CLHS)
URLリンク(www.lispworks.com)
Common Lisp the Language, 2nd Edition (CLtL2)
URLリンク(www.cs.cmu.edu)
lispdoc
URLリンク(lispdoc.com)
Common Lisp Quick Reference
URLリンク(clqr.berlios.de)

■日本語のチュートリアル
xyzzy Lisp Programming
URLリンク(www.geocities.jp)
ファイヤープロジェクト: Common Lisp
URLリンク(www.fireproject.jp)
LISP and PROLOG
URLリンク(home.soka.ac.jp)
Lisp 一夜漬け
URLリンク(www.haun.org)
Lisp入門
URLリンク(wisdom.sakura.ne.jp)


5:デフォルトの名無しさん
11/07/06 19:28:45.96
■進んだ話題が欲しい人に
(和文)
URLリンク(ja.wikipedia.org)
URLリンク(www.komaba.utmc.or.jp)
URLリンク(lispuser.net)<)
(英文)
URLリンク(wiki.alu.org:80)
URLリンク(groups.google.co.jp)
URLリンク(www.cliki.net)
URLリンク(www.common-lisp.net)<)
URLリンク(planet.lisp.org)
URLリンク(www.gigamonkeys.com)
URLリンク(letoverlambda.com)
URLリンク(landoflisp.com)
URLリンク(www.psg.com)
URLリンク(www.cs.cmu.edu)


6:デフォルトの名無しさん
11/07/06 19:34:24.68
((おまけの処理系
(POPLOG: URLリンク(www.cs.bham.ac.uk)
Lisp, Prolog, ML のコンパイラ)
(WCL: URLリンク(wcl.kontiki.com)
Shared Library として使える Lisp)
(Movitz: URLリンク(common-lisp.net)
フルスクラッチの Lisp OS)
(CADR LispM: URLリンク(www.heeltoe.com)
MIT で使われていた LispM のソースを公開したもの)))

((その他のリンク
(Common Lisp JP: URLリンク(practical-scheme.net)
チャット)
(lush: URLリンク(lush.sourceforge.net)
Lisp Universal Shell)
(「実践 Common Lisp」非公式サポートページ: URLリンク(pcl.lispuser.net))
(Paul Graham の ANSI Common Lisp: URLリンク(www.pej-hed.jp)
Common Lisp の 参考書を探しているならこれ一択)))


7:デフォルトの名無しさん
11/07/06 19:44:12.30
テンプレ終わり。以上、漏れ、ミス等あったら指摘よろしく。

この長いテンプレを貼るのも二度目だと思うが、テンプレ代わりに

URLリンク(wiki.fdiary.net)
URLリンク(cl.cddddr.org)

書いとくだけじゃ駄目なん? Lisp Schemeスレみたいに。

8:デフォルトの名無しさん
11/07/06 21:44:00.33
>>1 乙です。

> ま、ゆっくりたりましょう。
ってなってるけど、「ゆっくり『や』りましょう」かな
テンプレ置き場から間違っているみたいだけど

テンプレは短くてもいいと思う

9:デフォルトの名無しさん
11/07/07 00:48:28.48
長いと貼るのが大変だから短くていいと思う。
できるだけスレ立てする人の負担を軽くすべし。

10:デフォルトの名無しさん
11/07/08 23:31:48.61
>1乙

11:デフォルトの名無しさん
11/07/09 09:50:21.47
>>1
スレ立て乙

12:デフォルトの名無しさん
11/07/09 22:37:19.25
しかしネタがないage

13:デフォルトの名無しさん
11/07/10 00:10:47.65
じゃあ、そろそろ出そうなCCL 1.7の話でも。

- Darwin/ppcのサポート終了の予定
- 付属のASDFが2.016になった
- ASDF-Installの同梱終了。Quicklispを代わりに推奨
- CCLの32-bitのバイナリが64-bit Windowsでも動くようになった
- ARMへの対応が大幅に前進
- *gensym-counter*がスレッドローカルからグローバルに
- ccl:*disassemble-verbose*追加

14:デフォルトの名無しさん
11/07/10 00:17:18.16
あと、trunkではアセンブラ周りとかに色々手が入っていて、
FASLのバージョンも上がってイメージやFASLの互換性が無くなった。
1.7に入るかは不明。

15:デフォルトの名無しさん
11/07/12 14:30:35.80
exe化したcommon lisp処理系のスクリプトを配布したいとき、
(動作環境はwindows 7/vistaです)
ライセンス的に緩いものはどれでしょうか?

16:デフォルトの名無しさん
11/07/13 01:22:23.15
* SBCL - パブリックドメイン(一部BSD)
* CMUCL - パブリックドメイン
* CLISP - GPL(附則あり)
* CCL - LLGPL
* ECL - LGPL
* ABCL - GPL(附則あり)

だから、実行形式作る分には好きなの使えば良いと思う。
むしろ気を付けるべきなのは、処理系よりも使うライブラリじゃないか?

17:デフォルトの名無しさん
11/07/16 09:14:00.44
#:keyword はキーワードだと思うのですが、
:keyword と書くのと何か違うのでしょうか?

18:デフォルトの名無しさん
11/07/16 11:39:48.66
>>17
キーワードではない

#: introduces an uninterned symbol whose name is symbol-name. Every time this
syntax is encountered, a distinct uninterned symbol is created. The
symbol-name must have the syntax of a symbol with no package prefix.



19:デフォルトの名無しさん
11/07/16 11:39:56.49
>>16
それは処理系のライセンスでしょ?
CLの場合、実行形式作ると処理系も含まれるよね?
まあ実行形式は別のライセンスになってるケースもあると思うが。

20:デフォルトの名無しさん
11/07/16 13:53:16.43
あるシンボルがtype-specifierかどうかは
どうすれば知ることが出来ますか?

21:デフォルトの名無しさん
11/07/16 14:03:59.08
>>19
それはひょっとしてギャグで言っているのか。

処理系のライセンスが、例えばパブリックドメインとかBSDとかMITなら、
実行形式にカーネル含めようが何しようが問題ないのは分かるよね?

あとは、LLGPLというのは、まさにその、Lisp特有のリンク事情について定義を明確にした、
LGPL+附則というライセンスだし、CLISPなどの「GPL+附則」の附則部分は、
実行形式を作ったりするときの例外事項の規定の訳だが。

とりあえず、自分で実際に読めば分かるよ。

LLGPL
URLリンク(opensource.franz.com)
CLISPのライセンス
URLリンク(clisp.hg.sourceforge.net)
ABCLが採用しているクラスパス例外
URLリンク(www.gnu.org)

22:デフォルトの名無しさん
11/07/16 14:31:51.10
>>20
どういうことがやりたいの?

HyperSpecを流し読みしてみたけど、ドンピシャの関数とかはないみたい。
CCLなら、ccl:type-specifier-pという関数があったよ。

23:デフォルトの名無しさん
11/07/16 16:02:33.06
>>22
あるクラスのサブクラスのオブジェクトについて
(defun make-hoge (type &rest args) ...)
みたいな感じのコンストラクタを書きたいと思い
ここでtypeにtype-specとニックネームのような短い名前の
両方を入れられるようにしたいと思いました

typeはtype-specと1対1に対応しているわけではなく、
typeを参考にargsの内容から実際のtype-specを推測します。

ここで、typeがtype-specだった場合に
対応しているものか調べるために、subtypepを呼ぶと、
typeがtype-specで無い場合にエラーが起きてしまいます

誰もご存知ないようなら例外処理か何かで対応しようと思います
ありがとうございました

24:デフォルトの名無しさん
11/07/16 19:08:06.55
>>23
なるほど。力になれずに申し訳ないけど、ポータブルなやり方は分からない。
subtypepのエラーを捕捉するのが、泥臭いけど一番良いのかな。
>>22で挙げたccl:type-specifier-pでは、

(defun type-specifier-p (form &aux sym)
(cond ((symbolp form)
(or (type-predicate form)
(structure-class-p form)
(%deftype-expander form)
(find-class form nil)))
((consp form)
(setq sym (%car form))
(or (type-specifier-p sym)
(memq sym '(member satisfies mod))
(and (memq sym '(and or not))
(dolist (spec (%cdr form) t)
(unless (type-specifier-p spec) (return nil))))))
(t (typep form 'class))))

こんな風に判断してた。

25:デフォルトの名無しさん
11/07/16 23:37:49.07
Lispというと、なんだかリストばかりを使うイメージがあります。
実際には配列も多く使用するのですか。

26:デフォルトの名無しさん
11/07/17 05:28:59.34
基本はリストだけど配列のほうが適している場面では使うかと
「サイズ不変」かつ「ランダムアクセス多発」なんてときはそりゃ配列のが良いさ

C言語とかだと組み込みとかの極小メモリ環境意識するし
標準では配列しか使えないから配列がメインだろうけど
あれだって「要素数が常に変化する」「シーケンシャルアクセスがメイン」なんて場合はリストも使うっしょ

27:デフォルトの名無しさん
11/07/17 06:59:05.59
Clojure なんて見てると、プログラムをデータとして扱う(要はマクロ)とき
は確かにリストだけど、それ以外は何でもありって感じ。
Lisp の進化形なのか、変種にすぎないのか、良く分からんね。

28:デフォルトの名無しさん
11/07/17 07:27:39.63
リストはメモリの消費が激しいから、配列も多用するよー。
リストの場合、32ビットでもコンスセルあたり8バイトとか使うし。64ビットだともう凄い。
32ビットで1024要素くらいでも、リストが8 kb強、ベクタなら4 kb弱とダブルスコア。

ただ、遅延ストリームとか循環リストとか便利だし、木構造も表現できるし、
なんだかんだ言ってalistもplistもお手軽で便利だから、リスト使うよ。
>>26の言うように、シーケンシャルアクセスなら速いし。

29:デフォルトの名無しさん
11/07/17 08:39:23.30
Lisp で手軽に扱えるデータ構造というとリストだからね。
まぁ、そのように作られた言語だから当然なんだけど。
ざっくりとしたものをまず作るってときにリストの柔軟性っていうのはすごくマッチしてるんだよ。

プログラムを書く序盤っていうのはどんなデータ構造が適切なのか、
どこがボトルネックになるのかはわからない。
わかってるつもりがやってみたら違うってこともある。
だから序盤ではリストで作ってみて効率に効いてくるところを配列や構造体で置換えるというのはよくある。

機能や性能が不足だろうととにかく「まず動くもの」を作ってから改良していくのが Lisp 的なスタイルだし、
そのスタイルにリストはよく合うってこと。

30:デフォルトの名無しさん
11/07/17 12:46:05.02
>>24
ありがとうございます。
参考になります。

31:25
11/07/17 17:38:02.06
25です。
皆様ご回答ありがとうございました。
勉強になりました。

32:デフォルトの名無しさん
11/07/19 12:30:42.10
common lispの挙動を理解するために
common lisp の(簡単な)サブセットを vbs で作って見たいのですが、
どこから着手すればよいのかわかりません
できれば動作を確認しながら実装したいです
lispのサブセットを作成したことがある方の意見をお聞かせください

33:デフォルトの名無しさん
11/07/19 14:35:01.66
vbsで書かれたyaccでも探すとか?

34:デフォルトの名無しさん
11/07/19 16:05:02.70
>>32
Lisp1.5から始めたら?
Lisp自体初めてでも3日とかからないでしょ。

35:デフォルトの名無しさん
11/07/19 21:04:48.95
>>32
何で CL の挙動を理解するのに vbs でサブセットを実装するという話になるのか分からんけど、
Lisp の処理系を作った事がないなら、まずは↓この記事が参考になると思います。

URLリンク(www.oki-osk.jp)

CL の実装はその後で。

それより CL の処理系をインストールしてガシガシ弄った方が勉強になると思うけど...

36:デフォルトの名無しさん
11/07/19 21:35:27.97
好きなやり方でやればいい。

37:デフォルトの名無しさん
11/07/20 01:14:41.07
サブセットでも、Common Lispの処理系を作るとかマジ勇者だな。LispとかSchemeならともかく。
Visual Basicとかから来たのなら、規格に溢れる概念や用語を把握するだけでもきつい気がする。
応援してるから頑張ってくれ。もし手応えを得たら、日本発の処理系再びって展開を期待。

38:デフォルトの名無しさん
11/07/21 13:45:40.59
URLリンク(blog.bugyo.tk)
ニコニコ動画のスクリプトでLispインタプリタ作ったそうだ

39:デフォルトの名無しさん
11/07/21 15:12:46.41
いつの話題だよ

40:デフォルトの名無しさん
11/07/21 22:06:16.45
書いてあるよ?

41:デフォルトの名無しさん
11/07/21 22:42:11.72
確かに「いつの話題だよ」って文を額面通りに読めばいつの話題なのか訊ねてることになるが……

42:デフォルトの名無しさん
11/07/21 22:56:32.95
人工知能なんだろう

43:デフォルトの名無しさん
11/07/22 03:22:46.85
ナンセンスギャグの王道的手法だな

44:デフォルトの名無しさん
11/07/22 08:29:49.03
>>41
修辞疑問だな。

45:デフォルトの名無しさん
11/07/22 14:11:09.96
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

46:デフォルトの名無しさん
11/07/22 21:07:56.93
このスレッドはCommon Lispによる人工知能「AIちゃん」が
言語訓練のために立てたものです。

AIと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

47:デフォルトの名無しさん
11/07/23 01:28:34.64
そこはElizaちゃんでだなぁ

48:デフォルトの名無しさん
11/07/24 18:26:29.09
Common Lispって実際に使われてるの?



49:デフォルトの名無しさん
11/07/24 19:34:32.07
その質問定期的に出るNE!

しかも過去ログを読もうともしないし、グーグル先生にお伺いを立てることもないんだ。

50:デフォルトの名無しさん
11/07/24 19:44:05.18
stumpwmで動作はぎこちないが現在のグループに表示してあるウィンドウを
すべてfnextにずらすもの作ったんだけど需要ありますか?

51:デフォルトの名無しさん
11/07/25 16:22:49.31
>>48

>>46

52:デフォルトの名無しさん
11/07/25 17:03:18.43
>>50
stumpwm 改造の参考に、見てみたいです。

53:デフォルトの名無しさん
11/07/25 18:38:25.47
>>52
参考にならないほどのやっつけですが
URLリンク(www.dotup.org)
自分用としてはいまのところ問題ないです。

54:デフォルトの名無しさん
11/07/25 19:55:32.39
>>53
stumpwmってしらなかった、wmiiからこっちにひっこそうかしら


55:デフォルトの名無しさん
11/07/31 21:04:37.62
Lispを今日始めたものなのですが、
(defun foo (lst) (car lst))
(setq var (list 2 4 6 8 1 3 5 7 9 10) )
(foo var)
でfooという関数はないと言われるのですが、何故でしょうか?

56:デフォルトの名無しさん
11/07/31 21:12:22.21
>>55
Mac OS X 上の CCL だと実行出来ましたよ

57:デフォルトの名無しさん
11/07/31 21:13:39.35
(setq var (list 2 4 6 8 1 3 5 7 9 10) ) ってなんか意味あんの?それを挟まなければエラーが出ないとか?

58:デフォルトの名無しさん
11/07/31 21:14:26.54
う、見間違えた。すまん

59:デフォルトの名無しさん
11/07/31 21:44:57.55
URLリンク(ideone.com)


60:55
11/07/31 21:49:00.12
おお…本当ですね
xyzzyというエディタ付属のLispが手軽と聞いたのでそちらでやっていたのですが、そちらだと怒られるようで・・・
ありがとうございます

61:デフォルトの名無しさん
11/07/31 22:08:29.48
便乗して...
URLリンク(ideone.com)
これが動かないのは何故でしょう?

62:55==61
11/07/31 22:13:24.18
名前入れ忘れた
エラー文を調べたら局所変数にアクセスが云々と出てきたのですが、
外からアクセスはしてないように見えるのです


63:デフォルトの名無しさん
11/07/31 22:49:44.40
>>61
CL はlisp-2だから
URLリンク(ideone.com)

あと、>>55 はxyzzyでも動くよ。
評価し忘れとかじゃない?

64:デフォルトの名無しさん
11/07/31 23:01:58.21
>>55
>>63に補足すると、*scratch*で

(defun foo (lst) (car lst))
を入力したらC-j(ctrlを押下中にj)

(setq var (list 2 4 6 8 1 3 5 7 9 10) )
を入力したらC-j(ctrlを押下中にj)

(foo var)
を入力したらC-j(ctrlを押下中にj)

このようにして一行ずつC-jを押すこと

65:デフォルトの名無しさん
11/08/03 02:44:38.45
>>61
funcall の後ろに#’つけたら動いたよ






66: 忍法帖【Lv=12,xxxPT】
11/08/03 06:10:12.50
いや、なんつーか、>>63>>65

(defun qsort (lst)
...
(append (qsort ...) ...) ...)

って感じに呼べることをまず教えてやれよ……。

67:デフォルトの名無しさん
11/08/03 06:43:28.89
こんな感じ。

URLリンク(ideone.com)

68:デフォルトの名無しさん
11/08/04 09:34:28.69
ECLだとquicklispからdrakma使えませんでした。
解決エロい人たすけて

69:デフォルトの名無しさん
11/08/04 09:37:08.37
解決エロい人 >> 解決できるエロい人 に直してください

70:デフォルトの名無しさん
11/08/04 10:30:59.09
>>68
エラーメッセージは?

71:デフォルトの名無しさん
11/08/04 11:29:14.64
Your Lisp does not support weak key hash-tables.
[Condition of type SIMPLE-ERROR] 
ECL 10.3.1 をapt-get install で入れて使っています。 


72:デフォルトの名無しさん
11/08/04 14:00:50.29
まんま書いてるじゃないですかー!

Drakmaが利用してるCL+SSLってライブラリがあって、
さらにそれが利用してるtrivial-garbageというライブラリが出してるエラー。
ECLがウィークハッシュテーブルに対応してないから出てる。

あるいは、ECLが実はウィークハッシュテーブル使えるってんなら、
簡単に使えるようになるから、バグレポートでもすればすぐ修正してくれると思う。
報告するのはDrakma相手じゃなくて、trivial-garbageの方ね。

73:デフォルトの名無しさん
11/08/04 14:21:48.11
URLリンク(osdir.com)

読むと、ウィークハッシュテーブルに対応する予定はなさそうなんで、
ECL側の修正は割と無理っぽいんじゃないかと思う。

考えられる対応策:

- CL+SSLに報告してECLだけ特別扱いしてもらう
- curlのプロセスを実行して出力を読む
- libcurlをFFI経由で使う
- 別の処理系を使う
- 別の言語を使う


74:デフォルトの名無しさん
11/08/04 15:37:21.44
>>72,73
今後はdrakmaを使う時には別の処理系を使うようにします
いろいろありがとうございました


75:デフォルトの名無しさん
11/08/04 16:18:55.06
解決エロい人がいるスレですね。

76:デフォルトの名無しさん
11/08/04 16:44:41.51
かいけつゾロリとか快傑ズバットの亜種か。

77:デフォルトの名無しさん
11/08/04 19:43:24.53
cl-annotで@export はしっかりできてるんですが@docなど他の使い方が分からない
cl-annotが使えるパッケージ内で(annot:enable-annot-syntax)を書くだけじゃもしや駄目?

Undefined function SCRIPT-TES::DOC called with arguments ("shellscript ls ==") .
[Condition of type CCL::UNDEFINED-FUNCTION-CALL]

78:77
11/08/04 20:09:57.53
解決しました。
~.asd のファイルには書かなくていいけど~.lispの方に付け加えるだけで良かったみたいです。

79:デフォルトの名無しさん
11/08/04 21:28:33.55
cl-annotとかは、

URLリンク(github.com)

にあるコードでいっぱい使ってるので、見ると参考になると思う。

80:デフォルトの名無しさん
11/08/05 00:15:37.50
>>53
自分のやり方が違うかもしれないが、テキストファイルにならない。

81:デフォルトの名無しさん
11/08/05 00:55:25.96
>>80
dump-group-to-fileで作られるファイルのことですか?

82:デフォルトの名無しさん
11/08/05 03:50:16.17
URLリンク(ll.la)
中のファイルすべてHOMEにつっこんで
sbclにquicklispインストール、cl-ppcreとtrivial-shellも一度quickloadで再起動でいけるはず。


83:デフォルトの名無しさん
11/08/05 10:53:30.37
abclでmaximaが動くのはいつになるんだ

84:デフォルトの名無しさん
11/08/12 00:53:45.82
連想リストからある値の取得がうまくいかないので質問です。

以下のような状況です。

(setq list_a (list "a0" "a1" "a2"))
(setq list_b (list "b0" "b1" "b2"))


(setq list_c (list
'('a . list_a)
'('b . list_a)
))

ここまで。

で、list_cに対して

(cdr (car list_c))
を評価すると
list_a
が取れるのですが

(car (cdr (car list_c)))
にして、list_aの"a0"
を取得したいのですが評価するとbacktraceになってしまいうまくいきません。
これはどうすればいいんでしょうか?


85:デフォルトの名無しさん
11/08/12 01:15:31.43
>>84
なぜ二重にクォートしたし。

(setq list_c (list `(a . ,list_a) `(b . ,list_a)))
;; あるいは
(setq list_c (list `(a ,@list_a) `(b ,@list_a)))
(setq list_c (list (cons 'a list_a) (cons 'b list_a)))

(car (cdr (car list_c)))
;; なぜ連想リストのアクセスにassocを使わないのか
(cadr (assoc 'a list_c))
;=> "a0"

あと、Lisp界ではx_y_zじゃなくてx-y-zみたいに区切るのが普通。


86:デフォルトの名無しさん
11/08/12 01:17:20.15
ああ、一番普通なの忘れてたわ。

(setq list_c `((a ,@list_a) (b ,@list_a)))


87:84
11/08/12 01:23:54.85
>>85
ありがとう、理解できました。


88:デフォルトの名無しさん
11/08/15 02:27:11.12
labelsでエラーがでるのですが理由がわからいので教えてください。

scratchで以下の式を評価すると正常に動くのですが

(defun foo ()
(labels (
(bar ()
(print "foo test")
)
)
(bar)
)
)

(foo)
で "foo test"が表示される

これをこのまま
.emacsファイルに記述するとbacktraceになってしまいます。
↓メッセージ
Debugger entered--Lisp error: (void-function labels)
(labels ((bar nil ...)) (bar))
foo()

これはなぜでしょうか。またどのように解決したらよいでしょうか?



89:デフォルトの名無しさん
11/08/15 02:38:59.99
>>88
そのプログラムの前に (requre 'cl) を付けると解決出来るんじゃないかな

90:デフォルトの名無しさん
11/08/15 02:50:37.63
もちろん >>89 は (require 'cl) の typo です。。。

Emacs Lisp と Common Lisp は別物なので、もし emacs lisp を勉強したいなら、

Emacs Lisp 3
スレリンク(tech板)

に行くと良いと思います。

Common Lisp を勉強したいなら、Common Lisp 用の環境を整えると色々と
捗ると思います。

91:デフォルトの名無しさん
11/08/15 03:18:26.75
>>90
ありがとう解決しました。

今後はEmacs Lispのほうで聞きますね。



92:デフォルトの名無しさん
11/08/15 22:39:41.10
時代はlispよりもhaskell
教養としてのプログラミングならこっちを勧めたい

93:デフォルトの名無しさん
11/08/16 03:07:18.49
自分の知る限り、Haskell は少なくとも 5 年前には注目を受けていたし、
Haskell に無い Lisp の特徴として S 式とマクロは知っておいた方が良いと思われ

94:デフォルトの名無しさん
11/08/16 12:52:53.95
lispが理解できないとHaskellは無理だと思う

95:デフォルトの名無しさん
11/08/16 18:01:20.91
Haskellが無理ならLispも無理だろう

96:デフォルトの名無しさん
11/08/16 18:08:14.77
>>92-95
忍者より酷い


97:デフォルトの名無しさん
11/08/16 18:10:31.20
どっちか勉強するのにもう一つの知識が必要みたいな議論がおかしい
まっさらな状態で今はじめるならHaskellの方が得るものは大きい

98:デフォルトの名無しさん
11/08/16 18:32:14.29
そんな単純な比較が可能とは思えないが…

99:デフォルトの名無しさん
11/08/16 18:46:49.49
カレーとおにぎりを比べるようなものだな

100:デフォルトの名無しさん
11/08/16 18:56:45.41
で、どっちがカレーなんだ

101:デフォルトの名無しさん
11/08/16 19:02:30.24
Haskellの説明でカリー化ってしょっちゅうくらいだからやはりHaskellがカレーじゃなかろか?














;;;ごめんなさい、ワタシが悪うございました。

102:デフォルトの名無しさん
11/08/16 19:24:52.71
>>101
俺も同じ事思ったから大丈夫だ

103:デフォルトの名無しさん
11/08/16 20:02:39.45
別にどっち先に勉強しても、もう一方を勉強できないわけじゃないんだから。
好きな方先にやって後で別の方やれば良いよ。

HaskellだけやってたらHaskell自身の長所を理解できないし、
LispだけやってたらLisp以降に生まれたパラダイムを取り込めないじゃん。

104:デフォルトの名無しさん
11/08/17 03:41:17.91
おにぎlispってなんかいいな

105:デフォルトの名無しさん
11/08/17 06:47:24.00
haskellカレーにおにぎlisp

仲良くやっていけそうな気がする

106:デフォルトの名無しさん
11/08/17 13:00:47.05
J( 'ー`)し<残さないで食べなさいね。

107:デフォルトの名無しさん
11/08/17 16:11:13.82
最近のコンビニにはカレー化おにぎりというのがあってだな

108:デフォルトの名無しさん
11/08/17 16:11:51.86
なぜ「化」という文字が入る…

109:デフォルトの名無しさん
11/08/19 09:42:20.53
>>83
command line版Maximaは(run_testsuite()を通過する意味で)動いてる筈。
URLリンク(abcl-dev.blogspot.com)

ABCL版Maximaは、GCL版Maximaより遅かった様な…。

110:デフォルトの名無しさん
11/08/26 10:59:32.41
保守

111:デフォルトの名無しさん
11/09/06 04:49:27.30
つかS式と基本5関数さえあれば何でもできるのに何でlispってアホみたいに方言多いの?

112:デフォルトの名無しさん
11/09/06 04:59:00.08
流石に純LISPだけでは実用性に欠けるから
よく使う関数を各社が実装した結果

113:デフォルトの名無しさん
11/09/06 05:42:33.67
たぶんルールが少ないほうがバリエーションは増えるんだと思う
かつての2Dシューティングゲームみたいに

114:デフォルトの名無しさん
11/09/06 05:54:29.02
>>111
チューリングマシンでプログラミングしてきたら答えが分かると思うよ。

>>111は何か他の所でまんま同じな文章見た気がするんでコピペだろうけど、
Lispの方言だけ何か特別視するのって凄いナンセンス。
ALGOLの方言とかいくつあるんだよとか逆に聞きたい。

115:デフォルトの名無しさん
11/09/06 09:04:36.79
>>111 「S式と基本5関数さえあれば何でもできる」が嘘
まずは少なくとも cond か if の特殊形式がないとチューリング完全じゃないし、
lambda が無いのも微妙だろう。

116:デフォルトの名無しさん
11/09/06 22:22:01.52
それだけではなんでこんなに方言があるのかという質問の答えとして弱いのではないか?


117:デフォルトの名無しさん
11/09/06 22:50:56.94
処理系を作るのが簡単だから

118:デフォルトの名無しさん
11/09/06 23:20:31.02
2進数の文字列から10進数に変換するにはどうしたらいいか教えてください。

119:デフォルトの名無しさん
11/09/06 23:25:36.72
(parse-integer "1010" :radix 2)

120:デフォルトの名無しさん
11/09/07 00:20:57.67
>>119
ありがとうございます。

121:デフォルトの名無しさん
11/09/07 18:16:43.66
リスプの処理系より簡単な演算器もったスタックマシンのほうが簡単なきがしましたよ。
アセンブラなんて1行1命令で翻訳してだけだから原始的なものならこっちも簡単でした。

122:デフォルトの名無しさん
11/09/07 18:20:18.73
言語処理系を作るなら、まずForth処理系でも作ってみるのは、悪くないよね。

123:デフォルトの名無しさん
11/09/08 06:28:12.39
Forthのかっこよさは異常

124:デフォルトの名無しさん
11/09/08 08:59:14.97
Obi-Wan Kenobi もForthを使えって言ってたしな

125:デフォルトの名無しさん
11/09/08 11:30:03.13
そのネタ聞くのはもう100万遍目だ

126:デフォルトの名無しさん
11/09/08 18:58:27.75
>>125
> そのネタ聞くのはもう100万遍目だ
(/ (expt 1000.0 2) 365)
毎日そのネタを平均一回聞けるとして2739.726年かかるよ

127:デフォルトの名無しさん
11/09/08 21:20:54.60
今日という一日を100万回繰り返した超能力者である可能性も捨て切れない。

128:デフォルトの名無しさん
11/09/08 21:25:29.10
>>127
> 今日という一日を100万回繰り返した超能力者である可能性も捨て切れない。
2739.726歳の超能力者か、なんかすごいね。

129:デフォルトの名無しさん
11/09/09 14:27:37.34
激しくどうでもいいなwww

130:デフォルトの名無しさん
11/09/09 14:41:31.45
まどマギだったら歳とらない

131:デフォルトの名無しさん
11/09/09 14:47:43.34
\オッカリ~ン/でも多分としとらない。

132:デフォルトの名無しさん
11/09/09 17:35:10.00
エンドレスビリオン

133:デフォルトの名無しさん
11/09/10 12:57:05.63
あんまり面白かったのでループでまわしたのかもしれんぞ。
(dotimes (n 999998) (print "Forthを使え"))


134:デフォルトの名無しさん
11/09/10 18:26:28.62
なんか問題(良問)を出して、それを実装して、プログラミングベンチマークテストしようぜ。
環境は基本Linuxベースであること(他の環境でも可だけど、明言すること)、使っている言語のバージョンは明言必須。

良問のネタの候補がない場合は、Python, Perl, Rubyの宿題スレから探してくる。

135:デフォルトの名無しさん
11/09/12 02:28:07.87
scheme初心者スレを探しているのですが無いみたいなので
scheme初心者の質問もここで良いのでしょうか?

136:デフォルトの名無しさん
11/09/12 02:33:27.81
>>135
初心者スレはないけどこっちよりは適切なはず

Lisp Scheme Part32
スレリンク(tech板)

137:デフォルトの名無しさん
11/09/12 06:57:07.46
>>134
とりあえず問題によるんじゃね?
そういえばどう書く?org って、いつのまにかすたれたね

138:デフォルトの名無しさん
11/09/12 14:10:11.65
>>137
いいのが思いつかないので、ベタに(random 1234567890)で生成されるn個の値をソートせよ。ぐらいではダメかね?
期限は9/23(金)21:00まで。ソース晒しは9/16(金)21:00から。

単純なソートだと工夫の余地がなくて速度の違いって出ないものなのかな。

;; ### 絶賛、問題募集中 ###

139:デフォルトの名無しさん
11/09/12 16:25:34.19
これでいいんじゃね?

The Computer Language Benchmarks Game
URLリンク(shootout.alioth.debian.org)

既にSBCL向けのコードがあるから、
俺の書いたコードの方が速いぜとか、
この処理系の方が早いぜとか。


140:デフォルトの名無しさん
11/09/12 19:38:24.28
>>139
> 既にSBCL向けのコードがあるから、
> 俺の書いたコードの方が速いぜとか、
> この処理系の方が早いぜとか。
その心は?

個人的には入門者でもなんとか参加できるレベルの問題にしたいです。ジムカーナなどに使われるtime result形式で個々人の励みにしてほしいなあと。
もちろん、入門者が相当がんばれば参加できるレベルの問題をたまにやるのは良いと思います。

141:デフォルトの名無しさん
11/09/12 21:52:32.59
誰も参加してないのに、俺ルール炸裂かよw

142:デフォルトの名無しさん
11/09/13 07:02:30.34
Linux上のSBCLでLispbuilder-SDLをasdf-installから入れようとすると
まぁGPG鍵はもちろんスキップするんだが、その後すぐに
cocoahelperが有りません的なこと言われて止まります

Linuxだからいらねぇんだよおおおおおおおおおおおおおおおおおおおおおおおお

143:デフォルトの名無しさん
11/09/13 07:12:31.29
カリカリしないで一息いれなよ
っ 森永ココア

144:デフォルトの名無しさん
11/09/13 07:35:54.70
>>142
ASDF-Installとか今さら使ってんじゃNEEEEEEEEEEEEEEEEE!!1! このボケが!

私としては、ASDF-Installの代わりにQuicklispを使うことをお勧めします。
SBCLで動かないパッケージははねられているみたいですし。
それでも動かない場合、もっと詳細なエラーメッセージを頂けると、
解決に協力できるかもしれません。

145:デフォルトの名無しさん
11/09/13 07:38:41.77
ASDFは時代遅れだったのか……!!!!!!
cocoaは消えて、今度はcffi-examples見つからなかったとか言いやがる

ちなみに私はヴァンホーテンが好きです。

とりあえずQuickLisp使ってみます

146:デフォルトの名無しさん
11/09/13 08:41:41.68
>>145
ASDFというか、ASDF-Installが過去の遺物になりつつある、
といった感じになっています。森永も悪く無いのではないでしょうか。

ASDFという、ライブラリに対する操作を統一するAPIの上に、
QuicklispやASDF-Installなどの、ライブラリを管理する仕組みが作られています。

Quicklispは比較的最近現れたもので、まだベータ版なのですが、
抜群の使いやすさから、一気に定着してしまった感がありますね。

147:デフォルトの名無しさん
11/09/13 14:16:59.49
Rをclから使いたいからrclとかいうの入れた
それをmaximaから呼ぶとlapackが2重に呼ばれるのかおかしくなる

何か回避方法ないの?

148:デフォルトの名無しさん
11/09/13 23:31:07.27
一般論だけど、環境、エラーメッセージ、バージョン、操作、
そういった物を書いてくれないと、仮に回避方法が分かる人でも、
同じ所ではまったことがないと答えられんと思うよ。

あと、Maximaの話なら、

【数式処理システム】 Maxima 【Common Lisp】
スレリンク(math板)

の方が回答を得られるんじゃない?

149:デフォルトの名無しさん
11/09/14 08:59:05.79
>>138
URLリンク(projecteuler.net)

150:SCHEME餃子 ◆8X2XSCHEME
11/09/14 23:41:49.99
ブログとかで Project Euler の解き方の解説してるのみたら「XXは自明なので」とか書いてあったりするけど、全然自明じゃねーよって感じのが多くて困る。
Project Euler って数学の問題でもあるから単なるプログラミング演習の問題とはちょっと雰囲気が違うかも。
もちろん、身に付くことは多いけど。

151:デフォルトの名無しさん
11/09/15 12:57:41.32
>>150
そんなの高校数学の教科書からたくさんあるだろ

152:デフォルトの名無しさん
11/09/22 00:30:22.73
スイマセン、基本的なところなんですが

>(defun test1(x)(eq x #'+))
TEST1
>(test1 #'+)
T
なのに

>(defmacro test2(x)(eq x #'+))
TEST2
>(test2 #'+)
NIL
になるんですが、マクロと関数で引数の評価の仕方が違うんでしょうか?

153:デフォルトの名無しさん
11/09/22 01:06:48.59
>>152
そこは基本的っていうか、むしろ嵌りどころ。

#'は特殊形式functionに展開されるんだけど、functionが返す関数オブジェクトは、
必ずしも毎回同じ物とは限らない、っていう話だったはず。

URLリンク(www.apl.jhu.edu)

の"Function vs eq."に詳しい。

154:デフォルトの名無しさん
11/09/22 01:12:36.50
って、待った。test2ってクォートしてないの?
(defmacro test2(x)`(eq ,x #'+))でなく?

155:デフォルトの名無しさん
11/09/22 01:22:58.45
まんま>>152の通りなら、コンスの '(function +) と関数の #'+ を比較してるので、
マクロの展開結果がNILになり、評価結果もNILになる。

そういう勘違いなら、Common Lispの評価モデル自体を理解してないことになるので、
HyperSpecとか書籍とかマクロの解説とかを読んだ方が良いと思う。
マクロに渡されるのは値じゃなくて式。

156:152
11/09/22 01:54:26.73
>(defmacro test3(x)(equal x '(function +)))
TEST3
>(test3 #'+)
T
納得。夜遅くにスイマセンでした

157:デフォルトの名無しさん
11/09/30 14:34:56.92
自明は相手をごまかす頻出単語

158:デフォルトの名無しさん
11/09/30 14:56:15.85
毎回公理から一つ一つ積み重ねるしかないのか

159:デフォルトの名無しさん
11/10/05 22:10:00.39
キーワード引数が指定されなかった場合と、
キーワードの値としてnilが渡された場合って区別できるんでしょうか?
例えば
(defun hoge (&key (foo)) foo)
として、
(hoge)
の場合と
(hoge :foo nil)
の場合を区別できるかどうか、という意味です。


160:デフォルトの名無しさん
11/10/05 22:26:42.09
&key では判断するために supplied-p-parameter があるよ。
CL-USER> (defun hoge (&key (foo nil foo-supplied-p)) (values foo foo-supplied-p))
HOGE
CL-USER> (hoge)
NIL
NIL
CL-USER> (hoge :foo nil)
NIL
T


161:159
11/10/05 22:46:31.24
おぉー。全く知りませんでした。
ばっちりです。ありがとうございます。

162:デフォルトの名無しさん
11/10/10 09:36:53.02
パッケージとか、ASDFの使い方を知りたいのですが、
何を参照したらよいですか?


163:デフォルトの名無しさん
11/10/10 11:42:24.68
>>162
パッケージは知らないけど、ASDFなら
URLリンク(common-lisp.net)
とか
URLリンク(common-lisp.net)
とかじゃない?

ググッたりしてるなら、もう見ただろうけど

164:デフォルトの名無しさん
11/10/10 13:07:43.42
>>162
ASDFではなく、quicklispを使うといいよ。
既知だったらすまん。

165:デフォルトの名無しさん
11/10/10 18:25:50.48
>>164
CLのパッケージシステム関連全体のことを聞いてるんじゃねぇの
quicklispもasdf使ってるし
``asdf-install使うくらいならquicklispを使うといいよ''
てな話だとわかるんだが, 若干的外れなような...


166:デフォルトの名無しさん
11/10/10 21:04:40.05
162の質問者です。舌足らずの質問ですいませんでした。

これまで、小さなプログラムしか作ったことがないもので、
個々のソースプログラムファイルをloadしているだけで
満足してたのです。使ってる処理系がsbclなので、多分何もしなくても
コンパイルもしてくれるようですし。(つづく)


167:デフォルトの名無しさん
11/10/10 21:07:41.81
(つづき)
しかし、下記の理由で、だんだんそうもいってられなくなりました。
1. 自分で書くプログラムがかなり大きくなってきた。
   (その結果 2.と3.)
  2. 名前空間(?)をcommon-lisp-userとは、分離したい.
3. ソースプログラムファイルの依存関係(どれが、どの
   ファイルで定義されている関数を使っているかなど)を
   うまく表現する方法がないか知りたい。コンパイルや
   ロードをスマートにやりたい。
    (c言語でのmakeに相当するものがないかな??)
(つづく)


168:デフォルトの名無しさん
11/10/10 21:10:04.15
(つづき)
4. 他人が作ったプログラムをつかうのに、requireとか
   asdfを使うこともでてきたのですが、(関連するwebサイト
   の説明を鵜呑みにしているだけで)何が起こっているのか
   よく分からない。何が起こっているのか知りたい。
(つづく)


169:デフォルトの名無しさん
11/10/10 21:12:19.54
(つづき)
4. 他人が作ったプログラムをつかうのに、requireとか
   asdfを使うこともでてきたのですが、(関連するwebサイト
   の説明を鵜呑みにしているだけで)何が起こっているのか
   よく分からない。何が起こっているのか知りたい。
(つづく)


170:デフォルトの名無しさん
11/10/10 21:14:34.72
(つづき)
ちなみに、require関数を使って他人が書いたプログラム(たとえば
clxとかMcCLIMなんか)をロードすると、
結構、複雑なことが起こっている気がするのですが、CLtL2のrequire
の説明をみても何だかよくわかりませんでした。
(多分、必要なモジュールを探してロードしているんだろうなと思う。
そういうことを自作プログラムでもやりたいのです。)


171:デフォルトの名無しさん
11/10/10 21:24:23.45
2. は CL でいうパッケージの仕事。
3. は、ASDF (C言語でいう make の Lisp 版。最近の標準) の仕事。
4. に関しては、CLHS で provide/require という仕組が定義がされているが、
こいつは実装依存でかつ依存関係を取り扱うポータブルな手段がないため、一
般的にはASDFが利用される。(でも、処理系依存のライブラリなんかでは使われてる)

前にでている Quciklisp てーのは、 ASDF の上にさらに rpm/yum みたいなパッ
ケージ管理機能を追加したもの。なので、ボトムアップが好きなら学習順序と
してはパッケージ -> ASDF -> Quicklisp がいいんじゃないかな。

172:デフォルトの名無しさん
11/10/11 23:51:42.80
ネットに繋がらない環境にquicklispkから落としたライブラリを持って行きたいんだけど、
ネットにつながるマシンでライブラリ整えて、~/quicklispを全部コピーして持ってけばおkなのかな?

173:デフォルトの名無しさん
11/10/12 00:26:01.96
>>172
そう。
持っていったやつを別な場所に置きたいなら、
URLリンク(www.quicklisp.org) を参考に。

174:デフォルトの名無しさん
11/10/12 14:01:09.61
なんと言いますか、ミニゲームを作りながら段々とプログラミングのやり方を
覚えていくような入門サイト、書籍みたいなものはありませんか?

入門書籍を何冊か読んでみたんですが、式それぞれの使い方は飲み込めたのですが
それをプログラムでどう表現したら良いか分らないと言いますか。

出来ればLinux上のClispに対応したものがベターですが、他の環境でも構いません。

175:デフォルトの名無しさん
11/10/12 16:47:15.57
ありません

176:デフォルトの名無しさん
11/10/12 16:53:12.06
>>174
URLリンク(landoflisp.com)

177:デフォルトの名無しさん
11/10/12 17:09:02.98
斬新スギルwwwwww

178:デフォルトの名無しさん
11/10/12 19:37:39.35
>>176
開いた瞬間にMade by secret alien technologyだったw


179:デフォルトの名無しさん
11/10/12 22:58:13.41
>>176
類書が全く思いつかないすごい世界だ

180:デフォルトの名無しさん
11/10/12 23:02:53.03
括弧食うなw

181:デフォルトの名無しさん
11/10/12 23:59:37.28
その本は素晴らしいよ。
LISPのトンデモ歴史に始まり、簡単なAIやWEBサーバー開発なども学べる。
英語は平易。

182:デフォルトの名無しさん
11/10/13 00:10:38.65
Land of Lispって、作曲したり、色々フリーダムだよな。

URLリンク(youtu.be)

183:デフォルトの名無しさん
11/10/13 01:12:43.71
>>176を見てamazon kindleで衝動買いしてしまったw
kindle価格で29ドル
早速読んでみるわ

184:デフォルトの名無しさん
11/10/13 22:45:02.02
出版社はno starch press (堅苦しくない出版 という名前)で
日本語の萌系の学術書?も翻訳してるし、
You learn a haskell for great good! (最近話題のHaskell書)の
本も出版してる。You learn ~ も簡単な英語で書かれてるよ。

185:デフォルトの名無しさん
11/10/14 07:07:25.64
本当だ、オーム社のマンガでわかる〇〇の表紙が公式サイトにある
Hacking第2版のパブリッシャーでもあるのか

186:デフォルトの名無しさん
11/10/14 07:39:00.94
The Manga Guide to the Universe なんてのもその出版社のページに。
オーム社は「マンガでわかる銀河系」も出すべきだなw

187:デフォルトの名無しさん
11/10/14 13:31:36.12
>>173
サンクス!
お礼が遅れてすまんかった。

188:デフォルトの名無しさん
11/10/16 01:26:54.32
Schemeのschelogに相当するものってないの?

189:デフォルトの名無しさん
11/10/16 02:04:44.48
URLリンク(norvig.com)
URLリンク(www.franz.com)

190:デフォルトの名無しさん
11/10/16 09:42:50.70
URLリンク(www.lispworks.com)


191:デフォルトの名無しさん
11/10/18 23:48:13.92
テスティングフレームワークって何が標準的なんでしょうか?

192:デフォルトの名無しさん
11/10/19 00:54:57.34
特に標準はないんじゃないの?
よく使われてるライブラリで共通で使われてたりするのかな?

xUnit,xSpec,quickcheck,Test::Moreみたいな言語間で広まってるテストフレームワークも
URLリンク(www.cliki.net)
URLリンク(google.co.jp)

193:デフォルトの名無しさん
11/10/19 01:02:25.05
clojure.testっぽいのとPerlのMore::Testっぽいのは、日本語の一次資料があるらしい。
最近公開されたものだし、標準ではないけどね。


194:デフォルトの名無しさん
11/10/19 07:32:48.73
>>191
比較的多く使われてるのはFiveAMとStefilかなー。
機能的にも割と似たような感じ。ただ、Stefilはドキュメントがない。
特に拘りがないならどっちか使っとけば良いと思う。

Clackの中の人が作ってるCL-TEST-MOREなんかは、TAPが好きなら良いかも。
あと、複雑なテストが必要ない場合、自分で書いてる人も割といるように見える。

上で出てない追加の情報源とか。

URLリンク(cl.cddddr.org)
URLリンク(cl.cddddr.org)
URLリンク(aperiodic.net)

195:デフォルトの名無しさん
11/10/19 07:54:01.51
あと、CL-TEST-MOREは公式のドキュメントは英語。
ただ、中の人が日本人なので、日本語の解説もあるけど。

URLリンク(github.com)
URLリンク(e-arrows.sakura.ne.jp)
URLリンク(tips.lisp-users.org)

clojure.testっぽいのはButterだと思う。使ったことないから使い勝手は分からない。
こっちは日本語のREADME付き。

URLリンク(github.com)
URLリンク(d.hatena.ne.jp)

196:デフォルトの名無しさん
11/10/25 06:28:23.81
RIP

197:デフォルトの名無しさん
11/10/25 06:43:27.22
マッカーシー御大のことか

198:デフォルトの名無しさん
11/10/25 21:23:05.33
ああ、なんというか悲しいなぁ。
おれがコンパイラとか興味持ったのも、全部Lispのおかげなんだ。
Lispの父の魂よ安らかに眠れ。

199:デフォルトの名無しさん
11/10/25 21:48:23.67
マッカーシーって赤狩りやった人?

200:デフォルトの名無しさん
11/10/25 22:44:12.27
連載:インターネット・サイエンス の歴史人物館(12)
ジョン・マッカーシー
URLリンク(wbb.forum.impressrd.jp)

201:デフォルトの名無しさん
11/10/27 16:40:48.72
関数プログラミングとオブジェクト指向プログラミングが相容れないという見解を
時折聞くのですが、そうなんですか?
自分はオブジェクト指向を型と引数の型によって振る舞いを変える関数の組み合わせで理解しており、
関数プログラミングとオブジェクト指向プログラミングは直行するのではないかと思っているのですが。

202:デフォルトの名無しさん
11/10/27 17:29:29.77
確かに直交するものではあるのだけど、
どうしてもオブジェクト指向の、「物」指向、副作用による状態の変化を利用したスタイルから、
普通にはそれを使えなくなる純粋関数型に、自分の思考を持ち込むか、という技の掛け方、
というか、そのへんは実際にやってみて慣れればなんということないんだけど、説明するのは
難しいので。

203:201
11/10/27 17:34:38.20
ははあ、結局再代入をどんどんやるスタイルから
一度しか代入しないスタイルへの切り替えの難しさから
そういう意見が出てくるって事ですね
ありがとうございます

204:デフォルトの名無しさん
11/10/27 17:43:50.90
ABCLとか、ACTOR→Schemeとか、
メッセージパッシング系は上手く混合してるでしょ。

205:デフォルトの名無しさん
11/10/27 19:00:26.69
>>201
技術書の「Concepts, Techniques, and Models of Computer Programming」
(CTMCP:コンピュータプログラミングの概念・技法・モデル)で複数の
計算モデルが解説されているが、一般にオブジェクト指向と呼ばれている言語は、”状態”
を内部に持って、書き換え(副作用を起こし)ながら処理を進めるモデル。

関数型と呼ばれる言語の多くは、数学での集合・写像がベースになったモデル。
従って、処理の大部分を副作用ではなく、集合への写像(関数適用と思っていい)で出来る。

相性というより、計算モデルが全く違うので、混在は非効率。
なお、CTMCPには他のモデルも解説されている。

206:デフォルトの名無しさん
11/10/27 20:28:15.59
質問ですが、(progn (setq x 0) (dotimon (i 10) (setq x (add x i))))
のxはこのまま活用するのですか?
 LISP触って日が浅いのでまだ分かりづらくて…

207:201
11/10/27 20:51:23.53
>>205
ありがとうございます。
確かに狭義の定義では相容れませんね。
JavaやC++でラムダ計算は出来そうにもありませんし、
Haskellでは代入自体が不可能ですし。

208:デフォルトの名無しさん
11/10/27 20:54:20.61
>>206
「xはこのまま活用する」とはどういう意味でですか?

209:デフォルトの名無しさん
11/10/27 21:16:05.58
>>208
すみません、少し読み返してみたらsetqでxは0に定義されていました・・・orz
 少し落ち着いてから勉強しなおします。

210:デフォルトの名無しさん
11/10/27 21:21:24.93
209の者で一応206をまとめると、「xをそのまま引数としていいのか」という文意でした。
 

211:デフォルトの名無しさん
11/10/27 23:10:17.78
何にも束縛されていない変数xを引数にした式(add x i)を評価するとまずいんじゃね,
と思ったけど直前に(setq x 0)があるから束縛されてた,問題なかった,という意味?

212:デフォルトの名無しさん
11/10/27 23:46:20.82
scala 触ってみて、クラスベースOO と関数型は相性良くないなあと思った。
不必要に複雑になりがちで。

213:デフォルトの名無しさん
11/10/28 00:49:20.17
物と状態のシミュレーションじゃなくて、やり取りするインターフェース指向というか型や取り決めのためにOOは使うものなんだよっていう人もいるな。

clojureの宣伝文句は、OOの目的を別なやり方で、だとか。
URLリンク(thinkrelevance.com)
URLリンク(www.geidai.ac.jp)
URLリンク(www.geidai.ac.jp)

clとclojureちょっとかじったのけど、scheme知らないのでRacket使ってみようかな。

214:デフォルトの名無しさん
11/10/28 06:22:21.58
インターフェースって観点なら
個人的にはHaskellの型と型クラスの扱いが
一番綺麗に整理されてていいと思う

215:デフォルトの名無しさん
11/10/28 10:53:54.69
型クラス便利なんだけど、副作用とあんま相性が良くない、
みたいなことをOCamlの人が書いてた気がする。

216:デフォルトの名無しさん
11/10/28 15:05:25.95
clojureのdeftype/protocolもhaskellの型クラスに近い感じだね。
データ型と振る舞いの分離、データ型の継承なし、など。

217:デフォルトの名無しさん
11/10/29 06:37:12.03
(defun 5jou (x)
(let ((x2 0) (x3 0))
(setq x2 (2jou x))
(setq x3 (* x2 x))
(* x2 x3)))
5JOU
が理解できません。どなたか簡単に説明をお願いいたします。


218:デフォルトの名無しさん
11/10/29 08:28:04.20
>>217
酷い関数名だなw
2乗する関数2jouってのがどこかに定義されてて、
xを5乗するってのを 2乗掛け(2乗掛け1乗)で実行してるだけだと思う。

ただ普通はそんな酷い書きかたしないよ。何の例?

219:デフォルトの名無しさん
11/10/29 08:50:47.56
(defun 9jou-lover ()
(destroy 'war-freak))

(crazyp 9jou-lover)
t


220:デフォルトの名無しさん
11/10/29 08:53:13.73
宿題?
(defun 5jou (x)
(let ((x2 0) (x3 0))
(setq x2 (2jou x)) ; x2 = x^2
(setq x3 (* x2 x)) ; x3 = x2*x = x^3
(* x2 x3))) ; x2 * x3 つまり x^5


221:デフォルトの名無しさん
11/10/29 09:49:42.36
>218
ある入門書です。

222:デフォルトの名無しさん
11/10/29 09:55:29.50
>>220
ありがとうございました。

223:デフォルトの名無しさん
11/10/29 10:29:38.69
関数型4つの特徴とλ計算かな

224:デフォルトの名無しさん
11/10/29 10:52:42.97
こんな短い関数に setq 使っているのが凄く気持ち悪いな

(defun 5jou (x)
(let ((x2 (2jou x)))
(let ((x3 (* x2 x)))
(* x2 x3))))


225:デフォルトの名無しさん
11/10/29 11:14:37.94
ダメな例として挙げているのかも知れんな

226:デフォルトの名無しさん
11/10/29 12:36:07.35
(defun 5jyou (x)
(* x x x x x))

227:デフォルトの名無しさん
11/10/29 14:10:16.47
もしもその本の中で悪例として取り上げていないのであれば
すぐに窓から投げ捨てたほうがいいレベル

変数名にx1,x2,...とかつけちゃう本は大抵ダメ
学生が作ってくるプログラムでたまにこういうのあるよね
全ての関数名がf1,f2,...で変数名がx1,x2,...

228:デフォルトの名無しさん
11/10/29 14:12:01.20






          _____
  .ni 7    /        \  ご冥福をお祈りします
l^l | | l ,/) / /・\  /・\ \    .n
', U ! レ' / |    ̄ ̄    ̄ ̄  |  l^l.| | /)
/    〈  |    (_人_)    |  | U レ'//)
     ヽっ     \   |    /   ノ    /
 /´ ̄ ̄ ノ     \_|    \rニ    |
                      `ヽ   l







229:デフォルトの名無しさん
11/10/29 14:13:31.37
俺ならっ!こう書くっっ!
(defmacro gogogo (n)
 (let ((jo-name (intern (concatenate 'string (prin1-to-string n) "JOJO"))))
  `(defun ,jo-name (x)
   (let ((x-val x))
    (apply #'* (make-list ,n :initial-element x-val))))))

230:デフォルトの名無しさん
11/10/29 14:15:36.49
処理系のソースの中にも, 結構見掛けられる
(flet ((hoge (....
とか(実際には frob とかだが)...

いいんじゃねぇの名前なんてどうでも....


231:デフォルトの名無しさん
11/10/29 14:16:11.42
x-val は必要なかった。画竜点睛を欠いちまったぜ!!

232:デフォルトの名無しさん
11/10/29 14:32:35.97
ソースを後で見なおした時にすぐにわかるように
しておかないと、手直しする気すら起こらんぞ。

233:デフォルトの名無しさん
11/10/29 14:41:42.31
>>230
名前は大事でしょ。
例えば関数の名前付けに困るときは、
処理をまとめる粒度がおかしかったり、
別個の処理をまとめてやっちゃってることが多い。

234:デフォルトの名無しさん
11/10/29 16:33:59.96
命名規則さえ一貫してれば名前なんて何でも良い

235:デフォルトの名無しさん
11/10/29 16:43:56.57
コンパイラでGNU CLISP使ってんのだけど、
読み込みが一瞬で終わってデバックするところが分からないから
CLISP使っている人でどうしたらいいか分かる人いない?

236:デフォルトの名無しさん
11/10/29 17:02:39.29
たとえ命名規則が"f+数字"でも、一貫してればそれでいいのか。
すげーけどあまり関わりたくないな

237:デフォルトの名無しさん
11/10/29 17:03:58.19
>>235
読み込み速度とデバッグの関係がわからない。なにをどうしたいんだ?

238:デフォルトの名無しさん
11/10/29 17:11:13.44
>>237
俺の作ったデータを読み込む
    ↓
エラーがあるから無論エラー文が返される
    ↓
しかし速すぎ見えないワロタwww
みたいな流れ。

239:SCHEME餃子 ◆8X2XSCHEME
11/10/29 17:23:00.81
>>238
コンソールが閉じるってこと?
それともエラーの量が多すぎて流れちゃうってこと?

240:デフォルトの名無しさん
11/10/29 17:23:28.68
>>236
それって gensym みたいだ
lispや関数型言語で悩むのは関数の名前だというのは避けられないな。
特に、英語のボキャブラリの足りなさと前置詞の使い方の理解不足が
日本人にとって鬼門だと思ってるよ。

241:デフォルトの名無しさん
11/10/29 17:26:48.12
common lispにはtraceやstepがあるから、それを意識した関数の作り方
をすれば混乱するところはずいぶん減るよ。
意識してプログラミングしてみな。けっしてdefunの中身をでかくするんじゃないぞ


242:デフォルトの名無しさん
11/10/29 17:32:22.33
小分けした関数でいいから、最適化をするときにインライン化もできるしね。
だから、1つの関数に5行で収まることを意識した作りをしてみればいい。
condやcase/ifを使うと大きくなりがちだけど、条件のところを上手に
関数化すると関数の膨らみは抑えられるし、デバッグもあとで楽になる。
traceを使うときも条件分けした所でどこに富んだかは一目瞭然になるしね。
手続きグセなのか関数の中にオールインワンの方向に作っちゃう人はいるけど
あれは、デバッグで悩むことになるからやめたほうがいいよ。
優れたlisperのソースでも長いものはあるけど(macroでmacroや関数をまとめて
作るような場合は特にね。)最初は小分けから、最適化するに連れて色々変える
ことを意識してったほうが効率はいい。

243:デフォルトの名無しさん
11/10/29 17:32:29.26
>>238
前者で合ってる

244:デフォルトの名無しさん
11/10/29 17:37:04.27
確か、初めて本の中でletが登場した辺りだったと思う
S式眺めてると関数なんだかシンボルなんだかわからなくなる
ってなってた頃はx1とか変数然としてて読みやすかった記憶がある

245:SCHEME餃子 ◆8X2XSCHEME
11/10/29 17:40:07.18
>>238
普通は Emacs と繋げるだろう jk

246:デフォルトの名無しさん
11/10/29 18:37:19.17
>>238
なにが速いんだ? >>239 の推測どーりなら、
コンソールが閉じる => コマンドプロンプトから起動すれば?
文字が流れちゃう => エラーでたら止まるようにプログラムしとけば?
という感想。状況がいまいちわからん。

247:デフォルトの名無しさん
11/10/29 21:39:37.13
SLIME経由で使わないCommon Lispとかマジ罰ゲームだろ。
開発効率が十倍以上変わってくるぞ。

248:デフォルトの名無しさん
11/10/29 21:44:27.07
>>247
その昔 グレアムはviでclispを・・・
ということがあったようだ。slimeがあまりにもいいからな。
いまはslimvというvimのものがあるが。

249:238
11/10/29 21:51:03.24
>>245,246,247
サンクス、いろいろ試してみる

250:デフォルトの名無しさん
11/10/29 21:55:13.75
GNU CLISPってことはwindowsかな?
だとすると、slime+clisp がついてくるlispcabinetが
おすすめ
インストールするだけで環境が整うよ

251:SCHEME餃子 ◆8X2XSCHEME
11/10/29 22:01:13.63
Lisp は言語としては (今となっては相対的に) それほど複雑とも難しいとも言えないし、日常的なスクリプトを書くのにも使えるけれど、
実質的には実用的な開発環境が Emacs か Vi しかないっつーのは環境をととのえるとこからめんどくさくて初心者にはハードルが高いよな。
Lispbox 使えよ。

252:SCHEME餃子 ◆8X2XSCHEME
11/10/29 22:02:08.85
最近は lispcabinet なんてのもあるのか。
導入の楽さでは Lispbox よりも上っぽいな。

253:デフォルトの名無しさん
11/10/29 22:02:45.70
Slimv - SLIME for Vim - YouTube
URLリンク(www.youtube.com)

見てみたけど面白いね。vimでここまで出来るなら、使い勝手がよさそう

254:デフォルトの名無しさん
11/10/29 22:16:23.99
quicklispのことまで考えたらcabinetのほうがいいけどな。
そもそもwindowsで関数型言語をやる環境は整えるのが大変だわ。
msのところに本拠があるはずのhaskellだってlinuxのほうが扱いやすい。
windowsはさっさと捨てて、linuxを使ったほうが変な悩みは減るよ。

255:デフォルトの名無しさん
11/10/29 22:18:37.60
Vimとか、Vimスクリプトの時点でお帰り下さいって感じだわ。
Emacs Lispも大概だけど、曲がりなりにもLispだからまだマシ。

という煽りはさておき、LispboxとかLisp Cabinetとかって、
Emacsに薄い皮を被せただけだから、トラブルとか起きると、
結局Emacsの深い所に突っ込んで行かないといけなくて、
そんなにありがたくないんだよね。インストールが楽なだけで。

RacketみたいにIDEも付けてくれると、住み分けできると思うんだけど、
そっちの方向に期待できるのは商用かCCLくらいしかない。

256:デフォルトの名無しさん
11/10/29 22:42:10.35
emacsをもっとwindowsフレンドリーに改変してくれればいいんだろうけど
(環境設定のあたりとか)
現状で満足する人が大多数だから、そうはならないだろうね
dual bootできない環境ならvirtual machine 経由でlinuxを動かすのが現実的な案か

257:デフォルトの名無しさん
11/10/30 03:39:26.35
>>253
綺麗にまとまっているように見えるけど、モードのあるviでREPLって操作性があんまり想像できんわ
上のウィンドウで直接入力してEvalしたりとかもできるんだろうか?

Clojureつかったjettyサーバがトラブった時にemacs入れなくても現場デバッグできるからうれしいんだが。


258:デフォルトの名無しさん
11/10/30 03:48:29.45
>>257
Ctrl-Wwでウインドウを移動して、モードを変える 書き込みはファイルをいじる時と同じ。
Clojureも対応してるし、実はClojureように細工して使ってる。笑

259:デフォルトの名無しさん
11/10/30 12:46:20.68
windowsでもvmware playerでlinuxを別窓にして使ったほうが精神衛生上はるかにいい

260:デフォルトの名無しさん
11/10/30 19:11:51.71
最近はもうVMware使ってないわ
VirtualBoxかqemuで充分だし

261:デフォルトの名無しさん
11/10/30 19:22:19.92
Vimはモードがあると言ったって、モード毎にキーマップがあるから
挿入モードのキーマップで普通は入力しないようなキーに
評価コマンドを割り当てればいいんじゃね

Emacsのsexpと同じような「括弧の釣り合いが取れる」範囲指定も標準装備してるし
(範囲と操作を直交するものとして定義しているから
範囲を受け付けるように操作を定義すればどんな範囲指定とも組み合わせられる。
逆に新しい範囲を定義すれば範囲を受け付けるどんな操作とも組み合わせられる)

262:デフォルトの名無しさん
11/10/31 08:17:52.34
おすすめの入門書てありますか?

263:デフォルトの名無しさん
11/10/31 10:07:16.39
とりあえずANSI Common Lispじゃね?
実践Common LispもWebアプリとか現代的な例があっていいと思う

それはそうとだれかLand of Lisp読んでみた奴いない?
URLリンク(landoflisp.com)
なんだか楽しそうなんだがwww

264:デフォルトの名無しさん
11/10/31 13:29:29.19
>>262
絶版だけど、すごい!Lisp


265:デフォルトの名無しさん
11/10/31 13:30:05.90
あれ、これがLispだ!だったっけ。。。


266:デフォルトの名無しさん
11/10/31 16:55:51.20
まさに!Lisp!

267:デフォルトの名無しさん
11/10/31 19:15:09.27
>>263
あのイラスト一杯は行ってるけど普通にLispの本だったよ


268:デフォルトの名無しさん
11/10/31 20:45:21.07
>>263
かなり良い本だから、そのうち邦訳されると思ってる。
小学校の指定教科書にしたいくらいだ。

269:デフォルトの名無しさん
11/10/31 21:00:47.07
出版社も あのシリーズ(manga guide)を扱ってる関係で
押さえられててもおかしくないもんな。

270:デフォルトの名無しさん
11/10/31 22:10:31.57
プログラミング初心者にお勧めのLisp入門書ありますか?

271:デフォルトの名無しさん
11/10/31 22:34:19.71
little schemerのシリーズでいいんちゃう?

272:デフォルトの名無しさん
11/10/31 23:42:40.19
The Common Lisp Cookbook - Using the Win32 API
URLリンク(cl-cookbook.sourceforge.net)

このページの初めのサンプルスクリプトが動かないのですが
(lispworks personal edition version 6.0)
どう改変すれば動くようになるのでしょうか

273:デフォルトの名無しさん
11/10/31 23:45:37.76
scheme手習いシリーズは初心者が手にとるもんじゃない、Gauche本がいいって結論じゃなかったっけ。

274:デフォルトの名無しさん
11/10/31 23:50:05.14
Gauche本をプログラミング初心者に勧める奴がいたら神経疑う。悪いけど

275:デフォルトの名無しさん
11/11/01 00:01:18.48
とりあえずいろいろ厚手だしネット上で読めるし、いいんじゃね?
神経疑ってるひとの補足があればさらにいいが。


276:デフォルトの名無しさん
11/11/01 00:19:57.98
common lisp 入門
URLリンク(www.geocities.jp)
このぐらいの分量でちょうど良い

277:デフォルトの名無しさん
11/11/01 00:23:37.47
>>275
まえがきの「対象読者」から引用

> 本書は、GaucheやSchemeについてはよく知らないけれど、他の
> プログラミング言語でなら開発経験があるという読者を
> 主な対象にします。

ずぶの素人に独習で読ませたらEmacs導入のところで放りなげるよ

278:デフォルトの名無しさん
11/11/01 00:28:07.94
そう言う意味じゃemacs Lispの入門書がプログラミング自体が初心者という人には良いのかもな


279:デフォルトの名無しさん
11/11/01 00:46:15.74
>>272
エラーメッセージ詳しく。


280:デフォルトの名無しさん
11/11/01 00:47:09.38
そうなるのか

281:デフォルトの名無しさん
11/11/01 00:50:52.09
>>279
CL-USER 1 > (require "win-header")

Error: Unknown module "win-header".
1 (abort) Return to level 0.
2 Return to top loop level 0.

Type :b for backtrace or :c <option number> to proceed.
Type :bug-form "<subject>" for a bug report template or :? for other options.

これです

282:デフォルトの名無しさん
11/11/01 00:59:15.38
俺はグレアムのansi common lispで勉強したけど。あれで十分だった。
ただ、anti-loopistだからそのへんは理解しておいていいかも。
俺はいまだにloopは嫌いなくらい。

283:デフォルトの名無しさん
11/11/01 01:24:00.78
>>281
LispWorks自体にはwin-headerなるモジュールは付属してない。
だから、"Unknown module"って言われてる。LispWorksのドキュメントにも、
Windows APIはサポートしてないから、自分でFLI使って定義してね、って書いてるし。

多分、そこのページにある、Appendix Aをwin-header.lispとか名付けてrequireして、
さらにdefpackageでwhを定義する必要がある。不完全なコードなので、即投げ捨てて良い。

こっちを読むべき。

URLリンク(www.lispworks.com)

284:デフォルトの名無しさん
11/11/01 01:29:34.27
>>283
なるほど、そういうことですか。
紹介して下さったfliのページを読んでみます
ありがとうございます

285:デフォルトの名無しさん
11/11/01 01:40:38.22
Windows APIを直叩きしたいなら、Clozure CLが楽だと思う。
examplesのmswin.lispにウィンドウを表示するサンプルがある。

あとは、Doorsっていうライブラリが複数の処理系に対応してるけど、
ドキュメントないし、Quicklispにも収録されてないので、
ASDF知らないとインストールで引っ掛かるかも。

URLリンク(github.com)

286:デフォルトの名無しさん
11/11/01 01:56:11.75
>>273
ごめん^^; 手習いシリーズは 詰将棋や 一人チェスの入門問題集みたいだったな。

287:デフォルトの名無しさん
11/11/01 07:50:41.67
Little Schemer に一票 >> 初心者向け

しかも和訳でなく、原書の方。

英語版で読むと幼稚園児でも出来そうに見えるのに、
日本語版で読むと同じ内容でも小難しく感じる不思議。

288:デフォルトの名無しさん
11/11/01 10:49:20.43
>>267>>268
そうかありがとう
どうしよっかな、買っちゃおうかな

289:デフォルトの名無しさん
11/11/01 12:40:20.45
>>288
8章のサンプルは公開されてるから、それを読んでみて理解できるか確認すればよい。
平素な英語で書かれているので、初めての洋書としても向いてると思うけどね。

290:デフォルトの名無しさん
11/11/01 13:33:19.95
英語でのある人のおすすめってこうらしい
URLリンク(carcaddar.blogspot.com)
Between Land of Lisp, David Touretzky's Common Lisp: A Gentle Introduction to
Symbolic Computation (really great book for people new to programming,
available for free) and The Little LISPer (3rd edition, editions four and up
use Scheme) you have three really great resources to get started.

David Touretzkyの本はすでに絶版になっててオンラインでPDFで著者が公開してるくらい
しかない。金がなくて始めたいという人ならいいかもしれない。

291:ミサワ
11/11/01 14:34:15.10
つれー 日本語訳が小難しいからつれーわー 日本語訳が小難しいからなー

292:デフォルトの名無しさん
11/11/01 19:11:45.82
金がない場合は知恵がいる
知恵がない場合は金がいる

293:初心者
11/11/02 02:28:47.09
レスさんくすです。

CLスレだけど、プログラミング初心者向けはschemeがいいみたいですね。

LispSchemeスレの過去ログみたらSCHEME餃子さんが、Gauche本、プログラミング言語 SCHEMEの後に
手習いシリーズ勧めてたみたいだけど、これはscheme初心者向けであってプログラミング初心者向け
の場合は逆になるって事ですね。

まずは>>276のサイトでCL勉強してみます。ありがとうございました。

294:デフォルトの名無しさん
11/11/02 19:54:50.09
schemeならSICPは外せないだろ
英語版はWebで無料公開されてるし

295:デフォルトの名無しさん
11/11/02 20:13:37.48
SICPはSchmeの勉強のためには書かれていない

たいして勉強しないでもSchemeを使えるような奴のために書かれている

296:デフォルトの名無しさん
11/11/03 02:26:32.03
windowsでecl-11.1.1を使っています。
Unicodeが使えるそうなので、ためしに"あ"を表示するスタンドアロンのプログラムを作っています。
REPLでは以下の通り実行することで、"あ"を表示することができました。

> (setf (stream-external-format *standard-output*) :cp932)
> (write-char #\U3042)

しかし、これをそのままコンパイルしてもうまく動きません。
どうすればできるか教えてください。
あと、"#\U3042"ではなく"#\あ"と書いても動かせる方法があればそれも教えてください。

297:デフォルトの名無しさん
11/11/03 04:18:23.74
どのように上手く動かないか、情報が足りないから何とも言えない。
多分、コンパイル後コンソールで実行したら文字化け、ってパターンだと思うけど。

ECLってexternal formatのサポートが不完全だったと思うんだけど、それは直ったの?
リファレンスマニュアルの"13.2. Input/Output model"の部分。

> - No support for external formats. Reading and writing is performed using the 8-bit code of the character.
> - No support for Unicode characters. The code of large characters is simply truncated.

これが直ってないなら、利用するエンコーディングのバイト列に自分で変換して、
write-sequenceとかで出力しないといけないけど。

とりあえず、コンソールで動かしたときのexternal formatの値をprintするとか、
出力されたデータを16進表示してどのエンコーディングか判断したりとか、
問題の切り分けから始めてみるのを勧める。

298:296
11/11/03 15:57:48.85
external formatのサポートについては知りませんでした。
気長にやってみます。
ありがとうございました。

299:デフォルトの名無しさん
11/11/03 23:30:38.58
ECLを使ってるのがコンパクトな実行形式を作るためなら、
SBCLに移行して、圧縮したコアイメージで実行形式を作るっていう手もあるよ。
SBCLならその辺りのサポートはきちんとしてるし、圧縮率も割と良いみたい。

300:デフォルトの名無しさん
11/11/05 09:40:41.36
ポールグラハムの話で時折出てくるロバートモリスって、
sendmailワームの人?

301:デフォルトの名無しさん
11/11/05 09:57:12.99
そうだよ。

モリスがその事故起こした時に相談受けていろいろ動いたりした「友人」ってのがポールグレアム。

302:デフォルトの名無しさん
11/11/05 11:45:26.42
そうなんだ
ありがとう

303:デフォルトの名無しさん
11/11/05 15:12:25.63
うちのVAX11感染したの思い出した


304:デフォルトの名無しさん
11/11/06 12:47:58.86
>>303
おっさん乙

305:デフォルトの名無しさん
11/11/06 13:10:18.71
マクロをapplyするにはどうしたらいいんでしょうか
こんな感じのことがしたいんですが。
(let((a '(true 1 2)))(apply if a))


306:デフォルトの名無しさん
11/11/06 13:33:18.66
(let ((a '(true 1 2))) (eval `(if ,@a)))

307:デフォルトの名無しさん
11/11/06 19:24:21.74
そういう風にevalを使うのは、某文書の言う所のレッドフラッグってヤツだと思う。
実行時にメタプログラミングをしてたりするなら話は別だけど。

質問自体が最初に結論ありきな感じだけど、>>305は本当にifをapplyしないといけないの?
実はifの上に単純なマクロを構築すれば良い話だったりしないかな。

308:デフォルトの名無しさん
11/11/06 21:39:17.26
>>305
CLHSみるとifはoperatorであって、どんな実装になってるか規定されてないわけだが
なぜifがマクロだって思ったんだ?


309:デフォルトの名無しさん
11/11/07 18:13:10.80
まさにこの話だと思う

apply-macroの話
URLリンク(e-arrows.sakura.ne.jp)

310:デフォルトの名無しさん
11/11/07 18:34:52.87
関数とマクロとスペシャルフォーム
Lisp で一番ややこしい部分だと個人的に思っている。

311:デフォルトの名無しさん
11/11/07 18:37:18.98
マクロあるいは特殊形式のapplyてどういときに嬉しいんだろ

312:デフォルトの名無しさん
11/11/07 22:45:04.56
関数・マクロ・special operator の区別がついてないときに嬉しい

…と、昔の自分を思い出してそう思った。
ややこしい部分ではないんだけど落とし穴になりそうな概念だとは思う。


313:デフォルトの名無しさん
11/11/14 08:17:17.68
Lisp中級ぐらいになるには
だいたいどの位の期間が必要ですか?

314:デフォルトの名無しさん
11/11/14 08:41:17.56
計算機科学の素養があれば一ヶ月もあれば中級Lisperになれると思うけど、
プログラミング経験ゼロからのスタートなら数年はかかると思う。

315:デフォルトの名無しさん
11/11/14 11:14:44.24
>>313のいう初級中級上級の定義はわからないけど、shiroさんところに”ネタ”として
10段階に分けたページがあったな。

316:デフォルトの名無しさん
11/11/17 22:47:48.09
普段大学でcommon lispを習っていて、emacsでslimeを起動して勉強しています。
自宅でもやりたいなと思い、ubuntu11.10を導入してemacs23とslimeをインストールして
起動まではできました。

そこで大学で書いたプログラムをロードしようとしたら、
The value 1985828 is not of type (MOD 1114112).
[Condition of type TYPE-ERROR]
このようなエラーが出たのですがどういうことでしょうか?
大学では何も問題なく、動いてたプログラムです。
色々調べて見たのですが解決法がわかりません。
どなたか回答よろしくお願いします。

317:デフォルトの名無しさん
11/11/18 00:01:03.56
>>316
大学の処理系は64ビットで、自宅の処理系が32ビットだったりしない?

URLリンク(www.lispworks.com)

を読んでもらうと分かると思うけど、1114112より小さい正の整数しか許されない型に、
1985828を値として渡してエラーになってる。コードが変わっていないなら、
処理系やOSなどが原因で、リミットに引っかかっている可能性が高い。

とりあえず、SLIMEなら下にスタックトレースが出ると思うんだけど、
上から10個くらいはどうなってる? どっかで見た数なんだけど、思い出せない。

318:デフォルトの名無しさん
11/11/18 00:04:47.80
ああ、分かった。Unicodeだ。#x110000。

ファイルやネットワーク通信のデータとかに、適切じゃないデータが入ってるとか、
code-charに変なデータ渡してるとか、external formatの設定が適正じゃないとか、
その変はどう?

319:デフォルトの名無しさん
11/11/18 00:13:08.90
>>317
大学も自宅も32bitマシンです。

適切じゃないデータは入ってない・・・と思います。
code-charやexternal formatについてはよく分かりません。
すみません・・・。

320:デフォルトの名無しさん
11/11/18 00:21:06.60
>>319
とりあえず、処理系の名前は?

それと、エラーが出たとき、「Restarts:」の下に「Backtrace:」ってのがあって、
そこに番号振ったS式が出て来るよね? それの0~10くらいまで晒してくれない?
それによって、どういうコードでエラーが発生してるのか分かる。

10まで表示されてないよ、って場合は「--more--」までカーソル持ってくと、
次のが出て来る。

321:デフォルトの名無しさん
11/11/18 00:24:04.98
>>320

処理系はどちらもSBCLです。

Backtrace:
0: (SB-KERNEL::OBJECT-NOT-TYPE-ERROR-HANDLER ..)
Locals:
SB-DEBUG::ARG-0 = :<NOT-AVAILABLE>
SB-DEBUG::ARG-1 = #.(SB-SYS:INT-SAP #XB5E0E470)
SB-DEBUG::ARG-2 = #<SB-ALIEN-INTERNALS:ALIEN-VALUE :SAP #XB5E0E12C :TYPE (* ..)>
SB-DEBUG::ARG-3 = (399 16)
1: (SB-KERNEL:INTERNAL-ERROR #.(SB-SYS:INT-SAP #XB5E0E12C) #<unavailable argument>)
Locals:
SB-DEBUG::ARG-0 = #.(SB-SYS:INT-SAP #XB5E0E12C)
SB-DEBUG::ARG-1 = :<NOT-AVAILABLE>
2: ("foreign function: call_into_lisp")
[No Locals]

Backtraceにはこれしか書いていません。


322:デフォルトの名無しさん
11/11/18 00:29:01.94
SBCLのFFI APIでエラーが起きてる。FFI使ってる?
Cのライブラリのバインディングか何か?
コードを晒すことって可能? エラーが起きる場所が把握できてるなら、
そこだけでも良い。

323:デフォルトの名無しさん
11/11/18 00:35:36.75
>>322

FFIとはなんでしょうか?
コードは800行あるので全部は晒せません。
またエラーが起きてる場所も自分では把握できてないです。
何もわかってなくてすみません。

324:デフォルトの名無しさん
11/11/18 00:47:26.79
>>323
Foreign Function Interface。LispからCの関数を呼んだりする仕組み。
分からないのは最初はみんなそうだから気にせんで良いよー。

単にコードの大きさが問題で貼れないなら、

URLリンク(paste.lisp.org)

とかGist(URLリンク(gist.github.com))でも大丈夫。

エラーが起きてる場所は普通バックトレース(スタックトレース)とかで把握するけど、
それで分からないなら、(print "function-xx: in")みたいなのを関数の最初に追加しても良い。

実行はどういう風にしてるの? C-c C-c? C-c C-e? それとも*slime-repl sbcl*から?

325:デフォルトの名無しさん
11/11/18 00:56:05.59
FFIというは多分使ってないと思います。
コードはこれで見れるでしょうか?
URLリンク(gist.github.com)

実行は
emacs開く
M-x slimeでslime起動
C-c C-lで上のコードをロードする。
するとロード中に当初のエラーが起きます。

326:デフォルトの名無しさん
11/11/18 01:03:32.25
>>325
こっち(Windows XP SP3、SBCL 1.0.52)で評価したけど、普通に通るコード。

原因が分かった気がする。保存したファイルの文字コードがEUC-JPじゃない?
EmacsでC-x RET fして、utf-8-unix指定した後で保存して、再度ロードするとどうなる?

327:デフォルトの名無しさん
11/11/18 01:10:33.26
>>326
できました!!
ありがとうございます!
ファイルの文字コードが大学と自宅じゃ違ったということでしょうか?
これは自動で変換してくれたりはしないのでしょうか?
毎回指定して保存しなければならないのでしょうか?

328:デフォルトの名無しさん
11/11/18 01:15:38.92
>>327
おめでとう。お疲れ様。

ファイル自体のエンコーディングが大学と自宅で違ったか、
処理系の標準のエンコーディングの設定が大学と自宅で違ったかだと思う。

sb-impl::*default-external-format*を.sbclrcで設定したり、
slime-net-coding-systemを.emacsで設定したりすることで、
自分の普段使ってるエンコーディングを標準で使うことができるよー。
これらのキーワードでグーグル先生に尋ねれば、色々出てくると思う。


329:デフォルトの名無しさん
11/11/18 01:21:37.56
>>327
本当にありがとうございました。

エンコーディングについては自分で調べて努力してみます。

330:デフォルトの名無しさん
11/11/18 17:23:12.67
dig 2ch.net | grep 2ch | tail -n 1 > get.dat
cat get.dat
2ch.net. 8 IN A 206.223.154.230

このget.datを読み込んでリスト化ってどうやりますか?

331:デフォルトの名無しさん
11/11/19 00:10:57.50
>>329
ソースの一行目に";; -*- coding:utf-8-unix -*-"とかコメント行を入れるといいかも。

332:デフォルトの名無しさん
11/11/19 00:27:26.94
SBCLもそれ解釈してくれるの?


333:デフォルトの名無しさん
11/11/19 00:40:17.53
>>330
(with-open-file (s "get.dat")
(mapcar (lambda (x)
(ppcre:split "\\s+" x))
(loop for l = (read-line s nil) while l collect l)))
;=> (("2ch.net." "8" "IN" "A" "206.223.154.230"))


334:デフォルトの名無しさん
11/11/19 01:36:27.02
>>333
ありがとうございます。lambdaとmapcarってこうやって使うんですね。

335:デフォルトの名無しさん
11/11/19 02:12:07.73
(cadddr (with-open-file (s "get.dat")
(mapcar (lambda (x)
(ppcre:split "\\s+" x))
(loop for l = (read-line s nil) while l collect l))))
引き出せないのはなんで?
(cadddr (loop for x from 1 to 10
collect (loop for y from 1 to x
collect y) ))
;;=> (1 2 3 4)

336:デフォルトの名無しさん
11/11/19 06:48:52.64
おはよう。1要素しかないのにcdrのcdrのcdrのcarを参照してるから。
(("2ch.net." "8" "IN" "A" "206.223.154.230"))のcdrはnil。
nilのcdrはnilで、そのcdrもnil。nilのcarはnil。

(defparameter *lines*
(with-open-file (s "get.dat")
(loop for l = (read-line s nil)
while l collect (ppcre:split "\\s+" l))))

(caar *lines*)
;=> "2ch.net."
(cadar *lines*)
;=> "8"

普通は頭が混乱するので、firstやsecond、eltなどを使う。

(let ((first-line (car *lines*)))
(values (first first-line) (second first-line)))
;=> "2ch.net.", "8"

(let ((first-line (car *lines*)))
(values (elt first-line 0) (elt first-line 1)))
;=> "2ch.net.", "8"

337:デフォルトの名無しさん
11/11/19 06:55:42.53
個人的な好みとしては、最初から要素の数が分かってるときは、構造化代入。

(let ((first-line (car *lines*)))
(destructuring-bind (a b c d e) first-line
(values a b c d e)))
;=> "2ch.net.", "8", "IN", "A", "206.223.154.230"


338:デフォルトの名無しさん
11/11/19 08:03:06.33
>>336-338
おはようございます。詳しい解説ありかどうございます。
ボーっとしていたのか、二重被りだと気づきませんでした。listpでTが返って来たので頭の中が
混乱しました。一回carでむけばよかったんですね。first, second関数は知りませんでした。eltは
勉強した気がするけど忘れていました。
答えなくても良いんですが、多値を返す関数の多値をリスト化する方法ってどうやるんですか?
(list-fn
(let ((first-line (car *lines*)))
(destructuring-bind (a b c d e) first-line
(values a b c d e)))
)
==> ("2ch.net." "8" "IN" "A" "206.223.154.230") ;;という結果が欲しい
あと多値を返す関数を少ない or 多い多値にするのはどうやるんですか?
(low-values
(let ((first-line (car *lines*)))
(destructuring-bind (a b c d e) first-line
(values a b c d e)))
)
;=> "2ch.net.", "8", "206.223.154.230" ;;という結果が欲しい
(round 8 3)の二番目だけをformatで出力することもできるんでしょうか?
あとリストで弄った方が楽な気がするんですが、多値で返すのとリスト内で多値を返すのと違いって
なんかあるんですか?

339:デフォルトの名無しさん
11/11/19 08:31:19.07
(multiple-value-list (values 0 1 2))
;=> (0 1 2)

;; 使わない部分は単に無視する
;; そのままだと警告が出るので、ignore宣言で使わないことを明示する
(multiple-value-bind (a b c d e) (values 0 1 2 3 4)
(declare (ignore b d))
(values a c e))
;=> 0, 2, 4

(multiple-value-bind (_ remainder) (round 8 3)
(declare (ignore _))
(format t "~a" remainder))
;-> -1

多値の利点は主に速度と最初の値以外を単に無視できること。
あるいは、足りない値を自動的にnilで埋めてくれること。
リストの方が多くの場合で柔軟だと感じるのは正しい。

;; リストだと一度分解しないといけない
(+ (truncate 1.5) 2) ;=> 3

;; 返ってきた値が足りない場合nilで束縛される
(multiple-value-bind (a b c) (values t)
(list a b c))
;=> (T NIL NIL)


340:デフォルトの名無しさん
11/11/19 08:44:51.16
自己解決しました。
(multiple-value-bind
(i1 i2 i3 i4 i5)
(let ((first-line (car *lines*)))
(destructuring-bind (a b c d e) first-line
(values a b c d e)))
(list i1 i2 i3 i4 i5))
(multiple-value-bind
(i1 i2 i3 i4 i5)
(let ((first-line (car *lines*)))
(destructuring-bind (a b c d e) first-line
(values a b c d e)))
(values i1 i3 i5))
(multiple-value-bind
(q r)
(round 3)
(format nil "~s" r))
URLリンク(www.geocities.jp)

間に合いませんでしたか。さーせん。

341:デフォルトの名無しさん
11/11/19 09:10:25.20
いや、自己解決してくれた方が良いから気にしないで。
こっちの復習にもなるし。

あと、使わない変数には警告が出ると思うんだけど、
(declare (ignore ...))とかで消しておいた方が良い。
そうしないと、本当に変数を使い忘れてるのを見落とす原因になるし、
コードを読む人への手助けになるという利点があるから。

そこのサイトは良い入門なので、参考にすると良いよー。


342:デフォルトの名無しさん
11/11/19 10:45:32.41
>>341
スクリプトの使い捨てない度はピンキリですが、(declare (ignore ...))もそうですが、他の警告文もすぐに消していますか?
あとdocumentationも書き始めから積極的に書いてますか?

(defun f (x)
"compute f value"
...)
> (documentation 'f 'function)
"compute f value"

というか、(documentation 'documentation 'function)で引けばよかったのか。わざわざWebにアクセスしていたw

343:デフォルトの名無しさん
11/11/19 13:03:56.48
>>342
人によりけりだと思うけど、再利用するコードなら自分は警告は可能な限り消す。
バグに発展したら嫌だし、重要な警告が埋もれるし。

docstringは仕様が固まるまでは書けない。最初のうちはどんどん構造も変わるし、
その都度書き直しとか面倒に思えて。ただ、目的が明確なものなら最初に書いてる。

(deftype octet ()
"An octet. An alias of (unsigned-byte 8)."
'(unsigned-byte 8))

みたいなのとか。

あと、SLIMEならC-c C-d dとかC-c C-d fとか、シンボルの上でやってみると幸せだと思う。

URLリンク(common-lisp.net)


344:デフォルトの名無しさん
11/11/19 18:45:39.05
>>343
回答、ありがとうございます。
今まで仕様が固まっていないという理由で警告文もないがしろしていました。今日まで警告文の消し方を
知りませんでしたが。職業プログラマでもないし、長い行のブログラムを書いたことがないので不遜なん
ですがdocstringはprovisional(y)という単語を独自略語でPRVと書いて0.5秒考えてざっくり書いていけば
良いんではないのかなとちょっと思いました。現実世界の法律文もそうですが形骸化しちゃうのは割り切る
しかないのかなと思います。PRVも10段階ぐらいのレベル機能つけてどの程度の完成度を明示する。あと
"Mon May 23 23:41:00 JST 2011"みたいなのを付加して、弄るごとに"Mon May 30 15:41:00 JST 2011"みたい
なのを追記して、弄った履歴と最終更新日時で昇順・降順で飛んでいける機能、最終更新日時で指定日時から
指定日時までを昇順・降順で飛べる機能、人に見せたくないメモドキュメント機能、ソースを人に渡す時は人に
見せたくないメモドキュメント・日時関連を除去できる機能があると10年後に読むハメになったときに便利で読む
コスト低減につながるのかなあ。
10年、20年単位で保守・管理する代替ツールってあるんでしょうかね。

URLリンク(ejje.weblio.jp)

345:デフォルトの名無しさん
11/11/19 20:48:04.55
頑張ってる所に水を差すようで悪いけど
どの行を誰がいつ編集したのかは最近のSCMを使っていれば(大抵はblameという名前のサブコマンドで)調べられる
あまり凝ったルールは時間が経つと守られなくなっていく
docstringに全ての情報を詰め込む必要もない、コメントで書けばいい
「これから変わるかもしれない」目印は英語だとTBD(to be doneなどの略。探せば他にも出てくるが、大抵は「まだ○○してない」の意味)とか
Subject to changeと書く場合が多いから、無意味に独自ルールを作らない方が良い

346:デフォルトの名無しさん
11/11/19 20:58:08.36
docstringは、その関数、スロット、クラスを使う人のために書くもんで、
開発する人のためにあるわけじゃないから。

347:デフォルトの名無しさん
11/11/19 21:23:13.20
>>346が大前提だねー。メタ情報とかの諸々は外部で管理した方が良いと思う。
docstringが長くなると、画面あたりの情報量が減って、可読性が大幅に下がるし。

10年、20年単位で保守・管理するためのツールがSCMやissue trackerとかで、
情報の管理もそちらで行うのが常識になってる。

最近はみんな、趣味のコードの管理にはGitHubかBitbucket使ってるよね。


348:デフォルトの名無しさん
11/11/19 21:30:20.61
>>347
たいてい何変えたよだけで、結局「ソース読め!!!」じゃん


349:デフォルトの名無しさん
11/11/19 21:39:08.23
ソースコード読んでない関数は使わない人キタ━(゚∀゚)━!

350:デフォルトの名無しさん
11/11/19 22:13:01.27
だれ?

351:デフォルトの名無しさん
11/11/19 22:18:29.20
>>348
issue trackerやSCMを絡めて、変更の背景とか議論の経過とか、
付加的な情報も集約して管理しましょうよ、という流れがある。
今まで紙の書類とか、担当のコンセンサスで管理してたようなの。
CVSとかChangeLogの時代から運用もツールも大分前進したと思う。

そっち関連のスレとか見れば色々話してるんじゃないかな。


352:デフォルトの名無しさん
11/11/19 22:30:04.62
>>351
「声のでかいやつが勝」的、要素も多分にあるけどな


353:デフォルトの名無しさん
11/11/20 16:53:43.60
prin1みたいに奇妙な関数名の由来についてまとめたページはありませんか
と質問する前にぐぐってみたら

URLリンク(groups.google.com)
URLリンク(cadr.g.hatena.ne.jp)


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch