[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2chのread.cgiへ]
Update time : 05/09 19:46 / Filesize : 220 KB / Number-of Response : 1002
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

Lisp Scheme Part17



1 名前:デフォルトの名無しさん [2007/04/20(金) 19:41:39 ]
Lisp全般のスレです

過去スレ
Part16: pc11.2ch.net/test/read.cgi/tech/1172404795/
Part15: pc10.2ch.net/test/read.cgi/tech/1151025773/
Part14: pc8.2ch.net/test/read.cgi/tech/1132275726/
Part13: pc8.2ch.net/test/read.cgi/tech/1115901841/
Part12: pc8.2ch.net/test/read.cgi/tech/1100229366/
Part11: pc5.2ch.net/test/read.cgi/tech/1091456033/
Part10: pc5.2ch.net/test/read.cgi/tech/1075630259/
Part9: pc2.2ch.net/test/read.cgi/tech/1069594582/

http://が多すぎるらしいので分割

369 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 01:29:55 ]
自覚て。俺 (367) も同一人物ってこと?

370 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 05:25:04 ]
香ばしい展開

371 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 09:20:54 ]
まぁこういうアホな会話を育ててしまうという経験を積んでいくうちに
「あれ、どうやら俺は、自分で思っていたほど賢くないみたいだぞ?」
っていうのを学んでいくんですよ。

一生「会話がアホになったのは俺と違って相手がバカだから」の一点張りで生き続けるのも
たまに居ますが。

372 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 14:01:12 ]
>>369
バレてないつもりなのか
>>367にもそのレスにもまだ特定できるほどの特徴が残ってるんだよ

373 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 14:28:42 ]
ここで Ruby スレみたいな話をするのは止めておくれ

374 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 14:44:53 ]
>>373
そりゃ駄目だよ
こういう馬鹿がRubyスレとか他のスレで暴れる前に釘を刺しておかないと

お前の事だけどな

375 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 14:48:14 ]
>>372の後でも特定されるようなレスをするのはわざとなんだろうか
第三者のなりきりかな?

376 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 14:51:32 ]
そこまで執着する理由が分からんけど、何かトラウマでもあるの?

377 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 14:54:25 ]
>>375
もしかして自分が間違ってるかもと思ったら、それが正解だよ。
これ、俺からのアドバイスね。



378 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 15:11:51 ]
それはチョンの陰謀

379 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 15:50:01 ]
>>352 に引用されてるやつは元レスの荒らしが酷いからRubyスレ住人がキレたんだろ。
なんでそんなに特定したがってんだ??

689
CommonLisp が実用的じゃないって Ruby 厨はどれだけアホなんだw
で、Gauche の方が実用的だって?
Shiro 氏自身が実用で使うなら Gauche より CommonLisp とるって言っているのにwwww

702
SBCLで仕事しようとするからだろ
アホか

714
>>710は真性のアホだなw


380 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 15:58:09 ]
>>379
こんな見え見えの釣り針に>>352って小学生同士の喧嘩か

381 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 16:01:00 ]
>>379
「特定したがってる」んじゃなくて、
別人を装って>>352に引用されてる奴を擁護してるからお前に突っ込んでるんだよw

382 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 16:03:13 ]


  こ

 ち

   ぬ


383 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 16:04:36 ]
なんでこのスレ定期的に炎上するの?w

384 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 16:07:07 ]
ところで君たちは何をそんなにムキになってるのかね?
Ruby スレがどうしたとかなんとか、そんなにムキになるほどの
ことなのかね?
そもそも何を怒ってるんだ君たちは?

385 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 17:02:31 ]
本人キター

386 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 18:07:02 ]
\(^o^)/オワタ
ttp://www.unsymmetry.org/up3d/files/1179633042839.jpg

387 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 18:26:41 ]
>>386
すごい勢いだな。



388 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 18:28:43 ]
>>386
実は奥の二人の方がが、手前の人よりも重要なんだよね(;゚∀゚)=3

389 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 18:39:58 ]
なんで乳をそんなとこから出してんの? 不思議!

