- 1 名前：デフォルトの名無しさん mailto:sage [2011/10/09(日) 17:58:58.06 ]
- Common Lisp、SchemeをはじめとするLisp族全般のスレです
■前スレ
Lisp Scheme Part32
hibari.2ch.net/test/read.cgi/tech/1303299696/
■テンプレ
wiki.fdiary.net/lisp/
■関連スレ
【入門】Common Lisp その8【質問よろず】
hibari.2ch.net/test/read.cgi/tech/1309940115/
- 52 名前：デフォルトの名無しさん mailto:sage [2011/10/16(日) 13:40:15.08 ]
- >>51
大域変数を確認したいです。
- 53 名前：デフォルトの名無しさん mailto:sage [2011/10/16(日) 14:31:14.00 ]
- 最初はcondないの内部処理は、各条件ごとの内容をそれそれ別関数にまとめて
作って、ひとつの関数から、cond条件わけの関数とそれぞれの関数に分けて作った
ほうが最初はいいよ。そのほうが読みやすくなるので。
何もかも一つでやらそうとするのはあまりいい傾向だとは思えない。
- 54 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/10/16(日) 15:49:08.11 ]
- >>50
その処理を一般化すると「ループからジェネレータへの変換」と考えられる。
これがそのまま使えると思う。
practical-scheme.net/wiliki/wiliki.cgi?Scheme%3agenerator%E3%81%A8do%E3%81%A8while#H-3put3dsr6wpqj
call/cc を使う典型的な例なので call/cc の解説の中では似たようなコードはよくある。
限定継続を提供している処理系ならともっと簡単に書ける。
practical-scheme.net/wiliki/wiliki.cgi?Scheme%3a%E9%83%A8%E5%88%86%E7%B6%99%E7%B6%9A%3a%E3%82%A4%E3%83%86%E3%83%AC%E3%83%BC%E3%82%BF%E3%81%AE%E5%8F%8D%E8%BB%A2
そういや限定継続って規格に入ってないし、 srfi にもなってないっぽいなぁ。
racket には shit と reset だけじゃなくていくつかのバリエーションがあるみたいだね。
- 55 名前：デフォルトの名無しさん mailto:sage [2011/10/16(日) 22:34:38.91 ]
- >>53-54
くわしくありがとうございました。
- 56 名前：デフォルトの名無しさん mailto:sage [2011/10/16(日) 23:05:42.50 ]
- 余談ではありますが、
call/ccとdelayを用いてpromiseを返却し、逐一動作が出来ました。
- 57 名前：デフォルトの名無しさん mailto:sage [2011/10/17(月) 01:32:57.33 ]
- gambitcやchikenでvalues使うと大幅に速度が上がるっていうなら
できるだけ使うように心がけるかな
- 58 名前：デフォルトの名無しさん mailto:sage [2011/10/18(火) 11:18:56.17 ]
- >>54
糞コテは巣に帰れ
- 59 名前：デフォルトの名無しさん mailto:sage [2011/10/18(火) 17:32:08.25 ]
- >>58
SCHEME餃子の巣はやっぱSchemeスレなんじゃね？
- 60 名前：デフォルトの名無しさん mailto:sage [2011/10/23(日) 09:16:03.19 ]
- shibuya.lisp はどーだった？
- 61 名前：デフォルトの名無しさん mailto:sage [2011/10/23(日) 10:59:49.40 ]
- クロージャスレから引越しというか。
授業が奥乃先生と複数担当態勢だったりしたのは引き継ぎの目的もあったのかな。
最終講義のアナウンスがあるとしたら年明けかな？
- 62 名前：デフォルトの名無しさん [2011/10/23(日) 11:51:45.52 ]
- >>60
Shibuya.lisp TT#7の動画をニコニコ動画とYouTubeにアップしました。
www.nicovideo.jp/mylist/28336529
www.youtube.com/playlist?list=PLEAB9C327450DA7D3
- 63 名前：デフォルトの名無しさん mailto:sage [2011/10/23(日) 14:03:45.42 ]
- 某氏と某氏のトラブルも収まったのかな。 Shibuyaでは喋らんと言ってたけど
良かったんじゃない？
- 64 名前：デフォルトの名無しさん mailto:sage [2011/10/23(日) 15:11:06.90 ]
- 一応当時、熱くなって申し訳ない、みたいな感じで本人謝罪してたよ。
あとは、相手もう運営側から手を引いてるし。
何にせよ、また出てくれたのは良かったね。
- 65 名前：デフォルトの名無しさん mailto:sage [2011/10/23(日) 19:34:34.03 ]
- >>62
ひげぽん氏の声はよく聞こえて良い。
滑舌が悪い人や、集音がイマイチなときがあったりするのはなんとかならんかな。
マイクゲインも大きすぎると雑音も拾うから骨伝導タイプのマイクを使うとか。
それと、映像はもう直接PCに繋げちゃってもいいような気がする。
- 66 名前：デフォルトの名無しさん mailto:sage [2011/10/23(日) 21:16:06.97 ]
- でかい会場のスクリーンでは見えるけど、中継では見づらい、という場面で
ズームしたり、身振りが入った説明をしてるのでカメラを振ったり、という時に
中継担当者の手間が増えるので、そのへんは微妙かも。
- 67 名前：デフォルトの名無しさん mailto:sage [2011/10/23(日) 23:00:51.42 ]
- >>66
多くは発表資料も公開してるからそっち見ながらでだいたい問題ないかもな。
- 68 名前：デフォルトの名無しさん mailto:sage [2011/10/23(日) 23:25:29.76 ]
- これだけ後からスライドの画像を入れてるけど、こういうのはやっぱ結構手間かかるのかな。
www.nicovideo.jp/watch/sm5008319
見易さ的には好ましいとは思うけど、
資料見ながら聞けば済む話ではあるからそこまでするほどのもんでもないって言えばそうだしなぁ。
- 69 名前：デフォルトの名無しさん mailto:sage [2011/10/24(月) 01:45:38.40 ]
- なあ、Monaの開発は順調さ build5
hibari.2ch.net/test/read.cgi/os/1314741952/
- 70 名前：デフォルトの名無しさん [2011/10/24(月) 06:22:17.84 ]
- スライド画像で差し替えるのは、ページ送りをプレゼン時と同じタイミングにするのが結構難しいです。
元映像見ながらだとなんか微妙にずれるので、わずかに入っているスペースキーを叩く音とかを手がかりにしてました。
あと、音声についてはいつも悩ましくて、人により声質やマイクの持ち方が違うのでなかなか安定しません。
あまりに聞き取りづらいのは、編集時にボリューム変えてますけど、あまりやり過ぎると雑音まみれの変な音になるので悩ましいところです。
発表者の机の上にボイスレコーダを置いておいて、あとから合成するのがいいと思うけど、これもマーカーみたいなのがないと合わせるのがちょっと難しかったり。
- 71 名前：デフォルトの名無しさん mailto:sage [2011/10/24(月) 08:23:17.05 ]
- UST中継では入力オーバーっぽいノイズ入ったりしてたよね。
- 72 名前：デフォルトの名無しさん mailto:sage [2011/10/24(月) 08:41:33.58 ]
- 音割れしてるのがひとつあって、体調も悪かったからそのまま切っちゃったんだけど、
あれは音量の調整のミスなのか、発表者の声が大きすぎたのか。
さておき、いつも動画アップロードお疲れ様です。
- 73 名前：デフォルトの名無しさん mailto:sage [2011/10/24(月) 10:02:52.03 ]
- ヘッドセットやピンマイクで強制するとか？
いや、そういう面倒な事こそLISPを活用してだな
- 74 名前：デフォルトの名無しさん mailto:sage [2011/10/24(月) 10:23:17.45 ]
- どう頑張ろうと声の大きさを一定にすることは無理でしょ。声出してるのが
プロのアナウンサーとかじゃないんだから。
最初のAD変換で音が割れたりしてたらリカバリーのしようがないので、
そこの機材で入力レベルの調整をすればいいんだけども。
- 75 名前：デフォルトの名無しさん mailto:sage [2011/10/24(月) 11:01:09.37 ]
- ・マイクを違う距離に数台用意してマルチトラック録音して後で選別する
・音圧拾ってレールかなんかで距離を自動調節する装置を作る
- 76 名前：デフォルトの名無しさん mailto:sage [2011/10/24(月) 14:07:01.53 ]
- PCMレコーダーに自動レベル調整機能が付いてるものがあるようだけど、
PCだと難しいんかな？
- 77 名前：デフォルトの名無しさん mailto:sage [2011/10/25(火) 00:08:48.51 ]
- 細かいこと気にすんなよ
音割れしてたら見るのやめる程度の内容なんだから
- 78 名前：デフォルトの名無しさん mailto:sage [2011/10/25(火) 06:29:44.08 ]
- RIP
- 79 名前：デフォルトの名無しさん mailto:sage [2011/10/25(火) 06:45:30.26 ]
- ご冥福を祈ります。
- 80 名前：デフォルトの名無しさん mailto:sage [2011/10/25(火) 07:57:08.33 ]
- ジョブス、リッチーに続いてマッカーシーまでもか。
R.I.P.
- 81 名前：デフォルトの名無しさん mailto:sage [2011/10/25(火) 08:07:00.76 ]
- ttp://jp.techcrunch.com/archives/20111024creator-of-lisp-john-mccarthy-dead-at-84/
えええええ
- 82 名前：デフォルトの名無しさん mailto:sage [2011/10/25(火) 08:19:07.05 ]
- こんどはマッカーシーが天寿を全うしたのか。
RIP
- 83 名前：デフォルトの名無しさん mailto:sage [2011/10/25(火) 13:07:35.50 ]
- >>77
発 者 同 . ｡_ ____ 争
生 同 .じ . /´ | (ゝ___) い
.し 士 .レ .__／'r-┴<ゝi,,ノ ro､ は、
.な で .ベ ∠ゝ (ゝ.／/｀ ./｀| }⌒j
.い し .ル } ⌒ ／｀ヽ､_∠l,ノ ・ヽ´
.! ! か の / ´..:.} ＞､､___, .r､ ｿ､｀＼
/ ..:.:.} / |∨ ｀￣
／ ..:.:./ | 丶
/ ＿､ ..:.:.:.{ .{.:.:. ＼
{ ..:Y .ゝ､ {.:.:.:.:. ヽ
|､ ..:/ 丿 .:〉 >.- ⌒ . ヽ
/ {. ..:./ ｿ ..:./ .( ..:.:.:｀ ..:}
./..:.:}.:.:./ ヘ､ ..:./ .＼ ..:.:r＿,ノ､.:.:}
./..:.:/|.:/ {.:./ X.:.:}.} X X
/..:.:/ .}.:| }:/ .Y丶ヽ Y.:Y
. ＿＿／.:／ { } 《.〈､ ＿,,__>.:》丶 Y.:＼
／.:.:.:.:.::／ !.:.:ゝ ゝ.:.￣ヾ ´:.:.:.:.:.:.:.:.:ヾゝ ＼.:￣＞
- 84 名前：デフォルトの名無しさん mailto:sage [2011/10/25(火) 13:30:32.58 ]
- あびしーえる１．０リリースだって
abcl-dev.blogspot.com/2011/10/abcl-100-released.html
- 85 名前：デフォルトの名無しさん mailto:sage [2011/10/25(火) 13:32:20.92 ]
- hatsukari.2ch.net/test/read.cgi/news/1319513713/
ν速にはスレが立った。マ板はまだだが。
- 86 名前：デフォルトの名無しさん mailto:sage [2011/10/26(水) 23:40:12.57 ]
- 某声優ユニットの方も7月で活動終わってた
QEPD
- 87 名前：デフォルトの名無しさん mailto:sage [2011/10/29(土) 12:46:50.75 ]
- toki.2ch.net/test/read.cgi/scienceplus/1319679294/
- 88 名前：デフォルトの名無しさん mailto:sage [2011/10/29(土) 22:21:58.66 ]
- GCもマッカーシー由来だったの
- 89 名前：デフォルトの名無しさん mailto:sage [2011/10/29(土) 22:30:15.52 ]
- (define (f x)
(define-macro (bl)
'(if (> x 0 ) #t #f))
(bl)
)
(f 10)
racketでは動くけど、他の処理系ではやっちゃいけない？
- 90 名前：デフォルトの名無しさん mailto:sage [2011/10/29(土) 22:34:59.75 ]
- そもそもdefine-macro自体がRnRSにないので、
あんま気にしても仕方ないと思う。
- 91 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/10/30(日) 00:28:17.17 ]
- define-macro は RnRS で提供して無いけど、
R6RS では簡単に define-macro を実装できる。
典型的な実装例はこんな感じ。
(define-syntax define-macro
(lambda (stx)
(syntax-case stx ()
((_ (macro . args) body)
#'(define-macro macro (lambda args body)))
((_ macro transformer)
#'(define-syntax macro
(lambda(stx2)
(syntax-case stx2 ()
((k args (... ...))
(let ((v (syntax->datum #'(args (... ...)))))
(datum->syntax #'k
(apply transformer v)))))))))))
これなら >>89 のようなことは問題なく出来る。
でもまぁ Scheme 的には let-syntax を使う方が楽ではあるだろうね。
- 92 名前：デフォルトの名無しさん mailto:sage [2011/10/30(日) 00:29:23.88 ]
- なんだよボーイズラブって
- 93 名前：デフォルトの名無しさん mailto:sage [2011/10/30(日) 03:34:57.41 ]
- 限定継続使われてないからメモリーリークしてたんかね
groups.google.com/group/plt-scheme/browse_thread/thread/a310b7cba8fae651/fa85558e8a5115bf
- 94 名前：デフォルトの名無しさん mailto:sage [2011/10/30(日) 05:02:08.64 ]
- じゃあこんなのも問題ないのね
でも `[`(,,op ,'y) あたりがうまく動いてくれない
(define (g x)
(define-macro (tmpl op) `[`(,,op ,'y) (list y ,op)])
(match x
[`(- ,z) (list z '-)]
(tmpl '+)
)
)
- 95 名前：デフォルトの名無しさん mailto:sage [2011/10/30(日) 12:47:34.04 ]
- >>91
各処理系がdefine-macroをどう実装してるかが問題なんだから、
RnRSでdefine-macroをどう実装するかはこの場合関係ないだろ。
独自の定義でオリジナルを上書きして差異を吸収するってんなら別だけど。
- 96 名前：94 mailto:sage [2011/10/30(日) 13:34:27.93 ]
- 結局、期待通りに動きませんでした。何がいけないのかよくわからない。
(define-syntax tmpl
(syntax-rules ()
((_ op)
[(list op y) (list y op)])))
(define (g x)
(match x
[`(- ,z) (list z '-)]
[(list '/ z) (list z '/)]
(tmpl '+)
[_ 'else]
)
)
(g '(/ 8))
(g '(+ 10))
(g '(- 12))
(g '(= 19))
- 97 名前：デフォルトの名無しさん mailto:sage [2011/10/30(日) 14:12:11.24 ]
- 何を期待してるのか判らんから助言しようもないが、
matchの仕様を見るにpat部分は普通の評価はされない場所だから
何か勘違いしてるんだろ。例えばパターンの最初の2行は
[(- z) (list z '-)]
[(/ z) (list z '/)]
でいいんじゃないかと。
tmplもそう書き直せば多分動くでしょ。
全く確認してないが。
- 98 名前：デフォルトの名無しさん mailto:sage [2011/10/30(日) 14:13:55.83 ]
- あ、だからpat部分は評価されないからダメだよ
出てくるシンボルは「パターン変数」になるそうだから。仕様よく読め。
- 99 名前：デフォルトの名無しさん mailto:sage [2011/10/30(日) 18:50:28.04 ]
- おまいらそんなに括弧が好きなの？
かっこつけんなよ。
- 100 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/10/30(日) 20:16:14.53 ]
- >>99
そのダジャレは面白いと思って書いてんの？
煽りだろうがあえてマジレスすると、括弧そのものではなくてマクロが重要だろ。
Lisp 風のマクロを実現するためにS式表記が相性が良かったからこの表記が維持されてるってだけ。
外観ではS式の優位性ってのはそれほど無いんじゃないか？
例えば Python で構文木を操作しようと (マクロ的なことをしようと) した場合のめんどくささはこれを見ればよくわかる。
www.unixuser.org/~euske/doc/python/python-lisp-j.html#macros
マクロが要らないならプログラマが直接S式で書く意味はあんまり無いと思う。
見難いと感じないならデメリットも特に無いとは思うけど。
- 101 名前：デフォルトの名無しさん mailto:sage [2011/10/30(日) 21:23:48.25 ]
- templated match macroとか作ったら論文になるんだろうか
どんな雑誌に投稿するのか知らないけど
- 102 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/10/30(日) 23:31:17.46 ]
- ずいぶん前の話だけど、 Active Basic スレで正規表現ベースの構文定義を提案してた奴がいたなぁ。
あんまりフリーダムでも困るけど、 Lisp の場合は結局はS式だから、それがちょうどいい枷にもなってる気がする。
- 103 名前：デフォルトの名無しさん mailto:sage [2011/10/31(月) 00:16:26.42 ]
- 個人的には、演算子の優先順位をなくせるという利点も推したい。
他にも、パースしやすかったり、式単位での編集を実装する目印になったり、
S式の利点は案外ある。特に、式単位で編集できないと困る人多いんじゃない？
- 104 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/10/31(月) 00:39:19.72 ]
- >>103
優先順位の問題は確かに単純になっていいところではあるなぁ。
でも、それは簡潔さとのトレードオフがあるから一概に利点とも言えないかも？
今、思い付いたんだけど、どんな関数にしろマクロにしろ特殊形式にしろ「名前が付いてる」ってのは
ドキュメント引いたり定義場所へ移動しやすいって利点はあるね。
パースしやすいってのは処理系の実装者にとってはそうかもしれないけど、ユーザーに対する利点になるかな？
データのシリアライズを write 一発で出来て、 read で読んだら構造が出来上がってるってのは楽だけど、
プログラム自体をS式で記述するってのとは別の話では？
編集が式単位っていうのは良く挙げられるけど、他の言語でも単位が違うだけで何らかの塊はあるわけで、
実際にその塊単位での編集や移動も出来るわけで、開発環境のサポート次第じゃないかな？
- 105 名前：デフォルトの名無しさん mailto:sage [2011/10/31(月) 01:54:05.12 ]
- S式は構文木を表しているから、逆に機械的に元の文脈を読み取り辛い気がする。
つまり、IDE泣かせ。開きカッコの直後に、どんな候補だせばいいんだろう。
IDE使わないからどうでもいいけど。S式好きだし。
- 106 名前：デフォルトの名無しさん mailto:sage [2011/10/31(月) 02:22:18.54 ]
- S式で書くとコードがツリー状になるから，切り取るときの目安にしやすい，と思う．
インデントされていればそれがよりはっきり見えるし．
命令型のコードは，意味を成すコードの塊を抜き出すのがかったるいと感じる．
- 107 名前：デフォルトの名無しさん mailto:sage [2011/10/31(月) 12:08:16.87 ]
- 括弧と頭のシンボルでほぼ全てを表現してるから
文脈の探索自体は楽なんじゃないかと思うけど
問題はマクロの処理かな
マクロ内で定義したキーワードとかが候補に出ないんでは
あんまり意味がないだろうし
展開したものを逆に辿っていくのは難しい
- 108 名前：デフォルトの名無しさん mailto:sage [2011/11/03(木) 00:28:51.31 ]
- goshです。
質問です。
数ページにわたるCGIがあり、POSTパラメータを渡すのですが、継続を渡せないかとかんがえています。
中途から処理を再開すれば、無駄無くプログラミング出来ると思ったからです。
Q1.継続はなんらかの形でコンテナ化して保管できますか？
Q2.継続は一度インタプリタが終了しても有効ですか？
- 109 名前：デフォルトの名無しさん mailto:sage [2011/11/03(木) 00:34:12.31 ]
- 両方無理。手続きの時点でできないので、継続も無理。
- 110 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/03(木) 01:01:48.77 ]
- >>108
継続そのものをシリアライズするのは原則として無理です。
継続には環境フレームやら何やらがぞろぞろとくっついていて処理系の内部構造と不可分なので、
もしやろうとするなら、処理系が最初からシリアライズを強く意識した実装にする必要があります。
Gambit だと出来ますが、実用するなら不要な環境を捕捉してしまわないようにかなり注意が必要で、あまり簡単とは言えないようです。
- 111 名前：デフォルトの名無しさん mailto:sage [2011/11/03(木) 02:21:46.20 ]
- オブジェクトの印字表現が全て決まってたら簡単だったのにねえ
つまんない制限だよねえ
- 112 名前：デフォルトの名無しさん mailto:sage [2011/11/03(木) 03:09:32.82 ]
- Schemeオブジェクトが全て印字/読み込み可能だったとしても、環境フレームからは
openしているファイルディスクリプタだの何だのが間接的に参照されてるから
そう簡単にはいかないよ。
- 113 名前：108 mailto:sage [2011/11/03(木) 18:17:31.61 ]
- >>
そうですか…残念です。
とにかくありがとうございます。
- 114 名前：デフォルトの名無しさん [2011/11/03(木) 20:03:38.36 ]
- 結局継続がファーストクラスなんて役に立たないってこった
- 115 名前：デフォルトの名無しさん mailto:sage [2011/11/03(木) 21:19:02.42 ]
- たしかにバカの役には立たない
- 116 名前：デフォルトの名無しさん mailto:sage [2011/11/03(木) 22:41:25.16 ]
- kahua とかは？
- 117 名前：デフォルトの名無しさん mailto:sage [2011/11/03(木) 23:23:33.61 ]
- Kahuaとかはアプリケーションサーバとかの層のプロダクトなので、
基本的に起動し続け、継続をシリアライズしたりする必要はないよ。
継続を活用したウェブ開発をする場合、CGIだと厳しいと思う。
- 118 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/04(金) 00:23:44.47 ]
- >>106
意味的な単位と表記上の単位が一致しやすいってことですね。
Lisp だと小さい単位で書きがちということもあって納得です。
- 119 名前：デフォルトの名無しさん mailto:sage [2011/11/04(金) 03:42:10.30 ]
- 継続の道はまだ始まったばかりだぜ
第一級継続先生の次回作にご期待ください
www.google.co.jp/search?hl=ja&q=%22delimited+control%22+scheme+filetype%3Apdf&oq=%22delimited+control%22+scheme+filetype%3Apdf
www.google.co.jp/search?hl=ja&q=%22%E9%99%90%E5%AE%9A%E7%B6%99%E7%B6%9A%22+web%E3%82%A2%E3%83%97%E3%83%AA%E3%82%B1%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3+filetype%3Apdf
www.google.co.jp/search?hl=ja&q=%22%E9%99%90%E5%AE%9A%E7%B6%99%E7%B6%9A%22+filetype%3Apdf&oq=%22%E9%99%90%E5%AE%9A%E7%B6%99%E7%B6%9A%22+filetype%3Apdf
- 120 名前：デフォルトの名無しさん mailto:sage [2011/11/04(金) 03:53:38.35 ]
- racketでも検索した方がいい。
www.google.co.jp/search?hl=ja&q=delimited+control+racket
community.schemewiki.org/?composable-continuations-tutorial
- 121 名前：デフォルトの名無しさん mailto:sage [2011/11/04(金) 19:37:26.64 ]
- 宇宙全体をシリアライズできなくても
地球全体をシリアライズすれば十分
- 122 名前：デフォルトの名無しさん mailto:sage [2011/11/04(金) 21:10:14.05 ]
- ありんことみじんこじゃ全然違うと思いますけどー
永続化する場合こんどはインスタンスの管理の問題があるけど
- 123 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/04(金) 22:32:53.69 ]
- 何を言いたいのかわかんねーよ。
比喩を持込むのはなるべく避けろってのは議論の基礎だろ。
もうちょっと具体的に言ってくれんか。
- 124 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 00:35:36.71 ]
- 餃子がそれを言うのかｗ
- 125 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 00:44:10.21 ]
- 餃子でもシュウマイでもいいじゃないか。by Lispトムヤンクン
- 126 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 08:42:02.91 ]
- もしかし継続って、外出しできてこそ本領発揮するんじゃないのか？
最初から仕様にもりこんでおけば今頃は超有名になってたよ
- 127 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/05(土) 12:55:12.57 ]
- >>124-125
行者って書こうとして間違えたんじゃないんだからねっ!!
- 128 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 12:59:27.30 ]
- 行者だと無条件であぼんされそうだから餃子でよかったと思う
- 129 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 13:03:13.19 ]
- >>123
なんでときどきDQN口調になるんだよw
- 130 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/05(土) 13:22:34.67 ]
- >>129
煽らないとすぐに過疎るからだよ。
極論を書いたりするのも反論してみろっていう煽りだよ。
言わせんな恥ずかしい
- 131 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 14:40:38.83 ]
- 餃子のせいで昨日の夜餃子食べたくて大変だった。
部分継続をシリアライズして、HTMLに埋め込むっていう、上で出てた論文は面白かった。
みんな色々考えてんだねー。
- 132 名前： ◆QZaw55cn4c mailto:sage [2011/11/05(土) 14:47:50.97 ]
- >>130
(^^)
- 133 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 15:36:31.64 ]
- >>130
あんたがそこそこ勉強してきた人だってこと多くの人がわかってんだから
煽らんでもいいよ。それより食らいつくネタを考えたり、拾ってきたり
するといいよ。そのほうが健全なスレになる。by Lispトムヤンクン
- 134 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 15:49:02.65 ]
- 継続外出しはR7RSで
いつでも再開できるのがSchemeの常識に
- 135 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/05(土) 16:07:36.48 ]
- >>133
俺が勉強してたらどうして煽りが要らないんだ？ 意味わかんね。
議論しようぜってのはサイエンス的にもエンジニアリング的にも民主主義的にも美徳だろ。
俺に間違いがあるってのなら、反論しろよ。 意見を出せよ。
議論自体を拒否するのは不誠実だぞ。
- 136 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 16:16:36.44 ]
- >>135
何もわかってない奴が盛り上げよう？あるいはかまってもらおうと
する場合は煽りという選択肢を選びがちという事だよ。あなたの
場合は、その選択肢を選ばなくても他の選択肢で十分盛り上げられ
る技量を持ってるでしょと言ってるだけ。by Lispトムヤンクン
- 137 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 16:46:04.28 ]
- とりあえず行間はうめといたからこれで趣旨はわかるだろう。
最後に、餃子には期待してるよ。
- 138 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/05(土) 16:53:07.53 ]
- 継続をシリアライズしたりプロセスをまたいで移送したりできたら夢が広がりんぐ。
>>112 も言うようにポートのような外部とのインターフェイスだとか、
破壊的な処理だとかを考えなければ関連するデータを全部書出せばいいだけなので
いくらかの (かなり大きな「いくらか」だと思うけど) 制限有りでよければ出来そう。
というか、 Gambit 等ではやってるわけですし。
規格にするならあとはその制限をどのレベルにするのが妥当かって話ですよね。
- 139 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/05(土) 17:00:05.29 ]
- 例えば (継続に一般化すると説明が面倒なのでクロージャで説明)
(let ((x 1))
(write (lambda()(set! x (+ x 1))))
(write (lambda()(set! x (+ x 2)))))
みたいにふたつのクロージャを書き出したとして、
元々は共有しているはずの x が分断されてしまうのはつまらないので、
set! したら既に書き出したクロージャにも波及したりしたら面白いとか思った。
面白いだけで使いどころがないし非現実的だけど。
無難な落とし所としてはあくまで書き出した時点の環境ってことにするしかないかなー
- 140 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/05(土) 17:08:41.15 ]
- Petite Chez Schme の 8.4 を入れたらイメージをダンプするオプションが無くなってたよ。
かわりに --compile-imported-libraries なるオプションが出来てた。
R6RS の実行モデルに合わせて変えたってことだと思うけど、
--boot オプションはあるんだよな。 暫定的な処置ってこと？
教えてエロいひと
- 141 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 17:23:26.90 ]
- >>139
「書き出す」っていうのは従来のファイルシステムを想定してると思うんだけど、
その想定は妥当なの? OS自体が一つのSchemeの実行イメージに載ってて、
メモリが自然に永続化されるようなモデルならそういうことも可能かもしれない
(効率との折り合いはあるけど)。Smalltalkの環境みたいな。
- 142 名前：139 mailto:sage [2011/11/05(土) 17:50:35.07 ]
- 今、サブマシンからの書き込みなのでトリップ無しで御免。
>>141
非現実的ってのはそこんところですね。
出力先を特殊なデータベースとかにするのも、
言語でそこまで踏み込むのは Scheme らしくないし。
さすがにこのへんは余興というか、面白いだろうなーという妄想レベルの話です。
- 143 名前：139 mailto:sage [2011/11/05(土) 17:57:18.27 ]
- >>141
書き出すこと自体については可能だと思います。
Common Lisp なんかでは実行中のイメージをダンプしたりは普通ですし、
それをクロージャに繋がってるところだけに限定するか、
無理なようなら効率を無視してまるっと書き出すとか出来るでしょう。
- 144 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 18:19:45.22 ]
- SchemeでFizzBuzzってどこまで小さくできるの？
- 145 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 22:01:38.08 ]
- >>142
一瞬サブマシンガンに空目した。
- 146 名前：デフォルトの名無しさん mailto:sage [2011/11/05(土) 23:10:28.83 ]
- golf.shinh.org/p.rb?FizzBuzz
ここでは、77バイト
- 147 名前：デフォルトの名無しさん mailto:sage [2011/11/06(日) 04:30:49.03 ]
- >>145
俺漏れも
- 148 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/06(日) 08:55:42.40 ]
- >>136
知るかボケ
にちゃんねるに何を期待してんだ？
ガキは家へ帰ってパパのチンポでもしゃぶってろ
- 149 名前：デフォルトの名無しさん mailto:sage [2011/11/06(日) 10:45:52.49 ]
- >>148
ひどいなw
これ言われたら超屈辱的だわwww
- 150 名前： ◆QZaw55cn4c mailto:sage [2011/11/06(日) 10:54:33.95 ]
- ままのおっぱいじゃないんだ‥‥‥。
- 151 名前：デフォルトの名無しさん mailto:sage [2011/11/06(日) 11:18:43.42 ]
- ナッパさまのクンッ！が必要だな
- 152 名前：デフォルトの名無しさん mailto:sage [2011/11/06(日) 14:06:19.58 ]
- 123 名前：SCHEME餃子 ◆8X2XSCHEME [sage] 投稿日：2011/11/04(金) 22:32:53.69
何を言いたいのかわかんねーよ。
比喩を持込むのはなるべく避けろってのは議論の基礎だろ。
もうちょっと具体的に言ってくれんか。
148 名前：SCHEME餃子 ◆8X2XSCHEME [sage] 投稿日：2011/11/06(日) 08:55:42.40
>>136
知るかボケ
にちゃんねるに何を期待してんだ？
ガキは家へ帰ってパパのチンポでもしゃぶってろ
|
 |
