Lisp Scheme Part26

1 名前：デフォルトの名無しさん mailto:sage [2009/04/24(金) 19:12:39 ] ※ ここはCommon Lisp、SchemeをはじめとするLisp族全般のスレです ※ ■過去スレ 　Part25: ttp://pc12.2ch.net/test/read.cgi/tech/1231856193/ 　Part24: ttp://pc11.2ch.net/test/read.cgi/tech/1224939205/ 　Part23: ttp://pc11.2ch.net/test/read.cgi/tech/1215875388/ 　Part22: ttp://pc11.2ch.net/test/read.cgi/tech/1211381920/ 　Part21: ttp://pc11.2ch.net/test/read.cgi/tech/1207300697/ 　Part20: ttp://pc11.2ch.net/test/read.cgi/tech/1205021786/ 　Part19: ttp://pc11.2ch.net/test/read.cgi/tech/1200237296/ 　Part18: ttp://pc11.2ch.net/test/read.cgi/tech/1186922295/ 　Part17: ttp://pc11.2ch.net/test/read.cgi/tech/1177065699/ 　Part16: ttp://pc11.2ch.net/test/read.cgi/tech/1172404795/ 　Part15: ttp://pc11.2ch.net/test/read.cgi/tech/1151025773/ 　Part14: ttp://pc11.2ch.net/test/read.cgi/tech/1132275726/ 　Part13: ttp://pc11.2ch.net/test/read.cgi/tech/1115901841/ 　Part12: ttp://pc11.2ch.net/test/read.cgi/tech/1100229366/ 　Part11: ttp://pc11.2ch.net/test/read.cgi/tech/1091456033/ 　Part10: ttp://pc11.2ch.net/test/read.cgi/tech/1075630259/ 　Part09: ttp://pc11.2ch.net/test/read.cgi/tech/1069594582/ 　Part08: ttp://pc5.2ch.net/tech/kako/1058/10582/1058263391.html 　Part07: ttp://pc5.2ch.net/tech/kako/1042/10421/1042167213.html 　Part06: ttp://pc3.2ch.net/tech/kako/1031/10315/1031560687.html 　Part05: ttp://pc3.2ch.net/tech/kako/1023/10230/1023091882.html 　Part04: ttp://pc.2ch.net/tech/kako/1016/10162/1016211619.html 　Part03: ttp://pc.2ch.net/tech/kako/1008/10082/1008220265.html 　Part02: ttp://pc.2ch.net/tech/kako/1002/10025/1002584344.html 　Part01: ttp://piza2.2ch.net/tech/kako/987/987169286.html ■テンプレート置き場 　ttp://wiki.fdiary.net/lisp/ (id:guest pass:cl) 342 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 12:05:26 ] Windows板の初心者スレで聞け 343 名前：デフォルトの名無しさん [2009/05/24(日) 13:18:38 ] PrintScreenボタン押せばいいんじゃね？ 344 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 13:37:26 ] 君、軽くイラっとさせてるのに気づかないタイプでしょ？ 345 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 17:03:03 ] >>339 なるほど、最外も2パターンいけますね 私の勘違いかもしれないですが 1行目の最内の簡約は 最初は右側を簡約してるにもかかわらず、次に左側を簡約しているので 変じゃないですか？ 最左最内であれば I ((I y) (I y)) => (I y) (I y) => y (I y) => y y となるように思うのですが 別の例を考えてみたのですが M=(I1 y) (I2 y) N=(I3 y) (I4 y)の時 ((λx.x M) y) ((λx.x N) y)について 最左最内は(I1 y)から 最右最内は(I4 y)から 最左最外は(λx.x M) yから 最右最外は(λx.x N) y 339の例では、1行目は(I3 y)相当の箇所から簡約が始まっています もし最左と最右以外の内部からの簡約も指すのであれば 最内簡約だけで、最大で2^(木の深さ)のパターン 考えられるようにも思います ややこしいですが 346 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 17:05:08 ] (λx.x M) yは(λx.(x M)) yと書くべきでした。I Mとは別の意味です 347 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 19:19:37 ] >>345 左右とか内外と言うのは、最初に簡約する箇所ではなく、最初に探す箇所です。 最初に探した箇所で簡約できなければ、別の箇所から簡約を始めて良いです。 348 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 20:32:11 ] 左右とか内外と言うのは、最初に探す個所ではなく、簡約する場所の探し方です。 349 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 13:13:59 ] >>314 【数式処理システム】 Maxima 【Common Lisp】 science6.2ch.net/test/read.cgi/math/1220340695/ 350 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 19:44:09 ] >>347-348 ありがとうございます。やっと理解出来ました。 あと、関連して良サイトみっけました(Mosckw MLの人?) ttp://ellemose.dina.kvl.dk/~sestoft/lamreduce/lamframes.html call-by-valueとapplicative orderってそもそも違うものなんですね ・いつlet束縛を展開するか(ζ変換？) ・どの展開形までもっていくか(WHNFや正規形など) 新しい用語が出てきて結果としては謎が深まりましたが この辺、まとめてある資料ってないですかね・・ applicativeとかnormalとか言われるより leftmost outermostとかで整理してある方が私には理解しやすいです 後、大雑把に言えば最右最内/最左最内の簡約は、 プログラミング言語では関数引数をどちら側から評価するか、 というだけの違いに思えてきました 351 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 20:30:38 ] Arc のアイディアってすごい惹かれるんだけど、どう思いますか？ lambda が fn だったり let とか cond も 極力簡素にするスタイル。 [+ _ 10] は cut より直感的だけど、まぁ cut でも十分かな。 scheme で真似しようと思っけど hash table や 文字列を手続き的に呼んだりするのは無理だよね。 352 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 20:59:05 ] > hash table や 文字列を手続き的に呼んだりするのは無理だよね。 Gaucheなら出来ると思うけど。 353 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 21:17:38 ] object-apply メソッドな。 でも、あれって評価時にディスパッチされるんだよね？ 性能的にはあんまりイケてないかも。 多用することは想定してないじゃろ 354 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 21:18:54 ] スマンスマン。 なんか勘違いしてたわ 355 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 22:44:15 ] >>353 これか。practical-scheme.net/gauche/man/gauche-refj_54.html#SEC97 本当だ、できるね。Gauche使いになろうっと。 教えてくれてありがとう。 356 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 22:52:57 ] >>351 pc12.2ch.net/test/read.cgi/tech/1202098949/ 357 名前：デフォルトの名無しさん mailto:sage [2009/05/26(火) 02:11:57 ] >>350 関数や関数へのポインタを扱える言語、 無名関数を扱える、動的に生成できる言語だと 引数だけじゃなくて、「関数」評価もちょっと意味が変ってきますよね。 Super Combinatorのグラフ簡約で考えると分かりやすいので、 Simon Peyton Jonesの"The Implementation of Functional Programming Languages"を読んでみてはどうでしょうか。 research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/index.htm 358 名前：デフォルトの名無しさん mailto:sage [2009/05/30(土) 19:28:54 ] >>357 ありがとうございます。 ちょっとずつ読み始めました&Miranda処理系入れました しかし、大御所は太っ腹ですね Super Combinatorって名前からして面白そうですが そこまで行くのにはまだしばらくかかりそうです あと、読んだ所までですが、 β変換自体の実装にα変換が必要ってのを知り 自分のβ変換プログラムのバグを発見してしまいました いい本教えてくれてありがとう 359 名前：デフォルトの名無しさん mailto:sage [2009/06/01(月) 11:00:37 ] comp.lang.lispのスパムを無視してくれるブラウザーみたいなのないでしょうか 360 名前：デフォルトの名無しさん mailto:sage [2009/06/01(月) 11:32:39 ] >>358 そのrenaming problemを解決するのが、 lambda liftingによるsuper combinater化ですね。 YHCってのがsuper combinaterをILにした実装だったけど、 このプロジェクトは立ち消えになったみたいですね。 www.haskell.org/haskellwiki/Yhc 前はHaskell上でlambda式評価器を書いていたDockinsが、 YHC bytecodeのverificationやってましたけど。 www.cs.princeton.edu/~rdockins/lambda/home www.cs.princeton.edu/~rdockins/presentations/tfp2007/slideshow.xhtml www.cs.princeton.edu/~rdockins/pubs/tfp2007.pdf 361 名前：デフォルトの名無しさん mailto:sage [2009/06/01(月) 11:53:39 ] >>360 >α変換が必要 って書いてあるじゃん。それで合ってるんだから、変なこと教えるなよ 362 名前：デフォルトの名無しさん mailto:sage [2009/06/01(月) 16:24:30 ] lambda liftingって酷い名前だな 少なくとも自由変数と何か関係あるぐらいは一目でわかるように名前つけろよ・・・ 363 名前：デフォルトの名無しさん mailto:sage [2009/06/02(火) 22:30:25 ] >>358 自分も前にラムダ式を簡約するものをSchemeで書いたことがある。 高橋先生の本を読みながらやってたんだけど完全にはできなかった。 Arcのスレにすっごく巧み書かれたのがあったと思う。Arcが発表されて まもなくだったので驚いたよ。 364 名前：デフォルトの名無しさん mailto:sage [2009/06/02(火) 22:33:44 ] lambda liftingってscmのコンパイラhobbitでも使われているっていうアレかな？ 365 名前：デフォルトの名無しさん mailto:sage [2009/06/02(火) 22:36:22 ] コンビネータとかって実用的に価値はあるの？ 366 名前：デフォルトの名無しさん mailto:sage [2009/06/02(火) 23:31:25 ] なんかlambda droppingというのもあるみたいだ・・・もうワケワカ(w 367 名前：デフォルトの名無しさん mailto:sage [2009/06/03(水) 02:47:04 ] 実際にコードに適用させると副作用とかあるからそのままじゃいかんよ 368 名前：デフォルトの名無しさん [2009/06/04(木) 06:47:01 ] >>363 これ？ natal.web.fc2.com/lambda.arc.txt 369 名前：デフォルトの名無しさん mailto:sage [2009/06/04(木) 10:45:18 ] schemeからCへの変換は、わりと可読性残したままできるものなのでしょうか 370 名前：デフォルトの名無しさん mailto:sage [2009/06/04(木) 12:01:34 ] 継続呼び出しをどう扱うかでえらいことに 371 名前：デフォルトの名無しさん [2009/06/06(土) 12:09:16 ] Gaucheを使っているのですが、 渡された物がatomかどうか判別する関数って何でしょうか？ CommonLispから来たのであまりわからないのですが atom?やatompが見当たらないような気がするのですが 372 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 12:16:25 ] >>371 (define (atom? x)(not (pair? x))) 373 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 12:55:21 ] ペア (コンス) も他の型と同様に型の一種でしかない。 「整数ではない」とか「文字列ではない」とかいったことを調べる述語が無いのに (それとも CommonLisp では有ったりする？) 「ペアではない」ということだけ調べる述語があると不自然、 というような価値観が Scheme では有るように思う。 かといってミニマムな仕様を好む Scheme で全部の述語に否定バージョンを用意するのは論外だし。 374 名前：371 mailto:sage [2009/06/06(土) 13:55:12 ] >>373 たしかCommonLispでは integerpとかstringpとかが有った気がします。 375 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 14:16:04 ] Schemeには政権を取ろうという意欲がない。 何故なら一方にCLという巨峰があり、汚い仕事でも引き受けてくれるからだ。 しかし、R6RSでは政権への意欲を見せた。 だが支持者からも反感を買い、最近は友愛の精神などとわけの分からない事を言い始めているが 結局は小沢の傀儡だろうとの批判が出ている。 376 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 14:22:29 ] >>374 > integerpとかstringpとかが有った atom? は pair? の逆だろ？ integerp の逆とかが有るか？ っていう話なんだけど。 377 名前：371 mailto:sage [2009/06/06(土) 14:34:31 ] >>376 なるほど、よくわかりました。 Lispに置けるatomという概念がまだ良くわかっていなくて 了解しました。なるほど、Schemeはpair?の逆ということですね。 Common Lispはatomも属性の一つと認識してる部分がある気がします。 378 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 14:49:46 ] まー、atom処理したければ (if (pair? ... の else でいいし、 単独で使いたければ if じゃなく unless 使えばいい。 もちろん not つかったっていい。 379 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 23:24:24 ] vectorとかのコンテナもatomなのはおかしいと思うのはおれだけ？ いやatomの定義が何なのか知らないので、おれの妄想の意見だが 380 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 23:27:18 ] えっ 381 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 23:36:37 ] コンテナがpairしかないならいいと思うんだわ>>376の意見は でもよお 382 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 23:38:55 ] (container? (vector 1 2 3)) => #t (container? (cons 1 2)) => #t (define (atom o) (not (container? o))) なら納得なんだわ schemeの審美眼的にこの辺ほったかかしなのが謎だと思うんだわ 383 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 23:58:25 ] 大抵の解釈では atom＝それ以上分解することができないもの だよな？ vector(やstringも？)分類上コンテナだと思うんだわ じゃあsymbolはどうなる？とか色々疑問は尽きない 384 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:11:13 ] 仰るとおりで 385 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:12:18 ] pairと２要素を持つベクタとの区別は？ 386 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:15:22 ] >>385 コンテナかどうかの話なのに、それがどんなコンテナか？ なんて区別の必要があるか？ 必要なら個別にpair?とか呼べば？ 387 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:25:20 ] 俺はvectorがなかった頃に>>372が定石化してしまったから、 そのままatom?がない状態になっているのかと思っていた。 388 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:29:01 ] >>360 まだ全然読めてないですが・・ Cleanとかはグラフ書き換えによって名前衝突回避してるそうですね Dockins氏のサイト、lambda式の評価器のコードがあったので 落としました。しかし、Haskell読めないという罠 >>363 >>368のArcのプログラム見てみましたが とても短いのに、そのままschemeに移植したら動いたので感動しました α変換は暗黙的に置換に含まれてしまってますね 後、コード読んでて気づいたんですが Arcのfn(lambda)式の引数部分とletはパターンマッチできる！ これはSchemeにも欲しい ;xがλx.Mかはテストしておいて (let (lam var body) x 　(do (prn lam) (prn var) (prn body) nil)) 389 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 04:11:11 ] >>388 >>>368のArcのプログラム見てみましたが >とても短いのに、そのままschemeに移植したら動いたので感動しました すごくうまいよね。こりゃ、かなわんなぁと。 自分は素朴な方法で教科書どおりに書いていました。 390 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 10:00:42 ] すごい特殊な場合だけα変換が必要みたいに思いがちだけど 疑わしきは全部α変換しておけば確実だということと、 SICPに出てくる環境モデルのようなものが λ計算の変数の置換にも使えるということがポイントかな。 391 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 19:29:41 ] >>382 むしろ決められないから atom を定義してないんじゃね？ 392 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 19:34:50 ] >>382 文字列はどうするの? 393 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 00:50:14 ] 文字列→ char [] vector →　void *[] 394 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 01:56:34 ] 極端な話、整数だってビットに分解できるわけだしなぁ。 ベクタの例をとってみても 「ペアでない」=「アトム」 とは言えないという意見は納得できる。 でも、その方向でつきつめていけばアトムと 言えるのはビットだけってことにならないか？ しかし、更に言えばビットで表現するのは実装の都合であって、 Scheme の意味論的にはそんなこと知ったことじゃないかもしれない。 何を以ってアトムとするかは状況によると思う。 395 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 02:31:07 ] なんで atom という common lisp の用語の話で scheme が出てきてるんだ？ 396 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 10:53:07 ] 実は AsTOMachine の略だったりして 397 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 11:48:54 ] >>394 正直、極端な話はいらない 398 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 12:00:17 ] common lispで書かれた数値計算のプログラムをStalinで動かしたいけど common lispのプログラム中にatomがあるので、どう翻訳しようか悩むことはある 399 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 12:14:49 ] それって悩むようなことかな・・ 400 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 17:09:16 ] フォートランをcommon lispに変換したコードとか読める気がしない 401 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 17:15:53 ] Usenet上のcomp.lang.schemeをUsenetリーダーのアプリケーションから 読みたいのですが、newssaverというのは何処に設定すれば良いのでしょうか？ Googleグループは便利なのですが、ニュースリーダーからアクセスできるともっと楽なのです よろしくおねがいします。 402 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 21:40:35 ] >>401 gmane.org 403 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 22:04:03 ] >>402 >gmane.org ありがとう御座います。 comp.lang.schemeが見つからんとです。 404 名前：デフォルトの名無しさん mailto:sage [2009/06/09(火) 23:08:23 ] ところでリスパーはどんな音楽を聴くニダ？ 405 名前：デフォルトの名無しさん mailto:sage [2009/06/09(火) 23:39:57 ] バッハだろう 406 名前：デフォルトの名無しさん mailto:sage [2009/06/09(火) 23:53:03 ] いけてるリスパーはバッハなんか聴くんだ。 エレクトロニキスタの俺がバッハに耐えられるかな。 407 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 00:16:07 ] アニソン一筋30年〜♪ 408 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 00:18:00 ] なんでも聞くぞ 各種民族音楽(日本の民謡も含む)からクラシック・シャンソン・ジャズ・ロック 409 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 00:19:16 ] リストじゃないの、やっぱり 410 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 00:22:46 ] >ところでリスパーはどんな音楽を聴くニダ？ ここ20年音楽聞いてないかも 411 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 00:42:11 ] >>409 うまい 412 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 01:03:52 ] >>410 それでも括弧の奏でる旋律を感じたことがあるはずだ 413 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 01:06:08 ] >>409 それニダ！！ 414 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 06:58:05 ] 最近楽譜見るとダカーポやセーニョダルセーニョが call/ccに脳内変換されるようになってきた。 415 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 11:13:34 ] 楽譜も読めないし継続がいまだにわからない俺が来ましたよ。 やっぱりLisperならヒップホップだよね？ 416 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 11:36:44 ] そろそろ雑談スレでも立てようか 417 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 12:40:43 ] どっかでgsllが遅いって言ってた人いたけど 行列の配列のcreate deleteをlisp側でやると遅いってことでいいの？ cffi使うなら全部cで処理したほうがましってこと？ 418 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 20:10:14 ] scheme/gaucheでscanlに相当する関数ってありますか？ 419 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 20:12:42 ] >>416 こっちを再利用してもいいんじゃない？ 立ててもいいと思うけど 【GNU】スクリプト言語 Guile【scheme】 pc12.2ch.net/test/read.cgi/tech/1239985829/ 420 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 21:48:44 ] つくるなら、 【色即是空 空即是色】Lisperのぼやきサロン【Lisp S式】   とでもしといて w w w 421 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 01:03:20 ] マ板に雑談向きなスレあったよーな 422 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 01:06:33 ] >>420 なんでLispスレ限定なんだ 423 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 01:18:51 ] マ板のスレってこんなのしかないよｗ Lisperこそ真のプログラマーよ！！ pc11.2ch.net/test/read.cgi/prog/1175791979/ 彼氏にするならだんぜんLisp使いかなぁ pc11.2ch.net/test/read.cgi/prog/1241612383/ 424 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 07:30:10 ] >>422 schemerにとって不満？ lisperと書けば含まれていると思ったけど。 425 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 08:44:11 ] そういう意味じゃないと思うんだ。 426 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 10:36:16 ] SchemeはLispに非ず、Algolなのです! by 黒ちゃん 427 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 10:54:23 ] 俺としては雑談スレというか、俺Lispの細かい仕様を相談したり プチ自慢したり遍歴ダベったりするスレが欲しいかな。 少々次元が低くても全然構わない空気の。 428 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 12:34:42 ] Lisperこそ真のプログラマーよ！！ を乗っ取りする 429 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 21:06:16 ] スレ乱立しすぎだろ。Guileスレも結局、単発で終わったし。 本スレも過疎気味なのに、さらに分離すると…追っかけるの面倒 430 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 21:22:02 ] おまいらたまにはArcスレの事も思い出してやってください。 431 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 21:23:45 ] >>427 過疎っているのと、リアルが忙しくてかまっていられないだけだと思うよ。 低次元の話題は大歓迎なんだが。 というか、(Python) --.> guile --> lispと移行しようとがんばっているんだけど、sbclのasdf on gentooが動かなくて、パッケージとか、ライブラリが使えねーｗｗ 必要なログとか、晒すんで助けてください。 元カノのPython子とよりを戻そうかと真剣に考えたくなる。 でも、長年連れ添うなら、Lispのマクロって便利そうだよね。emacsのslimeも軽くて便利そうだし。 432 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 21:55:30 ] 移行とかいわず、全部使えばいいと思うよ。 どんなエラーでるか、入門Common Lispスレのほうで晒してくれたらみたげるよ。 俺は仕事でSQLをいじるとPrologがいいなぁと思い、JavaをいじるとLispがいいなぁと思う。 しかしPrologをいじると、RDBMSのイロイロやっぱ必要だよな…と思い直し、 Lispをいじると言語以外のライブラリや商用サポートで現実に引き戻される。結局どれも捨てられない。 433 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 22:06:01 ] Gaucheを使っているのですが、 schemeのプログラムってどういう風に配布すれば良いのでしょうか？ ユーザーにgaucheやパッケージ依存ならパッケージのインストールまでさせるべきでしょうか？ すこし、敷居が高い気がするのですが... それとも、./configure && make && make installでバックグラウンドでgoshやパッケージを インストールする方式なのでしょうか？ みなさまの方法をご教授ください。 434 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 22:06:54 ] 並列処理でバーッと行こうぜバーッと。 435 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 22:12:02 ] >>433 NSISでインストーラーを書いてGaucheごと配布 436 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 22:44:57 ] >Lispをいじると言語以外のライブラリや商用サポートで現実に引き戻される。結局どれも捨てられない。 python on lisp 437 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 23:34:04 ] >>433 そういう用途ならPLTオススメ。 Gaucheでやるなら、>>435みたいに、本体ごと配布するのが面倒がない。 バージョンの違いとかで悩まなくていいし。 438 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 23:52:58 ] Franzとか商用サポートあるじゃないか！ 仕事ではとても言い出せないけど 439 名前：デフォルトの名無しさん mailto:sage [2009/06/12(金) 00:20:36 ] >>432 Common lispスレのほうに投稿しておきました。よろしくお願いします。 >移行とかいわず、全部使えばいいと思うよ。 サンデープログラマなんでさすがに無理です。でも、毛嫌いしているわけでなく、やるしかないような状況になったらやるんですが。 >Lispをいじると言語以外のライブラリや商用サポートで現実に引き戻される。結局どれも捨てられない。 時間に特別制約なくて、Lispでもあったほうが便利ならLisperなら単機能・簡易版でいいので作りたいところですね。(一応、理想だけは高く) lispって糊言語的な使われ方って多いんですか? 440 名前：デフォルトの名無しさん mailto:sage [2009/06/12(金) 01:20:00 ] >□Stalin: 激烈な最適化を施す処理系。人間の書くCコードより速いという噂。 >　ttp://cobweb.ecn.purdue.edu/~qobi/software.html ここにおいてあるQobiといかいうのscheme -> c 変換なのかな？ 他にもいろいろおいてあるけど便利そうなの結構ありそう 441 名前：デフォルトの名無しさん mailto:sage [2009/06/12(金) 02:25:36 ] 雑談も良いけど、隔月刊か季刊でいいから丸ごとLispだけの雑誌が欲しいなぁ。 シローさんが連載持ったり、グレアムおじさんの文を翻訳したのとかも載せたり。 黒田さんの「黒板に書け！｣みたいな記事とか。 中村正三郎さんがAS/400絶賛する連載記事・・・ってこれは関係ないかｗ 442 名前：デフォルトの名無しさん mailto:sage [2009/06/12(金) 11:51:46 ] Scheme->C というコンパイラがあって、Stalin も最初はそれで記述されてた たぶんそのコンパイラ用のライブラリかと

---

---

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

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