390 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 20:30:42 ]
GaucheNight前
Lisp実装時の疑問に答えるスレ

GaucheNight後
GaucheNightの記事でLispを知ったLL信者に答えるスレ


391 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 21:04:45 ]
ここはRuby支配下ですか?
他の言語は完全に支配下に置いたんですけどねぇ・・・

392 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 21:07:38 ]
なんか痛いのがきた

393 名前:デフォルトの名無しさん mailto:sage [2007/05/20(日) 22:51:04 ]
>>379
というかこれ自体は別に嘘言ってないよなあ
ライブラリが少ないから実用的じゃないみたいなツッコミに
商用パッケージ使わないからと言っているだけだし
相手が小学生みたいな反応に見える

394 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 03:31:13 ]
>>391
グレアムおじちゃんがお口にλつけて仕舞いにくるぞ


395 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 05:51:37 ]
「支配」っていうのは、とてもRuby的な概念だよね。
自己顕示欲ともPerlコンプレックスともつかない、Rubyユーザーの野望がよく出てる単語というか。
とても人間的。

Lispはどっちかというと「わかる奴だけ使う最強兵器」みたいな位置だし、
ユーザーもそういう位置で満たされてるから、言語トーク自体を楽しむ意気込みはあっても、
そこで支配というワードが来ると、それどーゆー意味だったっけ的な溝を感じる。

396 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 10:51:46 ]
ふーん

397 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 14:13:14 ]
「最強兵器」も「支配」といい勝負ではないか?



398 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 14:41:11 ]
頭悪そう

399 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 14:46:33 ]
「支配」っていうのは、とてもボールペン的な概念だよね。
自己顕示欲とも万年筆コンプレックスともつかない、ボールペンユーザーの野望がよく出てる単語というか。
とても人間的。

筆ペンはどっちかというと「わかる奴だけ使う最強兵器」みたいな位置だし、
ユーザーもそういう位置で満たされてるから、筆記用具トーク自体を楽しむ意気込みはあっても、
そこで支配というワードが来ると、それどーゆー意味だったっけ的な溝を感じる。


400 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 15:31:15 ]
Schemeは毛筆、と。メモメモφ(・∀・)

401 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 16:34:30 ]
鉛筆最強

402 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 18:35:45 ]
schemeはチョークじゃなかったっけ

403 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 18:45:51 ]
メモメモφ(・∀・)
 smalltalk (n.) [smo?to?k]] 1.文房具談義、筆記用具トーク 2. 小型のチョーク (→数奇夢)

404 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 19:55:41 ]
Ruby信者はいつも元気だな

405 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 21:18:17 ]
Common Lispは山羊の毛の毛筆
Schemeは馬の尾の毛だな

406 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 21:46:39 ]
>>405
どう違うの?

407 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 21:55:05 ]
山羊の毛は(()())で
馬の尾の毛は(().())



408 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 21:58:49 ]
俺様Lispはあそこの毛で作りました

409 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 22:04:42 ]

 )

 )

410 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 22:18:54 ]

 )

 )


411 名前:デフォルトの名無しさん mailto:sage [2007/05/21(月) 22:19:36 ]
λ
(())

412 名前:デフォルトの名無しさん mailto:sage [2007/05/22(火) 12:48:02 ]
黒板偉大なり

413 名前:デフォルトの名無しさん [2007/05/22(火) 14:22:56 ]
今、ウェブ・サービスの多くが、
Javaや.NETベースのアプリケーションサーバや、
Perl/Ruby/PHP/Python等のLightweight Languageの上に構築されていますが、
なぜそこにLispが含まれていないのでしょうか?

414 名前:デフォルトの名無しさん mailto:sage [2007/05/22(火) 14:36:04 ]
これはひどい一本釣りですね

