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)
0345デフォルトの名無しさん
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:320382デフォルトの名無しさん
2009/08/12(水) 20:36:400383デフォルトの名無しさん
2009/08/12(水) 20:44:070384デフォルトの名無しさん
2009/08/12(水) 20:46:23なことはないんだよな
個人の範囲で取れる仕事は極力 lisp 系で取ってくるようにしてるし,
実際に, 仕事の 1/3 位は lisp で納品してる.
でも, メンテがどうとかって話になると受注競争にマジで弱い.
0385デフォルトの名無しさん
2009/08/12(水) 20:57:56メガンテに見えた
0386デフォルトの名無しさん
2009/08/12(水) 21:35:58まさにメガンテ
0387デフォルトの名無しさん
2009/08/12(水) 22:12:49↓
後進を育てればいい
↓
会社にしてしまえばいい
って事？384が言いたいのは。
0388デフォルトの名無しさん
2009/08/12(水) 22:48:43まぁ, それもあるんだが, 現実問題, 1社だけだと致命的に弱いのよ
特定の会社だけに頼りきる状態になると, そこつぶれた場合どうする?
とか考えるだろ, 普通は.
そうゆう意味では, いろんなところが lisp 系で受注取ってくれると
嬉しいかなと………
0389デフォルトの名無しさん
2009/08/12(水) 22:55:030390デフォルトの名無しさん
2009/08/12(水) 22:58:490391デフォルトの名無しさん
2009/08/12(水) 23:09:02どんな形を取るかは別として,
「lisp 系でやってるのは, 他にも結構あるんで安心できますよ」
ってな事が言いやすい環境がほしいのはたしか
0392デフォルトの名無しさん
2009/08/12(水) 23:15:241社だろうが10社だろうが関係ない
「下請け」だから致命的に弱い
0393デフォルトの名無しさん
2009/08/12(水) 23:21:30「まずは自分で仕事作れるようになれ話はそれからだ」
…と
0394ひげぽん ◆Ngzcp/NZpA
2009/08/12(水) 23:59:49http://www.monaos.org/tmp/mosh-0.2.1-setup-win32.exe
修正した点は
・Windows 上 Emacs において run-scheme でエラーがとれない件（Meadow3 で確認）
・Windows 2000 で freeaddrinfo エラー（対応したつもりですが検証環境がなく直っているか確認できず）
・REPL のスペースを他の処理系にあわせる
・Windows でも Ctrl-c で REPL 終了
・Windows で mosh -V の結果がおかしい
・Windows で mosh -t のテストが FFI 関係でエラーになる
・configure で Gauche チェックやめる
・shebang に '-' が含まれるとエラーになる
・Windows では loadpath の区切り文字を : ではなく ; にする
もし特に問題が見つからなければ 0.2.1 としてリリースしようと思っています。
フィードバックをいただけると大変助かります。
>>368
キラーアプリといって思いつくのは、ポールグレアムが書いた Yahoo!Store 。
でもだいぶ前だし、他の言語で書き直されてしまったので最近ではないですが。
キラーアプリや、キラーアプリが出てくるような環境を作りたいとは思いますね。
0395デフォルトの名無しさん
2009/08/13(木) 00:16:24Lispが良い絵の具だと言うのなら、それで素晴しい絵を描かなきゃ。
がんばろうぜ。
0396デフォルトの名無しさん
2009/08/13(木) 00:30:22乙。
gaucheでRails作ってる人いたよね。>キラーアプリ
0397デフォルトの名無しさん
2009/08/13(木) 00:40:25コンセプトをそのままよそから持ち込むのは Lisp でやることじゃないさ。
あんなのは余興だよ。 キラーと言えるものじゃない。
0398デフォルトの名無しさん
2009/08/13(木) 00:44:22windows2000で問題なく起動したよ
0399デフォルトの名無しさん
2009/08/13(木) 02:12:00みんなどうしてるの？
一行のコードからそれこそキラーアプリまでカバーするような、ローチンのハブサイトって無いのかな？
無いならマジで作ろうかな。
0400デフォルトの名無しさん
2009/08/13(木) 02:33:540401デフォルトの名無しさん
2009/08/13(木) 03:22:400402デフォルトの名無しさん
2009/08/13(木) 04:15:26その答えのひとつがCommon Lispだ。Shcemeではない。
0403デフォルトの名無しさん
2009/08/13(木) 04:19:390404デフォルトの名無しさん
2009/08/13(木) 04:45:27ライブラリも仕様を規格化されているなら、
黒田氏の批判はあたらないんじゃない？
後は、好みで、PL/Iが好きならCommon Lisp、Argolが好きならSchemeかな。
0405デフォルトの名無しさん
2009/08/13(木) 06:39:54STDERRの出力の件、うまく表示されていました。
Meadow、xyzzy、Chezedit-Ntで試しました。
Ctrl+cの件：
>具体的にイメージされているものはありますでしょうか？
petite chez Scheme の動作をイメージしていました。
REPLで計算実行中にCtrl+cで中断し、プロンプトが break> となります。
例えば、(tak 18 9 0) とすると計算が当分、終わりそうもないので
Ctrl+Cで無理やり終わらせるような場合です。
Meadowだと処理系が強制終了しました。
xyzzy,ChezEdit-NTでは Ctrl+C は効いていないようです。
0406デフォルトの名無しさん
2009/08/13(木) 06:43:36君の批判も当たっているとは思えないけど
0407デフォルトの名無しさん
2009/08/13(木) 06:44:280408デフォルトの名無しさん
2009/08/13(木) 06:57:200409デフォルトの名無しさん
2009/08/13(木) 18:41:18Fortranが好きならCommon Lisp、Pascalが好きならScheme
0410デフォルトの名無しさん
2009/08/13(木) 19:50:340411デフォルトの名無しさん
2009/08/13(木) 19:51:260412デフォルトの名無しさん
2009/08/13(木) 19:53:420413デフォルトの名無しさん
2009/08/13(木) 20:07:230414デフォルトの名無しさん
2009/08/13(木) 20:28:29アホがいるw
アプリ支える為にはそれなりのマスが必要
0415デフォルトの名無しさん
2009/08/13(木) 20:35:320416デフォルトの名無しさん
2009/08/13(木) 20:36:380417デフォルトの名無しさん
2009/08/13(木) 20:36:540418ひげぽん ◆Ngzcp/NZpA
2009/08/14(金) 00:20:16どもども。
>>398
ご確認ありがとうございます。Windows 2000 はまだまだ残っていると思うのでサポートできて良かったです。
>>399
確かに発表の場はないですね。どうするのが良いかな。
小さなものでも発表できるという意味では、http://gist.github.com/gists にコードを貼って
このスレで書いたよー。ってつぶやくだけでもいいかも。
>>405
多くの環境で確認いただき恐縮です。
Ctrl-C の件ですが、なるほど納得しました。
その機能をつけることは多分簡単にできるんですが、強く必要だと感じるまでではないので一旦保留とさせてください。
>>415
最近 Erlang 触っていますが良いところもたくさんあると感じます。
影響を受けて Scheme でも match-lambda* を使うようになったり (mosh concurrent) を書いたりしました。
0419デフォルトの名無しさん
2009/08/14(金) 00:22:09そのマスを生むためにアプリがいるんですね、わかります
0420デフォルトの名無しさん
2009/08/14(金) 00:25:46よく見てないけど、 gosh みたいなのなら、 Ctrl+C があれば
例外なりシグナルなりを投げて repl で捕捉すればいいので、
そのへんは勝手にやってもらえばいいと思う。
Windows で使うことを考えたらシグナルはよくないかな。
0421デフォルトの名無しさん
2009/08/14(金) 01:57:140422デフォルトの名無しさん
2009/08/14(金) 03:02:305とどのくらい違うのですか？
0423デフォルトの名無しさん
2009/08/14(金) 03:06:27http://practical-scheme.net/wiliki/wiliki.cgi?R6RS
おおざっぱな変更点解説もあるのでここ読め。
0424デフォルトの名無しさん
2009/08/14(金) 03:16:38あとはそれを成立させるのに必要なことを細かく決めましたって感じ。
大文字小文字の区別だとか Unicode がどうだとかいった実用的な意味での規定もあるけど、
全体にしたらささいなことだと思う。
0425デフォルトの名無しさん
2009/08/15(土) 12:56:09お盆なもんで般若心経を読んでるんだが
「色即是空」とか「空」が度々現れる。
存在はするのだが空なのだってのは悟りに至らんとわからん。
CommonLispの空リストもアトムだし、リストだし、
否定でもあるし、仏教思想か？
>(atom '())
T
>(listp '())
T
>(eq '() nil)
T
>(null '())
T
>(null nil)
T
0426デフォルトの名無しさん
2009/08/15(土) 13:36:50写経だとおもってCONSペアの図とリスト探索を100種類くらい書いてみるといい。
その上で、どうしても空のリストとNILを区別しないと許せないとかなら
Schemeのほうが向いてるかもしれない。
0427デフォルトの名無しさん
2009/08/15(土) 14:26:30そういうことが好きな人ならお盆に限らず読むべし
0428デフォルトの名無しさん
2009/08/15(土) 14:29:18trasnなんとかというファイルをひととおりみてみたけど
らしいものがない
0429デフォルトの名無しさん
2009/08/15(土) 16:47:43一緒に日本に帰ろう ！
0430デフォルトの名無しさん
2009/08/15(土) 16:49:130431デフォルトの名無しさん
2009/08/15(土) 19:19:000432デフォルトの名無しさん
2009/08/15(土) 19:21:43唯円 「念仏唱えてもあんまうれしくない」
親鸞 「じつはおれも」
0433デフォルトの名無しさん
2009/08/15(土) 21:41:53漢字データベースを基礎とした戒名の生成補助、重複チェック。
檀家の家系図作成、保存。
法事スケジュール調整エキスパートシステム。
0434デフォルトの名無しさん
2009/08/15(土) 21:45:230435デフォルトの名無しさん
2009/08/15(土) 22:21:420436デフォルトの名無しさん
2009/08/16(日) 00:06:30笑いすぎて鼻にコーラがはいっちゃったじゃないか！
0437デフォルトの名無しさん
2009/08/16(日) 16:55:410438デフォルトの名無しさん
2009/08/16(日) 17:16:59そういったことはどのスレに書けばよいでしょうか。
スレ違いは承知ですが、妥当なのがどこかわからなかったので…
誘導して頂ければ助かります。
0439デフォルトの名無しさん
2009/08/16(日) 18:02:23どこのスレがいいかという質問にふさわしい板でたずねなさいよ。
0440デフォルトの名無しさん
2009/08/16(日) 18:06:570441デフォルトの名無しさん
2009/08/16(日) 23:07:37明日仕事だから風呂はいってヌルわ
0442デフォルトの名無しさん
2009/08/17(月) 00:37:200443デフォルトの名無しさん
2009/08/17(月) 01:25:280444デフォルトの名無しさん
2009/08/18(火) 08:31:55↑に書かれてることってホントですか？ここの方々はみんなそんなかんじなんですか？
0445デフォルトの名無しさん
2009/08/18(火) 08:43:14>私はさっきバスを待っている間に学んだ。
嘘だッ！！
■ このスレッドは過去ログ倉庫に格納されています