Lisp Scheme Part27
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2009/07/27(月) 10:15:31■過去スレ
Part26: ttp://pc12.2ch.net/test/read.cgi/tech/1240567959/
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)
0282デフォルトの名無しさん
2009/08/09(日) 11:15:00釣りだよ。
そうやって盛り上げてんだよ。
0283デフォルトの名無しさん
2009/08/09(日) 11:23:32人間が読むために作られた仕様書のほうがましだね
でも凡人が読めるオープンソースも無いわけではないね
0284デフォルトの名無しさん
2009/08/09(日) 11:56:45http://www.scheme.com/tspl4/
0285デフォルトの名無しさん
2009/08/09(日) 11:57:01だからどうした
同意してほしいのか
0286デフォルトの名無しさん
2009/08/09(日) 12:01:48そんな方法でしか盛り上げられないなら、やっぱり老害だな
>>285
聞いてるだけだが、何か？答える気無いなら糞レスいらないぞ
0287デフォルトの名無しさん
2009/08/09(日) 12:04:520288デフォルトの名無しさん
2009/08/09(日) 12:07:490289デフォルトの名無しさん
2009/08/09(日) 12:09:03自分がキチガイだと教えてもらったら納得するのか？
0290デフォルトの名無しさん
2009/08/09(日) 12:09:130291デフォルトの名無しさん
2009/08/09(日) 13:31:290292デフォルトの名無しさん
2009/08/09(日) 16:20:490293デフォルトの名無しさん
2009/08/09(日) 16:26:21Scheme + define-macro は落とし穴がちょこちょこあるし
syntax-rules だと黒魔術的なことをしないとできないことも多かったし
ttp://okmij.org/ftp/Scheme/macros.html あたりとか俺には理解不能すぎる
0294デフォルトの名無しさん
2009/08/09(日) 16:38:110295デフォルトの名無しさん
2009/08/09(日) 18:11:30溢れる自尊心と足りない知性の組み合わせで無根拠に大きく出ちゃう学生さんには、
黒田氏の話は毒。
0296デフォルトの名無しさん
2009/08/09(日) 18:13:00黒田さんのことですねわかります
0297デフォルトの名無しさん
2009/08/09(日) 18:15:45つまりそういう反応しか出来ないから
君のレベルでは毒なのｗ
0298デフォルトの名無しさん
2009/08/09(日) 18:20:060299デフォルトの名無しさん
2009/08/09(日) 18:25:43それに迎合出来無い全員に取って毒ですよ
で、迎合できない者を指して「レベルの低い」と称するんですね
0300デフォルトの名無しさん
2009/08/09(日) 18:30:54わかってなきゃ言えないことを一つも言えないまま、いかに「わかった風な空気」をまとうか。
それがこの人らの書き込みのコンセプト。
0301デフォルトの名無しさん
2009/08/09(日) 18:33:30レベルの低い信者なんていても仕方がないから合理的ではありますね
0302デフォルトの名無しさん
2009/08/09(日) 18:36:23釣るなら村外へ向けてするべき。
0303デフォルトの名無しさん
2009/08/09(日) 18:42:30煽りの痛さはどっちもどっちなんだけどなぜか両方を受け入れてだからどうしたって言えるレベルの人は少ないよね
0304デフォルトの名無しさん
2009/08/09(日) 18:43:18「強い言語」と言えばそう言える。
でも、 CommonLisp に批判的な立場っていうのはその強さが
ある意味で使い難いって言うのが主な主張だろう。
「CommonLisp は強いんだ!」 って言ったって、
そんなことはとっくに承知で、
その上で強さがダメだって言ってるんだよ。
そこんところをもうちょっと掘り下げないと平行線だよな…
なんて思うわけですよ。
0305デフォルトの名無しさん
2009/08/09(日) 18:43:23村外で釣ってる人ってrubyスレで暴れてるみたいな恥さらしばっかりな気がする
0306デフォルトの名無しさん
2009/08/09(日) 18:46:41Schemeって研究あるいは教育用の言語みたいなもんじゃないの？元々は。
Common Lispは実用のために「工学的強度を持った言語｣としてうんたらかんたら・・・
目指してる方向が違うんじゃないの。
0307デフォルトの名無しさん
2009/08/09(日) 18:58:11同意してほしいのか
0308デフォルトの名無しさん
2009/08/09(日) 18:59:400309デフォルトの名無しさん
2009/08/09(日) 19:01:06おたがいの批判はいわゆる「オヤクソク」であって、
初心者にそれぞれの言語の立場をわかりやすく説明するコントなんだよ。
0310デフォルトの名無しさん
2009/08/09(日) 19:13:14論争もまた遊びみたいなもの。さらに言えば仕事で使ってるような言語での
ネタすら遊びでしかないという人は多いだろう。
で、黒田さんはそういう中途半端な人達にLispを語って欲しくない
という事も言っている。とりあえず本気の人も遊びの人も
互いに有益な範囲のみで関わっていれば問題はないだろうよ。
0311デフォルトの名無しさん
2009/08/09(日) 19:21:13一般的にはそうかもしれない。でもこの場合は違うかな。
初心者とか無能に理解されることを期待してないから、ああいう書き方になる。
いやむしろ、馬鹿が読んだ時に、馬鹿な理屈で馬鹿な誤読をして、馬鹿丸出しの敵になることを
黒田氏は期待してるかもしれない。
馬鹿な味方ほど邪魔なものはないからね（PやRから始まるあの言語の信者を想像してみよう）。
黒田−shoro間では濃い議論になるものが、黒田−ねらー間だと全くそうならない。
熱くなればなるほど、根拠が薄くなり、結論の語気だけが上がる、悲惨極まりない人種が
噛み付いてるだけの、この無様な状況。
つまり、何を言ってるのか理解するところにも達していないわけ。
0312デフォルトの名無しさん
2009/08/09(日) 19:26:01そこまで自惚れてるわけじゃない。
しかし、突き放して、理解させようという努力をしないなら、
ただの見下し厨と変わらないように思うけどなぁ。
0313デフォルトの名無しさん
2009/08/09(日) 19:26:110314デフォルトの名無しさん
2009/08/09(日) 19:30:58shoro さんの意見を聞いてみたいですね
0315デフォルトの名無しさん
2009/08/09(日) 19:31:40本質でないところでこういう揚げ足をとる馬鹿
0316デフォルトの名無しさん
2009/08/09(日) 19:32:26スルーできない馬鹿
0317デフォルトの名無しさん
2009/08/09(日) 19:33:18最初から理解できるようなレベルの人以外は
味方になって欲しくないということでしょう
彼等の目標を踏まえればそれ程のフィルターが必要であることは
容易に想像できます。
0318デフォルトの名無しさん
2009/08/09(日) 19:33:39オマエモナー
0319デフォルトの名無しさん
2009/08/09(日) 19:40:210320デフォルトの名無しさん
2009/08/09(日) 19:48:17水を得た魚のように活発になる人が多いのは、
Lispスレでも他のほげ言語スレでも同じ。
0321デフォルトの名無しさん
2009/08/09(日) 19:54:010322デフォルトの名無しさん
2009/08/09(日) 19:56:13というその一文が、根拠が薄く、結論の語気だけが上がってる悲惨な人種の
典型的な産物ですね。
0323デフォルトの名無しさん
2009/08/09(日) 20:03:15必死だな
0324デフォルトの名無しさん
2009/08/09(日) 21:13:07>>255
SICPの日本語訳、2章まで読めるとこあるよ
sicp tmuでぐぐれば今3番手に出る
原著読んでて翻訳つらいなって思った練習問題なんかは
この訳でもスキップされてたりするけど、
訳はわかりやすいので参考になれば
0325デフォルトの名無しさん
2009/08/09(日) 23:31:44R5RSの仕様だと解釈の仕方によってはマクロ作るときに問題があるが、
別の解釈の仕方では問題ないし、問題ないように実装することもできる
しかも、R6RSでは問題ない
ってことだろ
結局Schemeに対する言いがかりに感じた
0326デフォルトの名無しさん
2009/08/10(月) 06:29:45んで、さらに Schemer の内部では、 R6RS には思想がないとか
syntax-case ごちゃごちゃし過ぎ、 Explicit Renaming とか Syntactic Closures 忘れるな
っていう内ゲバが起こるんですね、わかります
と煽ってみる
0327デフォルトの名無しさん
2009/08/10(月) 06:55:03スレが別方向に行っちゃってるけど、
Common Lisp / Java 版の SHRDLU っていうのがあるみたい
ttp://www.semaphorecorp.com/misc/shrdlu.html
PLANNER は CONNIVER と共に Scheme の源流みたいな言語だね（英語版 Wikipedia 参照）
0329デフォルトの名無しさん
2009/08/10(月) 18:46:490330デフォルトの名無しさん
2009/08/10(月) 19:51:560331デフォルトの名無しさん
2009/08/10(月) 22:59:47DICTIOというファイルでエラー。単語や意味を教えるファイルらしい。
エラーになるのは
(DEFS \#DIRECTION
FEXPR (LAMBDA (A B) NIL)
NOGOAL T)
という関数。
これをコメントアウトすれば一応動作開始する。でも何を聞いても
「Sorry I don't know.」ばかり。
辞書が不完全だからかな。
0332デフォルトの名無しさん
2009/08/11(火) 00:16:470333デフォルトの名無しさん
2009/08/11(火) 00:49:230334デフォルトの名無しさん
2009/08/11(火) 00:51:48ありがとうございます。じゃあschmeから先に勉強します(^_^)
0335デフォルトの名無しさん
2009/08/11(火) 01:57:11common lispにしておけ
0336デフォルトの名無しさん
2009/08/11(火) 02:14:420337デフォルトの名無しさん
2009/08/11(火) 02:51:070338デフォルトの名無しさん
2009/08/11(火) 04:35:580339デフォルトの名無しさん
2009/08/11(火) 05:35:060340デフォルトの名無しさん
2009/08/11(火) 05:36:030341デフォルトの名無しさん
2009/08/11(火) 06:04:49わたしはGaucheを使っています。
Little Schemerで勉強中
0342デフォルトの名無しさん
2009/08/11(火) 06:16:48IA-32のSolarisに対応してたらLarceny使うのに。
あとは、IkarusとYpsilonとMosh検討中。
R6RS対応したライブラリが少ないのがネック。
識別子の最初に@使えないからSXMLとかでも問題あるし。
0343デフォルトの名無しさん
2009/08/11(火) 06:30:060344デフォルトの名無しさん
2009/08/11(火) 06:39:290345デフォルトの名無しさん
2009/08/11(火) 07:40:35中間言語としてのC経由なら、Stalin、Bigloo、Chicken、Gambitとか。
直接ネイティブコード吐くのはLarceny、Ikarusとか。
JITでネイティブコードにコンパイルするのはPLT。Ypsilonも開発中。
バイトコードにコンパイルして実行するのはGauche、Mosh、Guileとか。
0346デフォルトの名無しさん
2009/08/11(火) 08:42:48ありがと
SBCLの様な感じのはIkarusだけみたいだね、試したらめちゃ高速
だけどなぜにバージョンがこんなに小さいんだろう？
0347デフォルトの名無しさん
2009/08/11(火) 08:49:46Chicken は ttp://home.pipeline.com/~hbaker1/CheneyMTA.html この論文が
提唱した方式を実装したという特徴がある
0348デフォルトの名無しさん
2009/08/11(火) 11:59:26だいたい Scheme でむやみに速度を目指したって仕方がないじゃないかって気がする。
速いにこしたことはないし、そういう選択でやってみたってのは価値があるけど、
Scheme で数値計算をバリバリやるって場面はそんなにない。
0349デフォルトの名無しさん
2009/08/11(火) 12:17:250350デフォルトの名無しさん
2009/08/11(火) 12:58:550351デフォルトの名無しさん
2009/08/11(火) 13:18:50(let ((x 1))
(outer-scope
(let ((x 2))
(inner-scope x))))
このときに 1 を返す、つまり inner-scope の内側では outer-scope の外側の束縛を参照
するようなマクロ outer-scope inner-scope を定義してみた。
(define-syntax outer-scope
(lambda(x)
(syntax-case x ()
((k body ...)
(with-syntax
((inner-scope (datum->syntax #'k 'inner-scope))
(k (syntax k)))
#'(let-syntax
((inner-scope
(lambda(x) (syntax-case x ()
((j b (... ...))
#`(begin
#,@(datum->syntax #'k
(syntax->datum #'(b (... ...))))))))))
body ...))))))
未だに datum->syntax の第一引数の意味がよくわからん。
規格には
> (datum->syntax template-id datum)
> template-id はテンプレート識別子であり、datum はデータ値でなければならない。
> この手続きは template-id と同一の文脈情報をもつ datum の構文オブジェクト表現を返す。
> このとき、この構文オブジェクトは template-id が挿入されたのと同時にコードに挿入されたかのようにあつかわれる。
って書いたるんだが、文脈情報って何だ？
自分の中ではスコープだと思って使ってて、だいたい期待する挙動になるみたいなんだが、その理解でいいの？
もうちょっとわかりやすい説明があれば助かる。
拙者は日本人なので英語の文献とか紹介しようとしないで頂ければ助かるでゴザルよ。
0352デフォルトの名無しさん
2009/08/11(火) 13:37:290353デフォルトの名無しさん
2009/08/11(火) 13:51:09>>351にはdatum->syntaxと一緒に過ごしてもらう！
datum->syntax「えー」
0354デフォルトの名無しさん
2009/08/11(火) 15:04:23ビューティフルコードの25章はどうだろう
0355デフォルトの名無しさん
2009/08/11(火) 16:41:42lispのコードを少し書き換えてstalinで高速実行
0356デフォルトの名無しさん
2009/08/11(火) 17:21:44SchemeとCommonLispは並行して勉強すると混乱するから
どっちか一方を先にやった方がいいと思うよ。
高階関数の扱いがすっきりしているSchemeの方が理論的
なので萩谷先生の「関数プログラミング」の問題をSchemeで解く
ってのはどう。
0357デフォルトの名無しさん
2009/08/11(火) 18:36:38なんで？？？
俺は、全然平気だったけど
0358デフォルトの名無しさん
2009/08/11(火) 18:40:170359デフォルトの名無しさん
2009/08/11(火) 18:52:17特にないけど、不自由もしなかった
強いて上げるなら、CL はネィティブに落す処理系が多いので
処理系をどう作るかって意味ではとても勉強になった
0360デフォルトの名無しさん
2009/08/11(火) 18:59:34混乱すると言うが、最初から両方の違いを認識しながらの方が混乱しにくいという見方もある。
それにひとつしか知らないというのは大抵の場合はそのひとつさえ知ってない。
概念が生じるのは「そうでないもの」と区別するからであって、
自然に身につけたものは意外に理解できてなかったりする。
結局のところ、本人の資質にもよるから、意見を聞いたところでムダだよ。
やりたいようにやればいい。
0361デフォルトの名無しさん
2009/08/11(火) 19:02:090362デフォルトの名無しさん
2009/08/11(火) 19:25:070363デフォルトの名無しさん
2009/08/11(火) 19:31:06まぁ、違うものとも言えないんだけど、直接的に便利ということはない。
0364デフォルトの名無しさん
2009/08/12(水) 00:13:10リリースエンジニアリングが終わってるから。
> 2008-12-26: Release 0.0.4 almost final
↑はLaunchpadにあるアナウンスメントだ。
しかし現状での最新の安定版は0.0.3。後は分かるな？
というのは半分冗談だけど、まだ新しい処理系だから、
先端追っかけた方が楽しいというのはある。
0365351
2009/08/12(水) 00:46:31α変換のルールに干渉するってことかなぁ…
と思った。
0366デフォルトの名無しさん
2009/08/12(水) 02:27:20http://practical-scheme.net/wiliki/schemexref.cgi?eval
のように、scmだけevalの第二引数を取らないのは何故？
0367デフォルトの名無しさん
2009/08/12(水) 06:11:00よさげに見えるんだけどドキュメントがしっかりしすぎてて読むのがめどい
0368デフォルトの名無しさん
2009/08/12(水) 10:24:14Lisp系言語のキラーアプリって何だと思う?
Ruby だったら Railsだけど、Lispについて考えてみたら
思い浮かばなかったから意見を聞きたいです。
0369デフォルトの名無しさん
2009/08/12(水) 10:37:28Emacs。
0370デフォルトの名無しさん
2009/08/12(水) 11:01:520371デフォルトの名無しさん
2009/08/12(水) 11:25:38paul graham
0372デフォルトの名無しさん
2009/08/12(水) 11:30:29まあLispの亜種としてはEmacsがはってんしてるなぁ
>>371
Lispの真実
http://www.aoky.net/articles/leon_bambrick/lisp_truth.htm
思い出した
「Paul Graham自身もLispで書かれています。」
0373デフォルトの名無しさん
2009/08/12(水) 12:25:04複雑な名前空間を持ってるわけじゃないし、
そんなの出来てもしかたないだろう。
0374デフォルトの名無しさん
2009/08/12(水) 12:54:54Lisp系は無理に大衆化しなくてもいいんじゃない。
悟りを得ようとする人のための孤高の言語。
．．．というのは半分冗談だけど。
Lispがお金になる状況を作らんと黒田さんに言われちゃうよね。
「Javaで稼いで趣味でSchemeやってるのってどうよ」って。
0375デフォルトの名無しさん
2009/08/12(水) 15:50:510376デフォルトの名無しさん
2009/08/12(水) 17:01:55その昔、Winで稼いでMacにつぎ込むと雑誌に書いて炎上した人がいたのを思い出したぜ
Lispが取っつきにくいのってLispコミュニティーが俺様モード発動しちゃうのと、商用処理系がどうしてもランタイムライセンス必要なところにあるんじゃないの？
組み込み系のLispで成功したのは全部独自実装ばっかりだってのもその影響じゃないのかな？
0377デフォルトの名無しさん
2009/08/12(水) 17:22:11だからみんな俺LISPを作り、それぞれの目指す頂に登ろうとしている
0378デフォルトの名無しさん
2009/08/12(水) 17:32:090379デフォルトの名無しさん
2009/08/12(水) 18:04:43ダミーでもいいから引数取れよ！ポータビリティが下がるじゃないか！
てことでは？
ファーストクラスの環境を持たない処理系でもシンボルを受け付ける物もありますしね
0380デフォルトの名無しさん
2009/08/12(水) 20:01:33LISPって40年前からあるんだぜ ?
0381デフォルトの名無しさん
2009/08/12(水) 20:20:32■ このスレッドは過去ログ倉庫に格納されています