415 名前:デフォルトの名無しさん mailto:sage [2007/05/22(火) 18:42:36 ]
(lambda

416 名前:デフォルトの名無しさん mailto:sage [2007/05/22(火) 20:08:35 ]
らんぶだ!

417 名前:デフォルトの名無しさん mailto:sage [2007/05/22(火) 21:07:15 ]
lambda! と申したか
酷い仕様だな



418 名前:デフォルトの名無しさん mailto:sage [2007/05/22(火) 21:42:35 ]
(lambada () '石井明美)

419 名前:デフォルトの名無しさん mailto:sage [2007/05/22(火) 22:03:47 ]
>>418
それはラマダン!

420 名前:デフォルトの名無しさん mailto:sage [2007/05/22(火) 22:04:44 ]
>>419
むしろラバンバ。

421 名前:デフォルトの名無しさん mailto:sage [2007/05/22(火) 22:09:05 ]
lamborghini

422 名前:デフォルトの名無しさん mailto:sage [2007/05/22(火) 23:21:41 ]
俺ははじめてlambdaを見たとき
ふつーにランバダってよんでたな。

423 名前:デフォルトの名無しさん mailto:sage [2007/05/23(水) 00:36:40 ]
俺は脳内でラムブダとつぶやきながら書いてる。

424 名前:デフォルトの名無しさん mailto:sage [2007/05/23(水) 01:01:47 ]
馬鹿が多くてちょっとほっとした

425 名前:デフォルトの名無しさん mailto:sage [2007/05/23(水) 02:13:32 ]
ホッとするのは底なしに危険だぜ

426 名前:デフォルトの名無しさん mailto:sage [2007/05/23(水) 02:22:37 ]
底なしなど幻想だ

427 名前:デフォルトの名無しさん mailto:sage [2007/05/23(水) 05:59:23 ]
「実質的に無限」というのは「有限」という意味だからね。
なんかこう、Lisperは特にそう考えたがりそうだね。



428 名前:デフォルトの名無しさん mailto:sage [2007/05/24(木) 20:48:16 ]
lispは見なす事が自然と身に付く
それができない頭硬いバカチンに使いこなすのは無理

429 名前:デフォルトの名無しさん mailto:sage [2007/05/24(木) 22:21:39 ]
迷惑だから Ruby スレで暴れているヤツ引き取ってくれ

430 名前:デフォルトの名無しさん mailto:sage [2007/05/24(木) 22:26:26 ]
実際そうしたい

431 名前:デフォルトの名無しさん mailto:sage [2007/05/24(木) 22:31:47 ]
>>429
暴れてるのはお前だろ

432 名前:デフォルトの名無しさん mailto:sage [2007/05/24(木) 23:26:53 ]
そもそも「引き取る」という概念がおかしいな。
スレッドと訪問者の関係を、チームと選手の関係みたいに思ってるんじゃないのか。

433 名前:デフォルトの名無しさん mailto:sage [2007/05/24(木) 23:30:54 ]
ゴミはGCへ

434 名前:デフォルトの名無しさん mailto:sage [2007/05/24(木) 23:42:04 ]
クロージャー体操
はっじまっるよーーーーーー

435 名前:デフォルトの名無しさん mailto:sage [2007/05/26(土) 08:24:50 ]
>>428
>...バチカンに使いこなすのは無理 に見えた。
言語論争の次は宗教論争かと思った。

436 名前:デフォルトの名無しさん mailto:sage [2007/05/26(土) 09:10:00 ]
オーソドックスなネタですね。


437 名前:デフォルトの名無しさん [2007/05/26(土) 09:22:46 ]
ウェブ技術系のブログを見ると、
「やっぱPHP最強だわ」などの表現が見当たりますが、
Lispはどうなのでしょうか。



438 名前:デフォルトの名無しさん mailto:sage [2007/05/26(土) 09:50:39 ]
括弧の数なら負ける気がしないぜ!

439 名前:デフォルトの名無しさん mailto:sage [2007/05/26(土) 10:06:29 ]
少しはカッコを減らす努力をしないと
ポール・グレアムに嘲笑われるぞ

440 名前:ジュリー mailto:sage [2007/05/26(土) 10:14:38 ]
勝手にしやがれ( ゜∀゜)

441 名前:デフォルトの名無しさん mailto:sage [2007/05/26(土) 13:00:49 ]
>>438-439
srfi.schemers.org/srfi-49/srfi-49.html

442 名前:ジュリー mailto:sage [2007/05/26(土) 13:03:34 ]
♪せめて〜 少しはカッコ付けさせてくれ〜

443 名前:デフォルトの名無しさん [2007/05/26(土) 21:50:17 ]
>>441
それめっちゃ気持ち悪い。dylan? やっぱりかっこがいい。
かっこいいの!

444 名前:デフォルトの名無しさん mailto:sage [2007/05/26(土) 22:10:11 ]
>>442 藁。

445 名前:デフォルトの名無しさん mailto:sage [2007/05/26(土) 22:33:45 ]
curlってどうなったの?

446 名前:デフォルトの名無しさん mailto:sage [2007/05/26(土) 23:41:43 ]
>>441
なんかスカスカで見た目にかっこわるい

447 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 00:39:40 ]
>>441
python 以上にキモい……



448 名前:デフォルトの名無しさん [2007/05/27(日) 15:07:27 ]
なんかMLみたいになっちゃってるね。

449 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 16:33:48 ]
これがそんなにキモイか?

 define (fac x)
  if (= x 0) 1
  * x
   fac (- x 1)

