CommonLisp Scheme Part10

1 名前：デフォルトの名無しさん mailto:sage [04/02/01 19:10] 過去スレ Part1: piza2.2ch.net/tech/kako/987/987169286.html Part2: pc.2ch.net/test/read.cgi/tech/1002584344/ Part3: pc.2ch.net/test/read.cgi/tech/1008220265/ Part4: pc.2ch.net/test/read.cgi/tech/1016211619/ Part5: pc3.2ch.net/test/read.cgi/tech/1023091882/ Part6: pc3.2ch.net/test/read.cgi/tech/1031560687/ Part7: ruku.qp.tc/dat2ch/0311/20/1042167213.html Part8: pc2.2ch.net/test/read.cgi/tech/1058263391/ Part9: pc2.2ch.net/test/read.cgi/tech/1069594582/ 前、"Schemeスレはあるのになんでcommonlispスレはないの?"とか言って別のスレを建てた大馬鹿者がいたので、 標題にCommonLispと付けておきました。 Lispの話題でCommonLisp,Scheme,EmacsLisp(専用スレッドがある)以外のものが出ることはこのスレの歴史上でも 稀なので問題はほとんどないかと思います。 関連リンクは>>2-10あたり 237 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:30] ワロタ 238 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:32] >>232 俺はこういうコーディングは思いつかないと思うけど、schemerの人って こういうコーディングをよくするの? 見ためは、綺麗だよね。 239 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:37] >>232 そういうコードが安心して使えるかどうかっていうと駄目だろ。 CommonLispはコンパイラの最適化って点でインプリメンタの気まぐれなわけだし。 コーティングスタイルにまでは及ばない。 240 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:39] >>238 CPS（232みたいなk=continuationを渡していくやつ）はよく使うよ。 241 名前：デフォルトの名無しさん [04/02/28 17:40] ♪defineの次に、letで囲めばぁー 242 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:41] 春はまだ先だぞ 243 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:44] 最適化部分は処理系依存なだけで。 C とかだって最適化は規格で決まってなくても プログラマは処理系のマニュアル見て安心して使うだろう？末尾再帰の最適化が完全 に良い事づくめなら Scheme みたいに規格で決めちゃってもいいかもしれんけど，デ バッグがやりにくくなるからなぁ…… でも普通は処理系が対応してりゃ安心して使えるだろう。大抵のコンパイラは末尾再 帰の最適化機能を備えているわけだ。以前 c.l.l でも出ていたがやっぱ最適化オプ ションに「末尾再帰の最適化」を設けるべきだろうなぁ。規格以外は一切使わないと いうポリシーもありだと思うけどね。 244 名前：sage [04/02/28 17:45] （見逃してやれよー） 245 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:55] >>243 デバッグがやりにくくなる？ どんなデバッグしてるのさ ログ出すだけじゃないの？ 246 名前：デフォルトの名無しさん mailto:sage [04/02/28 18:40] アセンブラ出力しておっかけてるんだろ 247 名前：デフォルトの名無しさん mailto:sage [04/02/28 18:56] xyzzy で tail recursion が遅いのは大変残念な思いがします． 248 名前：デフォルトの名無しさん mailto:sage [04/02/28 18:56] 関数トレースしたり、エラーがでたらバックトレースみたり、 スタックフレームのぞくだけだけど…。ひょっとして「ログ出す」 ってのが普通なの？漏れ Lisp の正規の教育受けてないので 常識には自身がないんだよね。 249 名前：デフォルトの名無しさん mailto:sage [04/02/28 18:58] s/自身/自信/ どうやら国語も勉強しなおしたほうがいいようだ。吊ってくるわ。 250 名前：デフォルトの名無しさん mailto:sage [04/02/28 19:06] 所詮はエディタだし。 251 名前：デフォルトの名無しさん mailto:sage [04/02/28 19:08] Lispの正規の教育受けてる人なんてほとんどいないだろ。 Java/C/C++でさえ書籍orWebの情報だけでやっていく人がたくさんいるし。 252 名前：デフォルトの名無しさん mailto:sage [04/02/28 20:55] 正規の教育ってなんだ？（ｗ 253 名前：デフォルトの名無しさん mailto:sage [04/02/28 21:14] >>245 のデバッグ手法を教えてください。漏れも最適化したらデバッグ用 情報が減るのは当たり前だと思ってたんだけど。Scheme では関数呼び出し 情報とかはあんまりデバッグに使わないんですか？ 254 名前：デフォルトの名無しさん mailto:sage [04/02/28 22:17] schemeも、トレース実行すると末尾再帰の呼び出しが 普通の再帰みたくツリー上に出るんじゃない？ デバッグでなんか大きな違いってあるの？ 255 名前：デフォルトの名無しさん mailto:sage [04/02/29 01:09] >>253 ログ出しについての説明か？ ループの中で変化する変数を表示するだけですが。 256 名前：デフォルトの名無しさん mailto:sage [04/02/29 13:11] >>254 え、何という処理系ですか？デバッグ周りって処理系依存ですよね。 トレース実行って特定の関数だけとか全体とか指定できるんですか？ >>255 それだけじゃキツイなぁ。再帰がふか〜い所でエラーな時とか。 やっぱエラーになってデバッガが立ち上がったところから手繰って いけたほうが便利だと思いますが。私の使ってる処理系は debug レベル を 2 以上にすると末尾再帰の最適化が行われなくなるのでエラーに なった時点からフレームをたどっていけますが…。 257 名前：デフォルトの名無しさん mailto:sage [04/02/29 13:50] traceなら処理系というかマクロでできるよ 258 名前：デフォルトの名無しさん mailto:sage [04/02/29 15:53] デバッグがらみの話題で、処理の流れを目で追うことができるソースレベルデバッガが 売り物の処理系でも付いていないというのは、要望が少ないからなのかな? たしかに バックトレースの表示などの伝統的なやり方でもデバッグできるけどね。あと、要所 要所に(format t "my-var = ~S~%" my-var)を挿入とか。俺はPerlでもこのやり方で デバッグするね。Data::Dumperという便利なものもあるし。 俺はEmacs Lispではソースレベルデバッガであるedebugをもっぱら使ってdebugはほとんど 使ったことがない。 259 名前：デフォルトの名無しさん mailto:sage [04/02/29 16:39] stepじゃ駄目なの? 260 名前：デフォルトの名無しさん mailto:sage [04/02/29 16:53] >>259 いや、stepでもたぶん同じことができると思うけど、エディタでコード全体を 見渡しながらデバッグできると気持がいいんだよね。ついでに、監視したい式なんかを 複数登録しておいて常時、その値を表示させておくとか。ブレーク時に画面上で変数の 上にマウスポインタを置くだけで、値が表示されるとか。 つまり、昔かたぎの人からみれば、俺は現在のIDEに毒されているヘタレということか。プ 261 名前：デフォルトの名無しさん mailto:sage [04/02/29 17:53] slimeに期待かな。 現時点でもエラー箇所の表示とか凝ったことできるし。 262 名前：デフォルトの名無しさん mailto:sage [04/02/29 18:10] 名前がスライムっぽくて嫌 263 名前：デフォルトの名無しさん mailto:sage [04/02/29 19:34] ﾒﾀﾙｽﾗｲﾑがあらわれた ﾒﾀﾙｽﾗｲﾑAは逃げ出した 264 名前：デフォルトの名無しさん mailto:sage [04/02/29 20:05] バックトレースってデバッグでは便利だと思うんだけど Scheme の人は 要らないのかな？拾ってきたプログラムがエラー吐いてとまったときと かバックトレースが空だとちょっと悲しいんだけど。 >>257 なんか安心して使える trace の実装とかあります？処理系によっては 付いてるみたいだけど。付いてないのも結構あるので困るんですが。 265 名前：デフォルトの名無しさん mailto:sage [04/02/29 22:05] >>264 そういうのはどう転んでも処理系依存だしなあ。 いつでも外せるassertみたいなの埋め込むぐらいしか。 昔さわったminischemeのトレースはトレース対象を出力用の フック関数で挟む方式だった。後付けマクロ。 関数突入・脱出でトレース出力するので、 トレース対象関数は自然と末尾再帰が外れて山形の出力になる。 ただし内部関数、名無し関数には使えない。 266 名前：デフォルトの名無しさん [04/03/01 12:48] foo,bar,baz,mumble,glorp これって何に由来してんだぁ？ 267 名前：デフォルトの名無しさん mailto:sage [04/03/01 13:21] >>266 foo と bar は RFC で定義されているよ 268 名前：デフォルトの名無しさん mailto:sage [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 名前：デフォルトの名無しさん mailto:sage [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 名前：デフォルトの名無しさん mailto:sage [04/03/02 00:36] 本からのｺﾋﾟﾍﾟ程度でいちいち age るのがウザイんだよ。 ML スレでやれば？型無しのありがたみは無いってことでいいからさ。 デバッグ方法が聞けてｳﾏｰと思ってたのに、そんなつまらんネタ振るな。 だいたいここは Lisp 総合スレなんだ、型有りの Lisper 連中からすりゃ ハァ？って話題だろーが。全部の LISP 型無しという狭い見識をなんとか してから出直してきてくれ。 273 名前：デフォルトの名無しさん mailto:sage [04/03/02 00:37] dat 落ちした前スレを html 化してもらいました。 LISP Scheme Part9 ruku.qp.tc/dat2ch/0403/01/1069594582.html 274 名前：デフォルトの名無しさん [04/03/02 12:24] 強い型付けのないSchemeのような言語には 良いところもあるよなぁ、ということを言いたかった だけなんだがなぁ．．． 275 名前：デフォルトの名無しさん mailto:sage [04/03/02 12:49] まぁ、あんまり気にすんなや。 276 名前：デフォルトの名無しさん mailto:sage [04/03/02 19:09] 健全なマクロ ＶＳ 不健全なマクロ 1 ：デフォルトの名無しさん ：04/03/02 19:14 (ちょっと入れ子でスレ立たせてくれや) 健全なマクロって不便だし、不健全なマクロの貸しコートもささくれ立っていてなんかイヤ。 だから、健全なマクロに「不健全」ていうオプション欲しいよな？ お前ら、どう思いますか。 277 名前：デフォルトの名無しさん mailto:sage [04/03/02 19:14] 健全なマクロ ＶＳ 不健全なマクロ 2 ：デフォルトの名無しさん ：04/03/02 19:15 2get 278 名前：デフォルトの名無しさん mailto:sage [04/03/02 19:16] 「不健全」というと健全なのより悪いイメージがあるからな〜。 個人的にはつまらないマクロと楽しいマクロだな。変数キャプチャ があった方がいろんな意味で楽しい。はまるとデバッグも愉快な事 になるしな。アヒャヒャヒャヒャ。 279 名前：デフォルトの名無しさん mailto:sage [04/03/02 19:20] define-unhygienic-syntax ;-) 280 名前：デフォルトの名無しさん mailto:sage [04/03/02 19:56] defmacro/define-macroの方が簡単だし構造見えるし作りやすい。 gensym命。でもSRFIのhygienicマクロそのまま読めない罠。 まあhygienic作る暇あったら正規表現でも統一しなさいってこった。 281 名前：デフォルトの名無しさん mailto:sage [04/03/02 20:28] >>278 define-boring-macro/define-amusing-macro とか？ まぁ変数キャプチャを防いだところで世間の見る目はかわらんよね。 R... な言語の作者だってマクロはﾀﾞﾒﾎﾟって言ってたけどこれは 変数キャプチャ云々の話じゃないわけだし。 282 名前：デフォルトの名無しさん mailto:sage [04/03/02 22:08] >>281 世間の見る目って？どんな風に見られてるの？ m@zはどうしてマクロはﾀﾞﾒﾎﾟって言ってるの？ 283 名前：デフォルトの名無しさん mailto:sage [04/03/02 22:21] >>282 「神聖なる構文を一般利用者が触るなんてとんでもない。そんなの混乱の元だよ！」 ユーザビリティの問題だとかいってたあたりの事だと思われ。確認してないから 不正確かも知れんが探すのﾏﾝﾄﾞｸｻ(括弧の話だったかも？) 284 名前：デフォルトの名無しさん mailto:sage [04/03/02 22:26] あのひとはユーザビリティって言葉好きだよね 285 名前：デフォルトの名無しさん mailto:sage [04/03/02 22:42] その割にRubyて妙な構文だらけだね え、LISPには劣るって！？ 286 名前：デフォルトの名無しさん mailto:sage [04/03/02 23:02] あぁ！？神聖なる構文？ しゃらくせえ。 おれ様が欲しいのは圧倒的な自由なんだよ！ Schemeは聖域無き言語だぜ！ ユーザビリティーだと？ ヌルイ！ヌルイよそれ！ ちょーヌルイよ！ あーヌルイ。母さーん、火ぃつけてくれ。 ふぅー、ぬるぽ。 287 名前：デフォルトの名無しさん mailto:sage [04/03/02 23:05] C言語みたいな、ちょっと小汚い言語の方が好かれるかもなあ 288 名前：デフォルトの名無しさん mailto:sage [04/03/02 23:58] vimのVIlispってプラグインまともに動かせてる人いる？ 設定のコツを教えてくれ。 \esで評価しようとするとvimが固まるんだけど… 289 名前：デフォルトの名無しさん mailto:sage [04/03/03 20:35] 　 （　・∀・）　　　|　|　ｶﾞｯ 　と　　　　）　 　 |　| 　　 Ｙ　/ノ　　　 人 　　　 /　）　 　 < 　>__Λ∩ 　 ＿/し'　／／. Ｖ｀Д´）/ 　（＿フ彡　　　　　 　　/ 　←>>286 290 名前：デフォルトの名無しさん mailto:sage [04/03/04 14:28] Lispをよく知る前は、Lispは再帰が命と聞いた。 ↓ Common Lispを習ったら、再帰はC++と同じくらいしか使わないなと思った。 ↓ Schemeを習ったら、「やっぱりLispは再帰が命?」と思った。 291 名前：デフォルトの名無しさん mailto:sage [04/03/04 14:39] CPS (continuation passing style)ってSchemerの人達が発明したコーディングスタイルなのかな? 末尾再帰の最適化が保証されていないと、いやがる人がいそうな書き方だよね。 実際は、メモリを結構積んでいるマシンが増えたから、再帰が多少深くなったって、困る場面ってそうそう ないような気もするけど。 292 名前：デフォルトの名無しさん mailto:sage [04/03/04 16:36] コンパイラ関連でよく出てくるよ＞CPS 293 名前：デフォルトの名無しさん mailto:sage [04/03/04 23:34] >>291 CPS ってもう少し汎用的な概念だと思う。 state パターンも原始的な CPS だと言えなくもない。 末尾再帰を使うのはたまたま scheme が末尾再帰を正当化してくれているから。 294 名前：デフォルトの名無しさん mailto:sage [04/03/05 13:44] www.lispworks.com/reference/HyperSpec/Body/t_std_cl.htm > 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 名前：デフォルトの名無しさん mailto:sage [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 mailto:sage [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 名前：デフォルトの名無しさん mailto:sage [04/03/05 15:54] あれっ、clisp 2.28って古すぎですね。今は2.32か。 298 名前：デフォルトの名無しさん mailto:sage [04/03/05 16:01] GNU CLISP 2.32 (2003-12-29) [1]> (subtypep 'standard-class 'standard-object) NIL ; T 299 名前：デフォルトの名無しさん mailto:sage [04/03/05 16:06] いや今 CMUCL はメインの CVS 鯖がダウンしてて Martin タソが準備してるってだけ。 はやくなおらないなか〜。PCL をいじってたのは Gerd Moellmann です。だから Gred's PCL。 19a からこっちになる予定。 300 名前：デフォルトの名無しさん mailto:sage [04/03/05 16:31] 今、cl-ppcreをDebianシステムにインストールしたんだけど、 apt-get install cl-ppcre で、clisp、cmucl、sbcl-mtなどインストールされているコンパイラ用にちゃんと コンパイルしてインストールくれるんだね。 しばらくDebianにさわってなかったけど、なんだか、とんでもなく便利になってきている気がする。 debパッケージになっているライブラリも多いし。Debian使っているLisperが多いのかな。 たしかcmuclの開発者もdebianの人が多かったよね。 あと、Redhat(Fedora?)だとメモリチェッカか何かの影響でcmuclが動かない(かった)という話も きいたことがあるね。今でもそうなのかな? 301 名前：デフォルトの名無しさん mailto:sage [04/03/05 17:16] >>299 同意。 早く復活しないとSBCLに(ry 302 名前：デフォルトの名無しさん mailto:sage [04/03/05 17:23] たしかに、現状でSBCLの方が開発に勢いがあると言ってた人がいたな。 303 名前：デフォルトの名無しさん mailto:sage [04/03/05 18:56] CMUCL派生なのに、ベンチマーク結果が大きく違うのは何でだろ。 www.cons.org/cmucl/benchmarks/index-print.html 304 名前：デフォルトの名無しさん mailto:sage [04/03/06 13:30] >>303 俺にはだいたい同じような結果に見えます。sbcl vs cmucl 305 名前：デフォルトの名無しさん mailto:sage [04/03/06 19:38] block compile って何ですか？ 306 名前：デフォルトの名無しさん mailto:sage [04/03/07 11:53] >>305 どんな文脈で、でてきた言葉ですか? 307 名前：デフォルトの名無しさん mailto:sage [04/03/07 17:59] たぶんcmuclじゃないかな。 ftp://ftp.averillpark.net/cmucl/doc/cmu-user/compiler-hint.html#toc161 を熟読。 308 名前：デフォルトの名無しさん mailto:sage [04/03/08 20:32] Gaucheはmingw用でいいからWindows向けのmakefile書いて欲しいなあ。 cygwin入れてconfigure環境作るのﾏﾝﾄﾞｸｻ 309 名前：デフォルトの名無しさん mailto:sage [04/03/08 21:04] >>309 確かに。漏れもGaucheのためにcygwin入れたよ。 310 名前：305 mailto:sage [04/03/08 22:55] >>306-307 レス遅くなりまして済みません。SBCL と CMUCL の比較で、SBCL はまだ block compile が出来ないよみたいな記述があったので、お聞きしました。 >>307 どうもありがとうございます。読ませて頂きます。 311 名前：デフォルトの名無しさん mailto:sage [04/03/08 23:07] block compileには何のメリットが？ 312 名前：189 mailto:sage [04/03/12 00:29] 以前、>>197-198 でコードを提供していただいた者です。 >>211 の後で、ドットリストも扱えるように改造して、欲しい仕様の物ができました。 それを、いま移植作業を進めているプログラムに同梱したいのですが、著作権表記や ライセンスなどでご要望がありましたらお知らせください。 (元プログラムがBSDライセンスなので、それと同じで配布できるとありがたいのですが) 313 名前：197 mailto:sage [04/03/12 01:37] >>312 好きにしていいよ。 314 名前：デフォルトの名無しさん [04/03/12 16:59] このスレ廃れたな.... 315 名前：デフォルトの名無しさん mailto:sage [04/03/12 18:59] わざわざ言うほどでもない 316 名前：デフォルトの名無しさん mailto:sage [04/03/12 19:34] いや、初心者スレの登場でレスが分散して、ここ数日何か寂しいなあと感じたので。 317 名前：デフォルトの名無しさん mailto:sage [04/03/12 19:37] 淋しがりやさんなのね 318 名前：デフォルトの名無しさん mailto:sage [04/03/12 19:39] 新ネタがくれば　ワッシワッシ盛り上がるよ 319 名前：デフォルトの名無しさん mailto:sage [04/03/12 19:44] 両方見てれば別に寂しくないじゃん。 ところで >>189 は何を移植してるんだろ。 期待して待つぞ〜 320 名前：デフォルトの名無しさん mailto:sage [04/03/12 20:56] ↓新ネタ登場! 321 名前：189 mailto:sage [04/03/12 22:37] >>319 khdd.net/kanou/kangae/2003/Apr.html#12.1.4 をご覧ください。 322 名前：デフォルトの名無しさん mailto:sage [04/03/13 14:20] >>321 リンク先みても(12.1.4というアンカー名が見つからない)、いまいち分からないのですが、フォント関連のアプリですか? 323 名前：デフォルトの名無しさん mailto:sage [04/03/13 15:30] khdd.net/kanou/kangae/2004/Mar.html#12.1.4 と間違えたんだろ 324 名前：デフォルトの名無しさん mailto:sage [04/03/13 16:06] なるほろ 325 名前：デフォルトの名無しさん mailto:sage [04/03/13 17:15] #+cmu (loop for i from 128 to 255 do (set-syntax-from-char (code-char i) #\a)) みたいに処理系固有の処理は *features* を使うとｲｲと思われ。 326 名前：デフォルトの名無しさん [04/03/13 21:52] こういうのを高階関数を使って綺麗に書けませんか? (lambda (a b) (> (car a) (car b))) 327 名前：デフォルトの名無しさん mailto:sage [04/03/13 22:55] >>326 逆に汚いかも (lambda (a b) (apply > (map car (list a b)))) 328 名前：デフォルトの名無しさん mailto:sage [04/03/13 23:29] (> a b :key #'car) みたいに書きたいということじゃないの。 329 名前：326 mailto:sage [04/03/14 00:03] 説明不足ですみません。↓こういう用途で使いたいのです。 (sort '((5 a) (3 b) (4 c)) (lambda (a b) (> (car a) (car b)))) map,cut,apply,compose等を使って相当考えたんですが lambdaを使わないで表現できません･･･ 綺麗or簡潔にするのは無理な気がしました。 でも汚い例ですら考えつかなかったので悔しいです。 330 名前：　 [04/03/14 01:35] (define (cons x y) (lambda(m)(m x y))) (define (car z) (z (lambda (p q) p))) としたとき、(car (cons x y)) が x を生じることを 証明せよ、とSICPに言われたんですけど、よくわからんのです。 頭がこんがらがって。 mzscheme というのを使ってるのですが、動きを追うための 機能ってないんでしょうかね。 331 名前：デフォルトの名無しさん mailto:sage [04/03/14 01:49] 言語レベルを落とせばトレースできたような気がしなくもないが 普通に式変形してけばOKかと (car (cons x y)) => (car (lambda (m) (m x y))) => ((lambda (m) (m x y)) (lambda (p q) p))) => ((lambda (p q) p) x y) => x 332 名前：　 [04/03/14 01:59] >>331 あ〜、なるほど。ありがとうございます。 すっきりしました。わたしまだ基本ができてないっすね。 精進します。 333 名前：デフォルトの名無しさん mailto:sage [04/03/14 09:22] >>329 (sort '((5 a) (3 b) (4 c)) #'> :key #'car) 334 名前：326 mailto:sage [04/03/14 15:16] >>333 おおっ　ありがとうございます。 Schemeは無理ですか？ 335 名前：デフォルトの名無しさん mailto:sage [04/03/14 15:27] sort関数自体の仕様による。 どうしても必要なら (sort '((5 a) (3 b) (4 c)) > car) という引数を受け付ける様にするとか。 car>という関数でも作るとか。 336 名前：デフォルトの名無しさん mailto:sage [04/03/14 15:36] (lambda a (apply > (map car a))) 337 名前：326 mailto:sage [04/03/14 16:04] >>336 こんなことができたのですか。これなら満足です。 皆さんどうもありがとうございました。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef