13/09/01 01:51:36.30
Common Lisp、SchemeをはじめとするLisp族全般のスレです
■前スレ
Lisp Scheme Part36
ｽﾚﾘﾝｸ(tech板)
■テンプレ
URLﾘﾝｸ(wiki.fdiary.net)
■関連スレ
【入門】Common Lisp その10【質問よろず】
ｽﾚﾘﾝｸ(tech板)
【Scheme】Schemeインタプリタ Mosh Part1【Lisp】
ｽﾚﾘﾝｸ(tech板)
【Lisp】プログラミング言語 Clojure #2【JVM】
ｽﾚﾘﾝｸ(tech板)
【魔法】リリカル☆Lisp【言語】
ｽﾚﾘﾝｸ(tech板)
2:デフォルトの名無しさん
13/09/01 03:47:24.41
いままで日本ではトンコツラーメンは１００％安全ですって言ってたのに
こうやって一度食中毒事件が発生してしまったので、もうこれ以上日本民族にラーメンを扱うのは無理。
ましてや日本は地震大国で、日本列島には４０億年前の活断層が張り巡らされているのだ
食中毒事件を発生するのを想定せずにのんきにラーメン作りしていたラーメン屋の危機意識の無さが敗戦した日本軍にそっくりだ
これからはいままでのラーメンに対する安全神話を真摯に反省し、２０３０年までにラーメンゼロを目標に定めた政府ガバナンスを早急に作成して
足りない分は内向きガラパゴス思考な一国主義に陥らぬよう国際的視野に立脚し、特に東アジアに貢献すべく韓国サムゲタンを食べるべき！！
3:デフォルトの名無しさん
13/09/01 04:43:00.73
おつ
4:デフォルトの名無しさん
13/09/01 17:04:49.92
「ステマ」等の絶対にありえない陰謀論を連呼する
頭がおかしい人の相手は誰もしたくない
そのために
>>2
みたいな政治の話題は、ほとんどの掲示板で禁止になっています
5:デフォルトの名無しさん
13/09/01 17:08:46.45
>>4
フジテレビの韓流ステマやってる
チョンの地下秘密組織は実在するし
証拠もある
311の人工地震もチョンの地下秘密組織がやったんだけど
6:デフォルトの名無しさん
13/09/01 17:20:23.85
>311の人工地震もチョンの地下秘密組織がやったんだけど
流石にこれは駄目だろwwwww
XFileが真実とか言っちゃうくらい駄目
もちろんLispのマクロは必須だ（と強引にスレに持ち込む)
7:デフォルトの名無しさん
13/09/01 18:30:26.63
そうか。
8:デフォルトの名無しさん
13/09/01 18:38:59.20
動的型付け、メタオブジェクトプロトコル、REPL、継続、イントロスペクション、これらはもう、レベルは兎も角、他の言語にも取り込まれてしまっている。最後の最後にLispに残る優位性があるとするならそれはマクロだね、多分。
9:デフォルトの名無しさん
13/09/01 18:40:10.83
試しに、したらば
に移動したらネトウヨが来なくなるのかには
興味ある
10:デフォルトの名無しさん
13/09/01 19:22:44.30
継続って他の言語に取り込まれてるか？
11:デフォルトの名無しさん
13/09/01 19:36:54.56
Rubyちゃん
12:デフォルトの名無しさん
13/09/01 20:49:22.14
call-ccそのものは無いけど、クロージャ渡しは普通になってる
13:デフォルトの名無しさん
13/09/01 21:26:12.07
>>4
あなたがそういう方だったとは思いませんでした。
ひょっとするとラーメン村住人なのではないですか？
14:デフォルトの名無しさん
13/09/01 21:39:14.41
継続とクロージャ渡しは違う気がする
15:はちみつ餃子 ◆8X2XSCHEME
13/09/01 22:17:29.30
>>8
Perl6 は抽象構文木をコンパイル時に弄る機能が入るらしい。
URLﾘﾝｸ(perlcabal.org)
>>10-12
Rhino は JavaScript の処理系だけど、 Continuation クラスがある。
URLﾘﾝｸ(wiki.apache.org)
>>14
CPS 変換した世界で考えれば同じだよ。
実際、フォーマルな意味論ではそうなってる。
理屈の上では表記方法の問題に過ぎない。
って、どこかで見たんだけどどこで見たんだったか忘れた。
16:デフォルトの名無しさん
13/09/01 22:26:29.67
何年か前にLittle Schemer読んで、Seasonedの最初の方で投げ出しちゃった。
翻訳買ってきたけど読めるかな、、
17:デフォルトの名無しさん
13/09/02 18:37:31.52
継続に近いのはC+＋やJavaの例外処理
18: ◆QZschizo.ptH
13/09/02 21:22:40.86
setjmp()/longjmp() はどうですか？
19:デフォルトの名無しさん
13/09/02 22:04:51.31
>>17
それって脱出継続だけやん
20:デフォルトの名無しさん
13/09/03 00:24:54.96
>>17
一番近いのはgotoだと聞いたが
21:デフォルトの名無しさん
13/09/03 09:44:19.10
gotoが継続に一番近いという意見はプログラミング言語の意味論史から見れば本末転倒の答えだぞ。
なにしろ継続(continuation)という概念は表示的意味論(denotational semantics)の産みの親のStracheyが
「goto文に指定されている飛び先ラベルの表示は何なのか？」という問題に対する答えとして発明し導入した概念なのだから。
継続の発明によってgoto文を含む言語に対して表示的意味論を定義し与えることが可能となり、その継続という概念は
エラーなどの例外処理に対する意味論を与える上でも使えると判って活用されるようになったのは、Stracheyがgotoのために
継続を発明してから何年も経ってからなのだから。
つまり継続とは何よりも先ずgotoの意味を捉える目的で発明されたということだ。
だから継続に一番近いのがgotoなのではなく、継続の最も基本的な部分は正にgotoの表示的意味のために作られたんだよ。
22:デフォルトの名無しさん
13/09/03 10:20:51.41
要するにどれもノイマンマシンの機械語ではGOTOだし、
意味論では継続なんだよ。
23:デフォルトの名無しさん
13/09/03 10:32:40.98
ユークリッドの幾何学しか幾何学と呼んではいけないみたいだな
24:デフォルトの名無しさん
13/09/03 15:27:31.04
部分リストを見つける関数って
srfi
とかにないのでしょうか
自分で作るしかない？
(find-sub-list (..... 1 2 3 ....) (1 2 3) )
=> 123 の場所
25:はちみつ餃子 ◆8X2XSCHEME
13/09/03 20:15:35.08
>>24
たぶん無い。
汎用的にしようとすると比較関数に何を使うかでバリエーションを作るかオプショナル引数で取るかのいずれかが必要になるので、
仕様をまとめようとすると意外に面倒くさい話になると思う。
26:デフォルトの名無しさん
13/09/03 20:15:36.60
util.match は…
27:デフォルトの名無しさん
13/09/06 20:11:31.90
Lisperはこの世のゴミ
はやくGCされろ
28:デフォルトの名無しさん
13/09/06 20:27:54.47
突発的に感情が高ぶる病気
専門家にご相談ください
29:デフォルトの名無しさん
13/09/06 21:45:39.03
LISP以外では格好がつかない
30:デフォルトの名無しさん
13/09/08 01:50:51.75
matchマクロで
circular-list
だけマッチさせる事ってできないの？
31:デフォルトの名無しさん
13/09/08 02:05:04.39
matchマクロを自分で書こうとしてるのだけど
(match v ((x ...) x))
の ... を実装することができない。
どんな仕組みで実装してるのだろう
32:はちみつ餃子 ◆8X2XSCHEME
13/09/08 02:44:34.18
パターンマッチライブラリって色々あるんじゃねーの？
どれの話？
っていうか Common Lisp の話？
33:デフォルトの名無しさん
13/09/08 02:54:58.41
(define-syntax ellipses-syntax-test
(syntax-rules ( ... )
((_ x ... )
(list x ))
))
(ellipses-syntax-test 7 ...)
> '(7)
これが出来ないのです
34:はちみつ餃子 ◆8X2XSCHEME
13/09/08 03:27:54.16
>>33
R5RS では syntax-rules で ... にマッチさせることは不可能。
まわりくどいけど、判定の一部を別の手続きにするくらいしかない。
(define (test x)
(equal? x '(7 ...)))
(define-syntax ellipses-syntax-test
(syntax-rules ()
((_ x ...)
(test '(x ...)))))
(ellipses-syntax-test 7 ...)
35:はちみつ餃子 ◆8X2XSCHEME
13/09/08 03:56:43.63
R7RS だと非常に簡単に回避する方法が用意されてる。
syntax-rules が従来よりひとつ多く引数を取ることができ、
... のかわりに使う省略子を指定できる。
(define-syntax ellipses-syntax-test
(syntax-rules :: (...)
((_ x ... )
(list x))))
(ellipses-syntax-test 7 ...)
この場合は省略子は使ってないので適当な識別子を書いておけばいい。
36:はちみつ餃子 ◆8X2XSCHEME
13/09/08 03:59:25.76
R6RS ではパターンに ... は現れることは出来ないけど、
syntax-case なら fender 節でより詳細な判定が出来る。
(define-syntax ellipses-syntax-test
(lambda(stx)
(syntax-case stx ()
((_ x y)
(eqv? (syntax->datum #'y) '...)
#'(list x)))))
(ellipses-syntax-test 7 ...)