じゃあこうしよう

 define (fac x)
 {
  if (= x 0)
  {
   1 (* x)
  }
  {
   fac (- x 1)
  }
 }

450 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 16:40:56 ]
K&R派なオレはそのifの書き方見るとイライラしてくるんだよねw

451 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 16:44:10 ]
>>449
{ } の代わりに ( ) にしてみてもいいかも

452 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 16:47:59 ]
>>449
どうでもいいが式が間違ってるぞ
まあ前者はインデントが浅すぎでキモく見えるだけじゃないのか?

453 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 16:52:20 ]
インデント文法で一番有名なPythonは20年後はもう衰退していると思うが、
この手法はSchemeと一緒に30年後も生き残っていそう。
それで、インデント文法はSchemeが元ネタだ! と騒ぐ信者が出現

454 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 16:55:51 ]
>>442
山口百恵のロックンロールウィドウもよろしく

455 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 22:28:34 ]
Schemeのマクロについてなんですけど、
本体の展開よりも引数の評価を先にするようなトリックってありませんかね?
構造体を定義するマクロを自分でも書いてみようと思ったんですけど、
構造体名structure-nameを与えられてmake-structure-nameという名前の関数を定義する事さえ難しいという現実に直面してしまいました。
グローバル定義だけならevalでお茶を濁す手もあるんですが…

R6RSで導入予定というsyntax-caseもちょっと使ってみたんですが、
まだ標準化されていないせいか、処理系によって違いが結構あるので
今は乗り換えるのを見送ろうと思ってます。

456 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 22:59:32 ]
よく思うことなんだが、言葉でくどくど説明されてもよくわからん。
簡単なテストケースを書いてくれ

457 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 23:10:37 ]
;(define-syntax my-define-structure
; (syntax-rules () ((my-define-structure name slot ...)
;                    (define (string->symbol (string-append "make-" (symbol->string name))) (lambda (…
などとして、新しいシンボルを作ってそれを束縛したいのです。
defineは第1引数に式はおろか、準引用すら許しませんから困ってます。
そこで、マクロに展開されてdefineが評価される前に引数がシンボルに展開されれば、と考えました。
これは黒田氏が指摘している問題の一つな気がします。
Shiro氏も
・せめてシンボルの生成くらいはr5rs内で出来て欲しいってのはありますね。
とおっしゃってますし、正攻法ではどうも解決できない気がします。
プリプロセサを書くしかないのでしょうか?



458 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 23:14:04 ]
混乱してるからクドクドとなるんであって、
簡単にはテストケースを書けないんだろ。

459 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 23:15:44 ]
defineは第一引数に関数呼び出しはおろか、特別式すら、が正しかったですね

460 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 23:18:21 ]
>>457
前スレ172みたいなのをコンパイル時にやりたいっつーことだな。
それならやっぱsyntax-case必要だろう。

461 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 23:29:23 ]
define-macroでできるだろ

462 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 23:30:37 ]
>>460
うわぁ、古い方の過去ログは読んだのですが、最近のは読んでませんでした。
全く同じですね。
syntax-case使うなら、やっぱりchezでしょうか?
私は主にmzschemeかscheme48かGambit-Cなので、syntax-caseはmzschemeしか使えないし、
chezのものとは少し違うようなので、
ポータビリティを考えたらCL的マクロに逃げるのがベターか、などと考えてます。

あまり関係ありませんが、Gambit-Cのsyntax-rulesを使えるようにするファイルは、syntax-caseが使えないのになんでsyntax-case.scmなのでしょうね。

463 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 23:31:31 ]
>>461
もちろん、CL的アプローチでは簡単です。
標準仕様の範囲でできるかどうか、という問題です。

464 名前:デフォルトの名無しさん mailto:sage [2007/05/27(日) 23:49:36 ]
syntax-caseで書くならこんなカンジか?

(define-syntax define&
(lambda(x)
(syntax-case x ()
((k sym obj)
(with-syntax
((s
(datum->syntax-object (syntax k)
(eval (syntax-object->datum (syntax sym))
(interaction-environment)))))
(syntax (define s obj)))))))

petite chez schemeで試してみたが、こういうテストケースでは動くことを確認した。

(define& (string->symbol (string-append "a" "b")) 1)
ab ;-> 1

結局のところ、今はschemeに足りないところがあるのはそのとおりだと思う。
でもな、完成されたものを使うだけってつまらないと思うわけ。
マクロに関しても色んな提案があってそれぞれ細かい部分で利点も問題点もかかえてて、
それがどう収束していくかってなかなか面白いことじゃないか。
ま、仕事で使うならそうもいってられんのだろうが。

465 名前:デフォルトの名無しさん mailto:sage [2007/05/28(月) 00:05:51 ]
仕事で Scheme 使っている人ってここにいるんですかね

466 名前:デフォルトの名無しさん mailto:sage [2007/05/28(月) 00:10:20 ]
使ってた。納品物ではなく自家ツール用だけど。最近はCommon Lispのほうが多い。

467 名前:デフォルトの名無しさん mailto:sage [2007/05/28(月) 00:11:34 ]
>>464
あなたのプログラムを見て初めて私のsyntax-caseがうまく動かなかった理由が分かりました!
ありがとうございました。

IBMにあるメタプログラミング技法を読んでsyntax-caseを勉強したのですが、
datum->syntax-objectの第1引数の(syntax k)のkはマクロ名にマッチする識別子だったんですね。
syntax-rulesではマクロ名にマッチした識別子は特に使い道がなかったので気がつきませんでした。



468 名前:464 ◆3.JjF77I26 mailto:sage [2007/05/28(月) 00:26:11 ]
>>467
ここにsrfi-93の日本語訳があるぞ。
www.katch.ne.jp/~leque/translations/srfi-93/srfi-93j.html

> 手続き datum->syntax は引き数として、
> テンプレート識別子 template-id と任意の値 datum のふたつをとる。
>
> (datum->syntax template-id datum)
>
> この手続きは template-id と同一の文脈情報をもつ、
> datum の構文オブジェクト表現を返す。 このとき、
> この構文オブジェクトは datum (訳注: template-id か)が
> 挿入されたのと同時にコードに挿入されたかのようにあつかわれる。

schemeのマクロではただシンボルを置き換えればいいってもんじゃなく、
文脈がからんでくるってこと。
ところでこの文書ではdatum->syntaxってなってるけど、
chez schemeを含むいくつかの系ではdatum->syntax-objectって名前なので注意。

469 名前:デフォルトの名無しさん mailto:sage [2007/05/28(月) 01:05:53 ]
>>468
ありがとうございます。
読んでみました。
いろいろ勘違いしているところもありました。
しばらくsyntax-caseの勉強に励もうと思います。






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

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<220KB

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