トップページ⇒tech
987コメント296KB

Lisp Scheme Part36

レス数が950を超えています。1000を超えると書き込みができなくなります。
0001デフォルトの名無しさん2013/03/13(水) 19:50:42.79
Common Lisp、SchemeをはじめとするLisp族全般のスレです

■前スレ
Lisp Scheme Part35
ttp://toro.2ch.net/test/read.cgi/tech/1348018916/

■テンプレ
ttp://wiki.fdiary.net/lisp/

■関連スレ
【入門】Common Lisp その10【質問よろず】
ttp://toro.2ch.net/test/read.cgi/tech/1361341876/
【Scheme】Schemeインタプリタ Mosh Part1【Lisp】
ttp://toro.2ch.net/test/read.cgi/tech/1272469779/
【Lisp】プログラミング言語 Clojure #2【JVM】
ttp://toro.2ch.net/test/read.cgi/tech/1318498898/
【魔法】リリカル☆Lisp【言語】
ttp://toro.2ch.net/test/read.cgi/tech/1183396621/
0002デフォルトの名無しさん2013/03/13(水) 19:51:38.49
SICP taught in Python 3
ttp://www-inst.eecs.berkeley.edu/~cs61a/sp12/book/index.html
0003デフォルトの名無しさん2013/03/13(水) 22:23:43.04
おつかlisp
0004デフォルトの名無しさん2013/03/13(水) 23:19:58.29
　
私がこの世界に求める優しさのすべて―
　　それがLispなんだと。

あぁ　この世界の女性がみんなLisperになったら
　　なんてすてきな世界なんだろうと考えました。


レトルトカレーしか作れぬお前がLisperになったところで

　　　そ　れ　は　L　i　s　p　e　r　で　は　な　い　!
0005デフォルトの名無しさん2013/03/13(水) 23:34:09.59
きめえよバカ
そんなんだから女に優しくされないんだよ
0006デフォルトの名無しさん2013/03/14(木) 00:50:25.48
再帰的な女性に優しくされたい
0007デフォルトの名無しさん2013/03/14(木) 01:15:03.02
こうかくとSchemeに否定的に思われるかもしれませんが、普及する言語という
のは、できるプログラマーに好かれるだけでは十分ではなく、そうではないプ
ログラマーにも敷居の低いことは要件なんですよね。逆に言うと圏論や型推論
など、一般のプログラマーには難しい理論を要求する言語というのは普及は難
しいのではないでしょうかね。もちろん完全に隠し込めればいいのでしょうが、
コンパイルエラーやデバッグなどで顔を出す限りはなかなか難しい。というわ
けで頭の良い方々が推奨されるプログラミング言語については、その普及とい
う点では否定的に見ております。なお、アカデミアのプログラミング言語を専
門とする研究者(特に優秀な研究者)が設計した言語が大きく普及しないという
のも、この辺りに遠因があるのではないかと邪推しております。
0008デフォルトの名無しさん2013/03/14(木) 01:32:17.41
>>7
こうかくとまで読んだ
0009デフォルトの名無しさん2013/03/14(木) 02:40:53.89
http://users-cs.au.dk/danvy/sfp12/papers/byrd-holk-friedman-paper-sfp12.pdf

cKanrenって見捨てられてしまうの？
自分のプログラムで使いまくってのだけど
バグとかあっても自力で直さないと誰も直さないのかな
0010デフォルトの名無しさん2013/03/14(木) 04:47:42.42
違和感なくlambdaを書けるようになったんだけど。lispのlambda的にbashのコマンドラインを書くと
i=99 ; history | tail -n ${i} | less ## on bashかな。変数iをhistory-tailとしておくと!英数字
で頭文字から始まる文字列の直前の履歴コマンドを実行するからこっちの方が便利か。例!history-t
lispで表すと((lambda (i) (less (tail :n i (history)))) 99) ;; on lisp で。Linuxってlambda的
なのか、lispが表現力豊かなのか。Linuxはlisp的であるという気づきは、lisp的考える事が好きな
ので嬉しい気づきだ。コマンドラインもlispで考えていいなんて。
あとこれ、地上最強の言語Cで表すとどうなるの？
0011デフォルトの名無しさん2013/03/14(木) 08:04:00.65
Linuxがlisp的？ないないw
0012デフォルトの名無しさん2013/03/14(木) 13:19:21.00
x=1 ; i=19 ; j="~/bm/" ; k="/10MiB.iso" ; time nice -n ${i} xz -d -${x} ${j}${x}${k} ; \
x=3 ; time nice -n ${i} xz -d -${x} ${j}${x}${k} ; \
x=6 ; time nice -n ${i} xz -d -${x} ${j}${x}${k} ; \
x=9 ; time nice -n ${i} xz -d -${x} ${j}${x}${k} ## on bash
0013デフォルトの名無しさん2013/03/14(木) 13:21:29.61
xzのベンチマークなんだけど、lispで無理やり書くと
((lambda (i j k l) (mapcar
(lambda (x) (time (nice :n i (xz -d x
(string-renketsu j (integer->string x) k))))) l))
19 "~/bm/" "/10MiB.iso" '(1 3 6 9)) ;; on lisp
0014デフォルトの名無しさん2013/03/14(木) 13:35:22.32
みたいな感じになる。Cだとi=1, i=3, i=6, i=9の部分は配列を使うのか。

lambdaを使えるようになるとREPLがより便利に感じるし、依存度が増すね。Python2をちょっぴり
かじったんだけど、その時にREPLは便利だと感じていたけど、lispのREPLを使うようになってもう一
0015デフォルトの名無しさん2013/03/14(木) 14:09:48.09
もう一度オナニーして寝た。以上っす。
0016デフォルトの名無しさん2013/03/14(木) 14:15:12.78
段便利になって、lispのlambdaを使えるようになったら10倍便利になった気がする。
lambdaを使った事ない人にlambdaの効用を説明するポイントはワンライナーで書けて楽って事だよね。
wikipediaのlambdaのページを紹介されたら引くわ。

書いて思ったけど、lispは表現力豊かなのか。表現力豊か度で言うと三強はなんなんだろ。
0017デフォルトの名無しさん2013/03/14(木) 14:32:32.22
病人みたいな文章だな。
0018デフォルトの名無しさん2013/03/14(木) 14:36:53.14
lambdaの前にletの使い方を覚えたほうがいいんじゃない？
0019デフォルトの名無しさん2013/03/14(木) 15:52:03.95
>>17
おま、それ言うなよ
0020デフォルトの名無しさん2013/03/14(木) 17:38:57.26
>>6
女性も再帰的に男性に優しくされたいワナ。
優しくしてくれるのは世界でlispだけだと割り切って、女性に再帰的に優しくしてやれ。
>>9
リンク未見。コミットして、手の届く範囲だけメンテすればいいんじゃないの。
>>15
オナニーは最大1日1回まで
>>17
あなたがね
0021デフォルトの名無しさん2013/03/14(木) 17:46:44.15
>>7
プログラミングしたいだけなのに、いきなり大学数学みたいな話になるのが良くないと思う。
個人的には小学校のドリルみたいなのをたくさんやらせるとLispにハマると思うんだけどね。
lispを使わなくなっても高機能電卓としては使ってしまうでしょ。bashで((2 ** 10))みたいな事
できるけど。もっと凝った事ができるのか、不明。表現力の最大限界はどんなもんなんだろ。
0022デフォルトの名無しさん2013/03/14(木) 17:59:58.84
誰もドリル作らないなら私が数年後に作るわ。
>>18-19
let構文使うとタイプ量が多いし、変数は可変でletあたりまでタイプして改変するのが面倒臭い。
ケータイメールで前略ないって起こる人か？
あと>>18-19みたいなのが外部からの新規者を排他的に排除する信者って奴だ。let構文書けるように
なったのにそういう事は気が回らないのか。
信念持って排他しているなら肯定してあげるわ。
0023はちみつ餃子 ◆8X2XSCHEME 2013/03/14(木) 18:05:22.31
揶揄とか排他とかいう問題ではなくて文章の意味が捉え難い。
すまんが言いたいことをもうちょっと推敲してから書込んでくれんかな。
0024デフォルトの名無しさん2013/03/14(木) 18:16:29.58
Lisperは排他的だというのはほとんど誤解だろうね。
俺も最初はそう思いこんでたが、よく考えてみると自分の考えが稚拙だっただけで
一人空回りしていたというのがほとんどだった。
0025デフォルトの名無しさん2013/03/14(木) 18:40:00.21
Lisperは排他というより実力不相応の選民意識を持っている感じがするな
世の中で使われるソフトひとつろくに作れないのに
0026デフォルトの名無しさん2013/03/14(木) 19:08:50.27
>>12
ここにいる人はみんなこれぐらい書けますよ
for x in 1 3 6 9; do i=19; j="~/bm/"; k="/10MiB.iso"; time nice -n ${i} xz -d -${x} ${j}${x}${k}; done
もっと頑張りましょう
0027デフォルトの名無しさん2013/03/14(木) 19:20:32.72
LisperはむしろLispなんて誰でもたやすく理解できると思ってる人が多い。
選民意識とは逆だと思う。
彼等に選民意識を感じるとしたらそれはおそらく鏡像ではないかな。
0028デフォルトの名無しさん2013/03/14(木) 19:23:50.16
嫉妬していても自分の能力が上がるわけじゃないのにね
0029デフォルトの名無しさん2013/03/14(木) 19:52:15.31
必要性を感じないものを理解するのは難しいもんだよ
0030デフォルトの名無しさん2013/03/14(木) 19:55:14.16
他言語ユーザーのLispはすごいみたいなおべんちゃらをまともに受けているふしがある
本当にすごいと思っているならLispを使うだろ
0031デフォルトの名無しさん2013/03/14(木) 19:56:14.59
嫉妬と決めつけるのもどうかと思うんだけど。
Lisperとかはプログラミングというものの捉え方がかなり違うから他と話がかみ合わない事があるんだよ。
上下という事ではなく、男女、犬猫くらい違う。
0032デフォルトの名無しさん2013/03/14(木) 20:12:56.71
私はLispを使ったこと無いのですが、あなた方はLispの何がすごいと思いますか？
0033デフォルトの名無しさん2013/03/14(木) 20:13:49.98
かっこいい！
0034デフォルトの名無しさん2013/03/14(木) 20:30:13.40
括弧が多い！
0035デフォルトの名無しさん2013/03/14(木) 20:31:34.76
変人に思われるところ
0036デフォルトの名無しさん2013/03/14(木) 20:33:09.07
世界の料理ショー見てたから！
0037デフォルトの名無しさん2013/03/14(木) 20:34:54.83
()ｲｲﾈ！
0038デフォルトの名無しさん2013/03/14(木) 20:41:24.19
俺の読んだ話だとポール・グレアムってLispで書かれてるらしいね。
そのLisp処理系はグレアムが実装した。
前のバージョンのグレアムがだ。
信じられるかい？そんなこと。

俺は信じないね。

けどLispならそれに近いことは出来るだろうな。
0039デフォルトの名無しさん2013/03/14(木) 20:45:05.69
しょうもない粘着に費やす時間だけはあるのだな>>29
0040デフォルトの名無しさん2013/03/14(木) 20:50:55.31
おまえらがアニメとか見ている間にいろいろやってるんだよ
0041デフォルトの名無しさん2013/03/14(木) 21:17:33.70
カッコが多くて読みにくくても、簡単に自動整形できるからいいよね
私は納品するときは逆に一行にしてる
0042デフォルトの名無しさん2013/03/14(木) 21:44:30.32
・リスパーにあらずんばプログラマーにあらず
・天はリスパーの上にリスパーを作らず
リスパーの下にリスパーを作らず
・リスパーの道はリスプ
・リスプの起源は韓国

まあ色々な格言があるけど、それくらい凄いってわけだ。
0043デフォルトの名無しさん2013/03/14(木) 21:57:28.21
ぜんっぜん！ぜんっぜんおもしろくないよ！その書き込み！！
0044デフォルトの名無しさん2013/03/14(木) 22:02:38.81
とある大学でFacebookアプリをつくる授業をしたところ
儲かって会社を作る学生が続出したそうな
ビジネスで成功するには特別な才能がなくても大儲けできる
時と場所に居合わせるのが重要
グレアムとダン子飼いはその典型例
グレアムなんて今じゃ新言語ひとつ普及さえることのできない程度の能力
0045デフォルトの名無しさん2013/03/14(木) 22:02:49.21
・カー(車)は左
0046デフォルトの名無しさん2013/03/14(木) 22:07:06.84
そうさ、しかしそのタイミングが見えるのは人生に何度もあることじゃあない。
見えた時にモノに出来なきゃあ、UFOか雪男かrmsを見たと言ってるのと変わりはない。
じゃあモノにするにはどうしたら良いかかって？
まずは世界の料理ショーを欠かさず見ることだHahaha
0047デフォルトの名無しさん2013/03/14(木) 22:08:58.63
タイミングを逃すのは床の下に(略
0048デフォルトの名無しさん2013/03/14(木) 22:11:47.26
一生遊んで暮らせる金があるにもかかわらず
便所の落書き以下の駄文を書いて小銭を稼いでいるのが残念な人
0049デフォルトの名無しさん2013/03/14(木) 22:12:46.86
よし、俺もmixiアプリ作って大儲けするぞ。
0050デフォルトの名無しさん2013/03/14(木) 22:13:40.83
>>よし、俺もmixiアプリ作って大儲けするぞ。
もうmixiの時代は過ぎておる
0051デフォルトの名無しさん2013/03/14(木) 22:18:38.98
いや新言語普及させるってのもタイミングじゃないか？
Javaだって物凄く時間がかかったし金もかかっただろう。
Rubyみたいにはなかなか成功するもんじゃないと思う。

例えばBrainfuckなんてまるで普及してないよな。
おっと例えがおかしいとか言いっこなしだぜHahaha…
0052デフォルトの名無しさん2013/03/14(木) 22:28:27.13
巨匠グレアムは普及する言語は適度に汚いって言ってたな。
0053デフォルトの名無しさん2013/03/14(木) 22:31:40.67
普及した言語は綺麗に直すとみんなが困るんだよ
RubyとかPython程度の小変更ですら移行できないでいるし
0054デフォルトの名無しさん2013/03/14(木) 22:33:36.55
何せ宇宙はLispで書かれてるからな。
凄いっつうかヤバイ。Lispヤバイ。
0055デフォルトの名無しさん2013/03/14(木) 22:41:25.55
宇宙はLispでは書かれていないって証拠があるみたいよ
0056デフォルトの名無しさん2013/03/14(木) 22:41:50.86
汚い方がみんなで四苦八苦して仕事してる様に見せかけられるからな。
俺なんかこの3ヵ月間、客先で運用の立ち会いしたが
9割方お茶飲んでネットやって、お菓子食って、鼻くそほじって、
、、やることなかったからな。
一度、客が全員後ろ向いた瞬間にバグフィックスと機能追加したくらいで。

Lispがエレガント過ぎるせいでそうなっちゃうんだ。
いつか後ろ向いてる間にこそっと乗っ取りしてしまうかもしれない。
あ、こういうのが選民意識に見えるのかゴメン。
鼻くそほじったってのは嘘だから。
0057デフォルトの名無しさん2013/03/14(木) 22:43:10.49
>>55
その証拠はPrologで書かれてるんですね。
0058デフォルトの名無しさん2013/03/14(木) 22:46:05.73
宇宙はハングルで書かれてるに決まってるだろ
0059はちみつ餃子 ◆8X2XSCHEME 2013/03/14(木) 22:47:40.30
Worse is Better は焼き直されながらいろんな人が言ってる原則だけど、
一旦普及したならその後でそこそこのところまでは改善されるだろうという期待も込みだからね。

http://chasen.org/~daiti-m/text/worse-is-better-ja.html
0060デフォルトの名無しさん2013/03/14(木) 22:48:11.79
人工知能とヒトモドキと猿のアイちゃんではどれが賢いの？
0061デフォルトの名無しさん2013/03/14(木) 22:49:43.02
UNIXとCは最もよくできたウィルスだとか言ってる人が居たな。
0062デフォルトの名無しさん2013/03/14(木) 22:49:47.75
猿のアイちゃん
0063デフォルトの名無しさん2013/03/14(木) 22:53:09.47
>>55
> 宇宙はLispでは書かれていないって証拠があるみたいよ
神様がそうやってlisperに不安定な感じにしているのよ
0064はちみつ餃子 ◆8X2XSCHEME 2013/03/14(木) 22:55:00.67
http://www.aoky.net/articles/randall_munroe/images/lisp-j.jpg
0065デフォルトの名無しさん2013/03/14(木) 23:00:50.01
戸外が「Perl5はもう殆どCLみたいだかんね」とか言ってたが、それってグレアム理論で言えば(略
0066デフォルトの名無しさん2013/03/14(木) 23:04:33.53
近いうちに宇宙はHaskellで書き直されるよ。
0067デフォルトの名無しさん2013/03/14(木) 23:10:48.72
Haskellマシンを作ってから出直してこい
0068デフォルトの名無しさん2013/03/15(金) 00:05:15.38
2ch関数型言語モナードを作るわ
0069デフォルトの名無しさん2013/03/15(金) 00:08:15.66
>>24
(何かの)信者になる奴が排他的であって、(* 2ch lisp)になるとその奴の排他性が強化されるん
じゃない。
>>26
添削だけだとつまらんからネタ投下してよ
>>27
(+ 1 1)がそんなに難しいかな？
(+ 1 1)を選民思想と言われても。
0070デフォルトの名無しさん2013/03/15(金) 00:13:07.36
このスレ見るとやっぱLisperやべーな、と思う
0071デフォルトの名無しさん2013/03/15(金) 00:16:41.23
>>29
実用性の選択肢として入っていない話か。実用性アピールがまだ弱いのかね。
>>30
M社は欠陥OSを売って、みんなに喜ばれているからな。
>>46
深いね
>>50
ICQ関連アプリで儲けてやる
0072デフォルトの名無しさん2013/03/15(金) 00:28:42.95
>>51
Java、時間かかったよね。
超概算でいくらかけたんだろ。
>>60
人工知能の定義は？ 拡張性はどこまでありなの？ CPUとメモリとインターネットと電気だけだと
ほぼ植物人間だよな。あと賢いの定義は？
0073デフォルトの名無しさん2013/03/15(金) 00:31:17.40
人口知能でセンター試験の問題解けるってマジ？
スピンアトップ・スピンアトップ・スピンスピンスピンとか読んで理解できるの？
0074デフォルトの名無しさん2013/03/15(金) 00:31:23.44
誰だよお前
0075デフォルトの名無しさん2013/03/15(金) 01:14:31.10
病人みたいな文章だとは思ったが、本当に病人だとは思わなかった >>69,71,72
0076デフォルトの名無しさん2013/03/15(金) 14:28:16.56
これは朝鮮人のにおいがするな
0077デフォルトの名無しさん2013/03/15(金) 22:59:03.64
>>73
統計処理すれば問題の文末の語尾だけで解答を特定できそうな気がする
0078デフォルトの名無しさん2013/03/16(土) 07:36:07.28
>>77
2chブラウザにベイジアンフィルタ作るお仕事ですね。
0079デフォルトの名無しさん2013/03/16(土) 07:37:42.79
スピンアトップ・スピンアトップ・スピンスピンスピンってのは
今年のセンター試験国語で出題された問題な
0080デフォルトの名無しさん2013/03/16(土) 07:41:58.54
スパムエッグ・スパムスパム・ベーコンスパム的な
0081デフォルトの名無しさん2013/03/16(土) 09:13:46.26
ユースピンミーラウンドラウンドラウンドラウンド
みたいな。
0082デフォルトの名無しさん2013/03/16(土) 10:42:10.70
初心者に向いているSCHEME処理系のオススメを教えて下さい。
0083デフォルトの名無しさん2013/03/16(土) 11:12:56.53
gaucheでいいでしょ
0084デフォルトの名無しさん2013/03/16(土) 13:54:52.16
Racketってどうなん
0085デフォルトの名無しさん2013/03/16(土) 14:06:00.67
Schemeとの微妙な違いが初心者向きでない
ドキュメントを読む時間のない人にはお勧めでない
0086デフォルトの名無しさん2013/03/16(土) 14:11:28.08
微妙な違いが必要になった時点で初心者卒業だから問題ない
0087はちみつ餃子 ◆8X2XSCHEME 2013/03/16(土) 16:36:19.74
Racket も RnRS モードなら互換性が問題になることは無いと思う。
Windows 用のインストーラがあるし、IDE が含まれているので、これだけ入れれば始められるというところは初心者には楽。
機能が雑多に詰め込まれてるのは人によって評価が分かれるかも。
多機能とも言えるし、似たような機能が重複してて美しくないとも言える。
ドキュメントが英語なのは人によってはハードル高いかもしれない。
0088デフォルトの名無しさん2013/03/16(土) 18:09:37.26
新生活も始まるし、ついでに具体的に聞いておく。
>>85の1行目の言い分も分かるけど、>>82のかなりあいまいだけど憶測する用途だと>>83に同意。
で、gaucheで環境は何が鉄板なの？
>>85の用途の具体って何？　2行目の具体は？　>>85の言いたい最低限読むべきドキュメントは
何？ 推奨で読むべきドキュメントは何？
0089デフォルトの名無しさん2013/03/16(土) 18:13:53.08
急患さんでーす
0090デフォルトの名無しさん2013/03/16(土) 18:18:03.14
来年の3月ぐらい入っての最初の>>82の類の質問には処理系と環境とドキュメントの3つの値を返す
べきだよね。値の数が多めに返ってくる分には無視すればいいわけだし。
質問者側も環境の具体と明確になっている用途を明記すべき。
0091デフォルトの名無しさん2013/03/16(土) 18:25:03.35
>>89
> 急患さんでーす
>>89は病人なのか。面倒くさいなあ。
青春18きっぷ時期だから被災地に行って、一皮剥いて来てよ。来週中にヤフオクで売りさばけば、
使用した回数分減らした額のほぼ定価で売れる。
0092デフォルトの名無しさん2013/03/16(土) 18:45:04.33
>>91
被災地の人をなんだと思ってるんですかね（迫真）
0093デフォルトの名無しさん2013/03/16(土) 18:46:31.05
津波は天罰。我欲を洗い流せ。
0094デフォルトの名無しさん2013/03/16(土) 19:02:54.56
日本語がよくわからないなら英語で書いてもいいのよと提案してみるテスト

要するに「初心者向けの処理系といっても色々あるから目的を書けカス」
「互換性がーとかドキュメントがーとかいうならもっと具体的に書け池沼が」
とかそういうことが言いたいのか？
0095デフォルトの名無しさん2013/03/17(日) 03:57:55.36
そもそも互換性が問題になるほど使い込なしていれば初心者じゃないような気がする
それとも、初心者でも互換性が問題になることがあるのだろうか
0096デフォルトの名無しさん2013/03/17(日) 06:41:07.28
チョンの正体はレプタリアン
0097デフォルトの名無しさん2013/03/17(日) 07:43:14.98
>>96
そんな格好いい物じゃねぇだろｗ(括弧いい？)
0098デフォルトの名無しさん2013/03/17(日) 11:51:49.75
最近暖かくなってきたし括弧脱がないとなあ
0099デフォルトの名無しさん2013/03/17(日) 13:44:48.79
結局consの実装はどうするのが正しいんだ
structでなくてunionというのがわからん
0100はちみつ餃子 ◆8X2XSCHEME 2013/03/17(日) 15:42:38.42
Lisp が括弧を脱いだら何になるの?
0101はちみつ餃子 ◆8X2XSCHEME 2013/03/17(日) 16:24:49.94
>>99
だいたいは自前でビット操作してると思う。
C の規格で未定義の部分に踏込むことになるけど、
Union ではビットタグのレイアウトをコントロールできないので。
0102デフォルトの名無しさん2013/03/17(日) 23:24:18.42
>>100
M式かPythonじゃね？
0103はちみつ餃子 ◆8X2XSCHEME 2013/03/17(日) 23:30:12.62
どうでもいいけど、この小説に括弧と書いて「カツコ」と読む名前のキャラが出てきた。
http://ncode.syosetu.com/n7632b/
0104デフォルトの名無しさん2013/03/18(月) 00:15:47.27
>>88
これって典型的な時間のない人だな
有益なことに費やす時間のない人
0105デフォルトの名無しさん2013/03/18(月) 00:35:39.07
>>104
だね。この人、自分の何がおかしいのか全然分からないんだろうな
0106デフォルトの名無しさん2013/03/18(月) 15:19:04.19
2ちゃんねるのダメ系の板にしばらくいたことがありますが、ダメになる傾向って確かにあって一つしかないですね
何もしないことです 怠惰や失敗への恐れや他人への迷惑への懸念、大元の理由は様々ですが
あそこにいる人たちの共通点は何もしてこなかった事に尽きます
0107デフォルトの名無しさん2013/03/18(月) 17:37:51.14
>>103
何話?
0108デフォルトの名無しさん2013/03/18(月) 19:28:14.76
>>103
はちみつ餃子たんから小説家になろうのリンクが出るとはおもわなんだｗ
0109はちみつ餃子 ◆8X2XSCHEME 2013/03/18(月) 19:35:49.17
>>107
カツコは第38話に登場。 漢字で括弧と書く話は第225話。
0110デフォルトの名無しさん2013/03/19(火) 04:39:33.07
Racketは実用しようとすると微妙にいろいろたりない
スクライブはtexの代わりになるかと思ったらテーブルが描けないとか

Gaucheってその辺どうなの？
0111はちみつ餃子 ◆8X2XSCHEME 2013/03/19(火) 07:38:07.44
その辺ってどの辺?
Gauche 自体にはドキュメントの記述をサポートする機能は特に無いぞ。
言語処理系に何もかも含めてしまうというような気持はないらしくて、
例えば gauche-install も wget, configure, make を呼出すだけの薄いラッパーだったりする。
(小さいファイルひとつで構成されるような Pure Scheme のライブラリでも
configure から呼出してしまうのは大袈裟だからなんとかしたいとどこかで書いてはいたが。)
開発環境全体の面倒を見るタイプの Racket と比較すれば Racket の方が多機能だよ。

そこから話題はちょっとそれるが、
Gauche で書かれたテキストプロセッサってことなら tex-modoki というのがある。
https://github.com/k16shikano/tex-modoki
出力は html だけだし、そんなに高機能でもないけど。
あくまで TeX のモドキという位置付け。

執筆と組版のサポートということならこんなのもある。
https://github.com/yuumi3/GaucheMinDTP
WiLiKi を拡張したシステムを使って執筆して wkihtmltopdf で pdf を生成する。
レンダリングは wkihtmltopdf に丸投げ。
0112はちみつ餃子 ◆8X2XSCHEME 2013/03/19(火) 22:06:26.35
ところで最近は Sublime Text 2 で Lisp コードを書くための拡張が整備されつつあるようだね。
http://nomnel.net/blog/st2-gauche/
Eclipse の Lisp サポートなどより期待できるのでは?
長らく Emacs 系か Vi 系の二択だった Lisp 開発環境に新たな勢力が現れて喜ばしい。
0113デフォルトの名無しさん2013/03/19(火) 22:16:52.70
lisp使う人からすれば、Eclipseみたいな統合環境はかえって使いづらいのではなかろうか
特に頻繁にマウス操作しなければならない点がイライラする
0114デフォルトの名無しさん2013/03/20(水) 00:09:50.96
S式と入力装置とかえらい遠いよなそれ。よく言われてるけどいつも思う
0115はちみつ餃子 ◆8X2XSCHEME 2013/03/20(水) 09:23:16.09
GUI というか GUI な実行環境と統合されたものが過去にはあったみたいだけど。
http://practical-scheme.net/wiliki/wiliki.cgi?Lisp%3A%E3%82%88%E3%81%8F%E3%81%82%E3%82%8B%E8%AA%A4%E8%A7%A3#H-1m6dvbw
SmallTalk 風に実行環境全部が統合されてたからうまくいってたのかな。
0116デフォルトの名無しさん2013/03/20(水) 23:08:34.40
>>112
(・∀・)ｲｲﾈ!!
0117デフォルトの名無しさん2013/03/20(水) 23:33:04.65
smalltalkもsqueqkレベルまでGUIに特化すれば触ろうかという気にもなるけど、中途半端にGUIそろえてもらっても困る
確実にマウス触るの嫌ななってるわ

画面に没頭してキーボードだけ叩いて脳のクロックが極限までアップしてるときにに、マウスに手を伸ばすと意識が途切れるのが分かる
0118デフォルトの名無しさん2013/03/20(水) 23:58:03.38
マウスはともかく、eclipse の機能の豊富さはたいしたものだよね。明らかに並のプログラマーをパワーアップさせてくれる。
0119デフォルトの名無しさん2013/03/21(木) 00:57:29.50
Emacs24.3ではcl-lib.elが標準で付いてくるらしい。

逆にCommon LispによるEmacs Lispの実装があれば
今までのelisp資産を生かしたままに現代的なLispの開発がしやすくなるのに。
0120はちみつ餃子 ◆8X2XSCHEME 2013/03/21(木) 07:34:10.12
Emacs Lisp と言えば、 Guile2 が Emacs Lisp をサポートっていうのは何かの布石なのだろうか。
0121デフォルトの名無しさん2013/03/21(木) 12:17:08.17
GNUってUNIXをベースに開発言語をCとLispにしたものを作る
ってのがコンセプトだったと記憶してるんだけど。
ストールマンが生きてる間に完成するのかな。
0122デフォルトの名無しさん2013/03/21(木) 12:47:28.04
ちゃうやろ
0123デフォルトの名無しさん2013/03/21(木) 13:47:11.67
GNU宣言（GNU Manifesto 1993年改訂）− 日本語版 −
GNUは、Unixのプログラムを実行できるようにするつもりだが、Unixとは同一
のものにはならない。(略)おそらく最終的には、いくつかのLispプログラム
と通常のUnixプログラムが1つの画面を共有できるようなLispベースのウィン
ドウ・システムを作る予定である。システム・プログラミング言語としては、
C言語とLispの両方が使用可能になるだろう
http://www.gnu.org/japan/manifesto-1993j-plain.html
0124デフォルトの名無しさん2013/03/21(木) 15:00:25.82
１９９３年か
古いな
今だったらC++とPythonかJavaScriptだろう
0125デフォルトの名無しさん2013/03/21(木) 15:16:46.42
C++ならまだしもJSはいやずら
0126デフォルトの名無しさん2013/03/21(木) 15:35:19.79
guile上に全てのスクリプト言語を再実装する予定だった。
初期の配布にはAlgol風の言語のparserが含まれていたはず。
0127はちみつ餃子 ◆8X2XSCHEME 2013/03/21(木) 15:48:41.85
じゃあ Guile って GNU 的には結構な重要ポジションじゃないの
0128デフォルトの名無しさん2013/03/21(木) 18:19:00.32
ストールマン当時としてはずば抜けたプログラマだったけど
C言語に固執してC++を受け入れず
GCC開発陣を苦しめたり
時代おくれな人になってしまったな
0129デフォルトの名無しさん2013/03/21(木) 18:25:36.58
>>119
>今までのelisp資産
めぼしいのあるか・・？
0130はちみつ餃子 ◆8X2XSCHEME 2013/03/21(木) 19:07:36.44
Emacs Lisp で書かれたものの方が Common Lisp で書かれたものより多いくらいじゃないかと思うけど
0131デフォルトの名無しさん2013/03/21(木) 19:41:16.78
>>130
多いかもしれんが, emacs の buffer edit 機能に頼りきってるアプリが多すぎて
CL的に emacs を実装して互換ライブラを誰かが作らないと無理ちゃう?
0132デフォルトの名無しさん2013/03/21(木) 19:48:14.94
BASIC全滅宣言の1993年には蹂躙し放題だっただろうな。
復讐は予測しておくべきだった。
0133デフォルトの名無しさん2013/03/21(木) 20:08:05.99
全滅宣言って何？
0134はちみつ餃子 ◆8X2XSCHEME 2013/03/21(木) 22:17:40.16
>>131
xyzzy がほぼ Common Lisp な拡張言語でうまくやってる実績があるわけだから、
Common Lisp ベースなテキストエディタは可能ではあるだろ。
ただ、 Emacs Lisp と共存ってなるとかなり無理はあるよなぁ。
0135デフォルトの名無しさん2013/03/21(木) 22:18:28.57
偉大なるBASIC。それはSmalltalkを初めて記述した言語であり、
あの世界のポール・グレアムが最初に学んだ言語でもある。
0136デフォルトの名無しさん2013/03/21(木) 22:22:09.62
CMU Common Lispには15年は前から、Emacsライクなエディタあるけど全然流行らないよな。
0137デフォルトの名無しさん2013/03/21(木) 22:29:51.30
>>124
1993年は改訂であって、オリジナルは1985年
>>123の部分は特に変わっていないはず
0138デフォルトの名無しさん2013/03/21(木) 22:42:48.26
「emacsの利点マイナスemacsを覚えるコスト」を超えるアドバンテージを提供するlisp系言語の統合開発環境はまだない
0139デフォルトの名無しさん2013/03/21(木) 23:23:15.68
>>136
Likeなだけで使い勝手良いかと言われたらうーむな感じ
LispworksのIDEも微妙
アレグロさんは良いけど個人で買うにはめんどくさすぎる
0140デフォルトの名無しさん2013/03/22(金) 01:06:37.48
guileによるEmacsの実装（死んでる）
ttp://www.mit.edu/~raeburn/guilemacs/

CL+CLIMによるEmacsの実装（死んでる）
ttp://common-lisp.net/project/climacs/

死屍累々www
0141デフォルトの名無しさん2013/03/22(金) 03:30:18.86
DrRacketはデバック機能が便利なので時々使う
0142デフォルトの名無しさん2013/03/23(土) 00:50:02.04
別言語で再実装じゃなくてemacsにもう一つ別言語の処理系を乗せるというのはどうだろう。
0143デフォルトの名無しさん2013/03/23(土) 01:12:44.31
地獄の始まり
0144デフォルトの名無しさん2013/03/23(土) 12:19:03.31
https://github.com/darius/escheme
Elisp で実装された Scheme
0145デフォルトの名無しさん2013/03/23(土) 17:11:10.07
call/ccもないのにschemeとな
0146デフォルトの名無しさん2013/03/26(火) 03:41:27.83
emacsの機能を削っていくだけでも軽くて性能のよいモノができそうだと思うのは私だけでしょうか
0147デフォルトの名無しさん2013/03/26(火) 04:03:29.23
具体的にどの辺の機能がいらないですか？
0148デフォルトの名無しさん2013/03/26(火) 13:36:44.00
ドクター
0149デフォルトの名無しさん2013/03/26(火) 14:25:15.81
>>147
使ってる機能を列挙した方が早いと思う
0150デフォルトの名無しさん2013/03/26(火) 16:09:44.66
思われても困るんだよな。
0151デフォルトの名無しさん2013/03/26(火) 17:10:27.70
そんなとこにしか絡めないのか
0152デフォルトの名無しさん2013/03/26(火) 17:44:36.04
自分の中でぼんやりと形作られていても
その形を指すだけでは他人には伝わらない
0153デフォルトの名無しさん2013/03/26(火) 18:00:29.41
ここまで全部ドクター
0154デフォルトの名無しさん2013/03/26(火) 18:28:56.17
ところがドクターを削っても全く軽くなら無い
0155デフォルトの名無しさん2013/03/26(火) 18:40:01.25
org-modeとかpackageとかいらないな
0156デフォルトの名無しさん2013/03/26(火) 19:25:09.15
org-modeなかったら今の使い方で三割くらい俺割を食うな
大抵のレポートはorg-modeだけで十分書ける。
0157デフォルトの名無しさん2013/03/26(火) 19:45:27.22
emacs の素敵なところは, lisper じゃない人たちが
やたら無駄な努力を費やして *mode を作ってくれることじゃないか?
俺は elisp で世間様に公開できるようなものは作った記憶がない
0158デフォルトの名無しさん2013/03/26(火) 21:21:56.54
emacsのスレで話した方がよいんじゃないのか？
emacs（向けとしか言いようが無い）の機能を削ってlispをよくしたいってことなのかい？
0159デフォルトの名無しさん2013/03/26(火) 21:34:41.60
>>157
プログラミング言語用のモードのこと言ってるの?
0160デフォルトの名無しさん2013/03/26(火) 22:45:51.32
DrSchemeでelisp動くといいなあ
0161デフォルトの名無しさん2013/03/27(水) 03:22:26.66
>>158
lisp用の統合開発環境のことかと
0162はちみつ餃子 ◆8X2XSCHEME 2013/03/27(水) 11:36:18.52
どうして Windows 版の Emacs だけ barebin パッケージがあるの？
0163デフォルトの名無しさん2013/03/27(水) 18:44:57.28
Windowsは買った状態で開発環境(gccとmake)が付属してないから
0164デフォルトの名無しさん2013/03/31(日) 13:55:39.35
メモリー1.5GのノートPCでDrRacketのステップラインデバック機能つかったら
ステップ１つ進めるのに３分ぐらい待つ

何か設定でメモリー使用量を減らせないのだろうか
0165デフォルトの名無しさん2013/03/31(日) 14:28:36.78
逆にメモリ使用量を増やせばいいのでは？
0166デフォルトの名無しさん2013/03/31(日) 19:33:47.41
渋谷Lisp　Gaucheナイト　みたいなイベントってもうないの？
0167デフォルトの名無しさん2013/03/31(日) 20:27:57.76
http://lists.racket-lang.org/users/archive/2010-July/040462.html
0168デフォルトの名無しさん2013/03/31(日) 21:53:36.69
渋谷Lispは再始動しそうな感じがなかったっけ？
0169デフォルトの名無しさん2013/03/31(日) 22:03:44.66
ひげ太郎はアメリカに行ったんじゃなかったっけ？
0170デフォルトの名無しさん2013/03/31(日) 22:38:10.73
>>161
それ書くのはLisperでしょ。
0171デフォルトの名無しさん2013/04/01(月) 06:33:01.85
syntax-parameterize
ってどういう意味の構文なのでしょうか
matchマクロを展開したもの眺めてるのですが、ここがわからない
0172はちみつ餃子 ◆8X2XSCHEME 2013/04/01(月) 07:58:00.68
ざっと見た感じ、 parameterize をマクロ展開時にやるバージョンってだけのものだと思うが…。
0173デフォルトの名無しさん2013/04/02(火) 08:43:30.83
(begin
1
(when false 2)

は１にならないの？
昔のRacketがそんな感じだった気がしたのだけど
0174デフォルトの名無しさん2013/04/02(火) 09:23:08.10
そういうのは #<void> とか #<undef> とか返す
0175デフォルトの名無しさん2013/04/02(火) 10:31:59.35
http://www.cs.utah.edu/plt/publications/gpce12-rf.pdf
0176デフォルトの名無しさん2013/04/02(火) 14:32:05.33
perlじゃないんだから
0177はちみつ餃子 ◆8X2XSCHEME 2013/04/02(火) 15:21:59.86
>>173-174
規格としては未定義。
何らかの値が返ってくることを期待したコードを書いちゃダメ。
とは言え、 REPL のことを考えたらクラッシュ上等ってわけにもいかないし、
意味不明な挙動をしても困るので、
未定義を表すオブジェクトを返す実装は多い。

直前の式の評価結果がたまたまスタックに残ってて返ってきてしまうような実装は有り得るけど、
処理系の公式な仕様ってことはまず無いと思われる。
0178デフォルトの名無しさん2013/04/02(火) 22:12:28.60
真面目な処理系は未定義のために #<undef> オブジェクトを返す、って相当間抜けな状況だ
0179デフォルトの名無しさん2013/04/02(火) 22:36:21.58
そもそもundefは定義域から外れたというエラーなんだから返り値というのはおかしい
例外の一部とすべき
0180はちみつ餃子 ◆8X2XSCHEME 2013/04/02(火) 23:55:46.86
REPL でちょっと (副作用を期待して返り値がどうでもいい) 式を評価してエラーになるのもウザいじゃん。
0181デフォルトの名無しさん2013/04/03(水) 00:34:15.47
#<undef>は未定義値だろ。
0182デフォルトの名無しさん2013/04/03(水) 01:48:33.28
未定義は、引数が定義域の外にあるという意味なんだから、関数の値として未定義が返ってくるのは納得いかない
逆に、未定義を関数の値域の中の値とするなら、未定義の定義そのものと矛盾するからまた納得いかない
0183デフォルトの名無しさん2013/04/03(水) 01:51:50.28
なので、未定義ではなく未実装にすべき
未定義は例外として関数の値域の中の値とは区別すべき
未実装なら値域のどれかの値を取り得る可能性があるが、未定義は値域の値のどれをも代表しない
0184デフォルトの名無しさん2013/04/03(水) 02:16:15.08
>>183
規格として未定義なんだが。
実装は何を返そうとかまわんよ。
それに依存したコードを書いたら他で動くことが期待できんだけ。
0185デフォルトの名無しさん2013/04/03(水) 05:33:41.09
>>182
>未定義は、引数が定義域の外にあるという意味

の出典を知りたい。
0186デフォルトの名無しさん2013/04/03(水) 08:34:02.82
>>175
>http://www.cs.utah.edu/plt/publications/gpce12-rf.pdf
マクロつきのJavascriptって感じか？
0187デフォルトの名無しさん2013/04/03(水) 10:20:42.08
RnRS的にはundefinedじゃなくてunspecified (未規定) と言った方が正確かな。
0188デフォルトの名無しさん2013/04/03(水) 19:31:30.68
ドメインの外から飛んできたという意味なのか、コドメインの中のモノを出すけどまだ特定できてないだけなのか
0189デフォルトの名無しさん2013/04/03(水) 22:36:40.46
未定義な値や状態を陽に扱わないといけない場合もあります。
その典型例がIEEE 754のNaNやC99のfetestexcept(3)。

処理系やライブラリの実装者としては
できるだけ自分の庭の中で処理したくなるのは当然です。

>>182-183
3-Lispはその辺をもうちょっと厳密にやってました。

>>179
値だろうと例外だろうと、ドメインをリフトしない限り、
特別な値/例外を扱う、つまりドメインに埋め込みでやらざるを得ないです。
0190デフォルトの名無しさん2013/04/05(金) 17:24:15.48
ごく単純な疑問なのですが、Gauche で準引用を試してみたところ

gosh> `(1 ,(append '(+ 2) '(3)) 3)
(1 (+ 2 3) 3)
gosh> `(1 ,(+ 2 3) 3)
(1 5 3)
gosh>

こうなるのですが、仕様的にはどういう説明になるのでしょうか？
個人的にはどちらも (1 5 3) になるべきな気がするのですが……
上の方の (+ 2 3) はリストで下の (+ 2 3) は procedure call
などというのは、概念的に変ではないかと
0191デフォルトの名無しさん2013/04/05(金) 17:30:56.52
(append '(+ 2) '(3))
(+ 2 3)
切り出して考えろよ　結果わかるだろ
0192デフォルトの名無しさん2013/04/05(金) 17:43:38.73
いえ、 `, の組み合わせというのは継続部の評価の実行を意味するものではないのでしょうか？

(eval (append '(+ 2) '(3)) (scheme-report-environment 5))　

なら結果は５ですよね？
0193デフォルトの名無しさん2013/04/05(金) 18:23:37.94
これとの違いをゆっくり考えてみて。
`(1 ,(eval (append '(+ 2) '(3)) (scheme-report-environment 5)) 3)

それから>>191ももう一度読んでみよう。
0194デフォルトの名無しさん2013/04/05(金) 19:53:27.49
皆さんの言うこともわからないでも無いのですが、下の挙動を見てると
どうにも気色悪いとしか……

gosh> (eval (+ `,(append '(+ 2) '(3)) 1) (scheme-report-environment 5))
*** ERROR: operation + is not defined between 1 and (+ 2 3)
Stack Trace:
_______________________________________
gosh> (eval `,(append '(+ 2) '(3)) (scheme-report-environment 5))
5
gosh>
0195デフォルトの名無しさん2013/04/05(金) 20:00:37.23
>>194
何が分からないでもないの？なぜ自分の思いこみを疑わないの？
0196デフォルトの名無しさん2013/04/05(金) 20:20:23.72
一度 eval されたら、引数自体だけでなく、引数の引数までも全て eval されなければならない、
みたいな謎の信仰を抱えてそう。
0197デフォルトの名無しさん2013/04/05(金) 20:32:21.39
(+ '(+ 2 3) 3)
これはまずいわな。
(+ (+ 2 3) 3)
との違いがわからないんだな。
S式がメタな構造であることがまだざっくりとしか理解できてない。

それから整定数が(eval x) == xであることにもまだ自覚的でないから、
backquoteが展開される時に1と3はquoteされてることにもたぶん気づいてない。

>>196
その逆で自分の気にいるところまで結果を再度evalして欲しいんでしょ?

(list '1 (append '(+ 2) '(3)) '3)の結果が、
(list '1 (+ 2 3) '3)の結果と一緒であって欲しい。
つまり(+ 2 3)をもう一度evalして欲しい。
0198デフォルトの名無しさん2013/04/05(金) 22:45:20.51
実は
(eval '(append '(+ 2) '(3)) (interaction-environment))
を評価すると結果は
(+ 2 3)
になるんだよ　すごいね！
これが>>190の一つ目の挙動なんだ
0199デフォルトの名無しさん2013/04/06(土) 07:29:36.07
RacketのC++インターフェイス作ろうみたいな話題がMLで出てるけど
boost.pythonみたいなもの作ろうとかしてるの？
0200デフォルトの名無しさん2013/04/06(土) 10:13:05.30
foreign function interface でなく？
0201はちみつ餃子 ◆8X2XSCHEME 2013/04/06(土) 13:07:18.09
へー。 そんな話題が出てるんだ。
C++ は C と違って ABI がややこしいからめんどくさそう。
0202デフォルトの名無しさん2013/04/06(土) 14:59:17.60
>>199
C++ って, 処理系によってとかおなじ処理系によってもバージョン単位で
ABI 違ってたりすることもあるんだけど, C++ そのまま呼ぶわけじゃない
よね?
0203デフォルトの名無しさん2013/04/06(土) 17:25:36.52
バージョンに依存すれば良いじゃない > ABI
Cじゃあるまいし、C++なんてそんなもんですよ
0204はちみつ餃子 ◆8X2XSCHEME 2013/04/06(土) 20:26:52.09
gcc と足並みを揃えるのは面倒そうだなぁ。
でも gc が既に結構アーキテクチャ依存っぽいし、今更か。
0205デフォルトの名無しさん2013/04/06(土) 20:46:19.65
http://d.hatena.ne.jp/moriyoshi/touch/20091214/1260779899
Boost.Pythonはこんなものらしい
0206デフォルトの名無しさん2013/04/07(日) 03:06:32.19
schemeをC言語にコンパイルするシステムを作る方向でやればいいと思う
バイナリを作るときはそのC言語のコードをコンパイルするというスタイルで
昔smalltalkでやって完成したから、schemeでもできるはず

schemeの処理系はschemeで表現できるから、これができれば一気に処理系が精錬されるはず
0207はちみつ餃子 ◆8X2XSCHEME 2013/04/07(日) 03:31:15.44
C を経由する処理系というと gambit, bigloo, chicken, rhizome/pi, stalin くらいか。
他にある?
0208デフォルトの名無しさん2013/04/07(日) 06:41:44.41
Scheme48もブートストラップの部分はSchemeからCへコンパイルする。
もうメンテされてないのまで含めれば、Scheme->CとかHobbit (SCMのコンパイラ)とか、vscmもそうだったかな。
Cを経由する処理系はたくさんあるよ。

ただ、継続の扱いによってCとのインタフェースに違いが出てくるから、単に「C経由してるから
Cから呼ぶのも簡単」というわけにはいかない。
0209デフォルトの名無しさん2013/04/07(日) 06:53:23.11
CやC++で作られたScheme処理系で一番ソース読みやすい単純なものって
どれになるんですか？
0210はちみつ餃子 ◆8X2XSCHEME 2013/04/07(日) 09:39:15.66
chibi-scheme じゃないかなぁ。
0211デフォルトの名無しさん2013/04/07(日) 12:42:04.23
tinyScheme
0212デフォルトの名無しさん2013/04/07(日) 13:56:44.16
g++のABIは3.3以前のと3.4以後の2つしかないよ。
今は事実上3.4以降のABI version 2しかないと思っていい。
オプション指定するとABI壊すコードも吐けるけど。-no-exceptionとか。
これはそうしたい環境があるんだからg++としてはサポートせざるを得ない。
0213デフォルトの名無しさん2013/04/07(日) 17:57:18.24
素数夜曲読み始めたが言い本だな
0214デフォルトの名無しさん2013/04/07(日) 18:38:37.40
>>206
> これができれば一気に処理系が精錬されるはず

SmalltalkっていうかSqueakのアレは、アラン・ケイたちがVMを全面的に書き直す必要に
迫られながらも、Cで（書くのはともかく）デバッグはしたくないという状況下での苦肉の策であって
http://www.mars.dti.ne.jp/~umejava/smalltalk/squeak/

処理系を洗練させる目的とは違うような気がする。
0215デフォルトの名無しさん2013/04/07(日) 19:31:27.01
>>214
バカ大学生たちがschemeで作ったscheme処理系をナメてはいけない
0216デフォルトの名無しさん2013/04/07(日) 22:26:27.78
Smalltalkって最初はBASICで実装されたのなｗ
信じられないような本当の話。
0217デフォルトの名無しさん2013/04/07(日) 23:03:27.27
http://stackoverflow.com/questions/2610716/small-readable-scheme-interpreter-in-c
0218デフォルトの名無しさん2013/04/09(火) 00:00:11.53
http://stackoverflow.com/questions/459323/what-is-the-best-scheme-or-lisp-implementation-for-os-x

こんな曖昧な質問でもコメント沢山つくんだな
面白かったけど
0219デフォルトの名無しさん2013/04/09(火) 01:29:07.61
日本語でおk
0220デフォルトの名無しさん2013/04/09(火) 22:48:13.59
cffiのあるscheme処理系はいろいろあるけど
templateで書かれたC++関数を呼んでくれる処理系ってないのでしょうか

template<typename T>
T f(T x){return x;}

みたいな関数をffiから呼びたい
0221デフォルトの名無しさん2013/04/09(火) 22:54:36.50
単に呼べれば良いなら、extern "C"でラッパー書けば良いんじゃないの。
直接呼びたいとか面倒そうなこと考えてるなら、頑張ってください。
0222デフォルトの名無しさん2013/04/09(火) 23:18:46.59
template<typename T>
T f(T x){return x;}

を一度特殊化した後ならどの処理系も読める

f<int>(x)

とか。
0223デフォルトの名無しさん2013/04/09(火) 23:23:38.04
？
0224はちみつ餃子 ◆8X2XSCHEME 2013/04/10(水) 00:33:26.78
>>220
無茶だよ。 その時点では実体化されてないんだから。
0225デフォルトの名無しさん2013/04/10(水) 09:55:42.07
chickenのeasyffiにtemplateの記述があるけど
例は実体化した関数だけだから駄目な予感が
0226デフォルトの名無しさん2013/04/14(日) 20:10:13.86
iPhoneアプリ. Windowsアプリを売って生き残れ Ver 1.7 リンク数61
Hｔｔｐ:／／qr.　net/kh4y
0227デフォルトの名無しさん2013/04/15(月) 05:29:24.06
正規表現にグローバルマッチがないorz
0228デフォルトの名無しさん2013/04/16(火) 02:06:42.71
欲しい機能がないと愚痴をこぼしたときに、探し方が悪いと返答されるところまでなら納得できるが、
ないなら勝手に作れという返答まで出てくるのでLISPコミュニティは嫌いです
0229デフォルトの名無しさん2013/04/16(火) 02:12:11.27
どうぞどうぞ
0230デフォルトの名無しさん2013/04/16(火) 02:35:04.19
変人多いしね
0231デフォルトの名無しさん2013/04/16(火) 11:31:36.75
他の言語と違って、欲しい人が欲しいものを、言語実装者と同じレベルで作り込める環境があるからねぇ。
欲しいものが無いなら作ればいいんじゃね？
0232はちみつ餃子 ◆8X2XSCHEME 2013/04/16(火) 11:33:24.73
よく探せば間違いなくあるってのなら探し方が悪いと返答するかもしれんが、
実際に無いことが多いんだもの。
0233デフォルトの名無しさん2013/04/16(火) 13:47:27.16
探している本人にはそりゃ必要に思えるんだろうけどねー
1スレ埋めるより作った方が早くない？って感じで
0234デフォルトの名無しさん2013/04/16(火) 14:57:40.52
主要言語がライブラリでサポートしてる機能がないとがっかりする
ライブラリ設計時に他の言語を参考にしてないのだろうか
0235デフォルトの名無しさん2013/04/16(火) 21:28:10.65
主要言語は企業からの払い下げが多いかったり、企業が保守のコアメンバに入ってるから比べるのは酷
LISPは軍事研究から大学の研究室に解放するときに、ライブラリのいくつかを機密にしてしまったため、ライブラリのいくつかは一から作り直すハメになったという
0236デフォルトの名無しさん2013/04/16(火) 22:39:40.01
マッカーシーさんもびっくりやなw
0237はちみつ餃子 ◆8X2XSCHEME 2013/04/16(火) 23:42:14.98
>>235
それどこ情報よー
0238はちみつ餃子 ◆8X2XSCHEME 2013/04/17(水) 12:36:20.31
Gauche のリポジトリがとうとう github に移行した。
http://sourceforge.net/mailarchive/message.php?msg_id=30733568
0239デフォルトの名無しさん2013/04/17(水) 18:59:20.53
Gaucheって以前スレがあったような気がするんですが無くなったんですか？
覚え違いかな
0240デフォルトの名無しさん2013/04/17(水) 21:58:47.79
land of lisp日本語版買って5月連休1週間集中で読もうと思ってるんですけど、文章量的にざっくりした話で、

・到底無理
・図表が多いのでページ数の割りに楽勝
・主要部分だけなら十分いける

くらいの感じで言うとしたらどんなもんでしょう＞持ってる方
0241デフォルトの名無しさん2013/04/17(水) 22:38:00.31
今まで読んだLispの本は？
どんなLispプログラムを書いたことがある？
0242デフォルトの名無しさん2013/04/17(水) 22:56:09.49
一日でイナフ
0243デフォルトの名無しさん2013/04/17(水) 23:17:13.87
>>240
読めるよ。でも、手を動かしながら読まないともつたいないよ。
02442402013/04/17(水) 23:17:57.67
lisp経験皆無、elispを設定の必要に駆られてコピペした位です。
HaskellとMLで関数型言語に対する壁はないのですが…
0245デフォルトの名無しさん2013/04/18(木) 08:52:22.59
>>240

その本、おもしろい　大笑いしてしまう
電車の中で読むときは注意
0246デフォルトの名無しさん2013/04/18(木) 11:04:24.23
俺って「数学ガール」とか「スモールコンパイラの制作で学ぶプログラムのしくみ」を読むとイライラしちゃうような人なんだよな。
真面目に考えてるところに余計な物語が入り込んできて思考をぶつ切りに中断させられるのがウザくて仕方がない。
Land of Lisp にも同じ匂いを感じるので今のところ敬遠してるんだけど、
物語部分と説明部分がうまく馴染んで滑らかに繋っているなら楽しく読めそうだとも思っているので、
そういう観点で見てどう思うかを尋きたい。
0247デフォルトの名無しさん2013/04/18(木) 14:34:26.36
わかる。
0248デフォルトの名無しさん2013/04/18(木) 14:35:21.78
>>246
ギャル絵が無いから大丈夫かも？
無いよね？
0249デフォルトの名無しさん2013/04/18(木) 14:47:16.21
ttp://nostarch.com/download/Lisp08.pdf

Wow　絵しかないページがある
0250デフォルトの名無しさん2013/04/18(木) 15:25:48.93
小説的にストーリー挟むというより、ジョークの小ネタを挟んでくる感じ。
0251デフォルトの名無しさん2013/04/18(木) 16:53:34.25
Lispあるあるとかプログラミングあるあるとか挟んでくるのかｗうっとーしーな
0252デフォルトの名無しさん2013/04/18(木) 18:15:04.85
お前のほうが鬱陶しいわ。人に相談することかよ。
0253デフォルトの名無しさん2013/04/18(木) 21:31:55.46
俺って〜な人なんです

という文の破壊力ってなんなの
0254デフォルトの名無しさん2013/04/18(木) 22:01:31.03
let over lambdaのweb版ってどうなってるんですか
いま見たら404 not foundになってて悲しいんですけど
ttp://letoverlambda.com/
http://web.archive.org/web/*/http://letoverlambda.com/
0255はちみつ餃子 ◆8X2XSCHEME 2013/04/20(土) 01:18:42.87
R7RS の投票が始まったらしいよ。
0256デフォルトの名無しさん2013/04/20(土) 02:19:12.04
なんか前にも投票してなかったっけ？
どういう手続きで決めることになってんのかわからん。
0257デフォルトの名無しさん2013/04/20(土) 02:20:42.67
R5RSにどんな問題があるのか未だに分からない
0258デフォルトの名無しさん2013/04/20(土) 10:35:13.26
どんどん仕様が大きくなるのが悲しい
むしろシェイプアップしていくべき
0259デフォルトの名無しさん2013/04/20(土) 11:26:19.45
そもそもR5RSで困ってる人っているの？
0260デフォルトの名無しさん2013/04/20(土) 17:24:24.21
>>259

規格としてモジュールがなかったんで困った。
GaucheがデファクトスタンダードだったけどR7RSで決まったら
それが以後、維持されていってほしい。
0261はちみつ餃子 ◆8X2XSCHEME 2013/04/20(土) 17:41:20.55
モジュールシステムの規格化は Scheme 使いにとっての悲願である。

あと、マクロを生成するマクロで省略子を使えない場面があるのも問題視されてた。
R6RS では (... ...) と書いて展開を抑制する (要はエスケープ) ことで解決してたんだけど、
R7RS (ドラフト) では省略子として使う識別子を別途与える方式。
どちらがいいかは色々意見はあると思うが、 R6RS からあえて変えるほどのものとは思えないんだよな。
0262デフォルトの名無しさん2013/04/20(土) 22:26:17.07
typed racketがちゃんと動くようになったらHaskell勉強する意味がなくなる気がする
0263デフォルトの名無しさん2013/04/20(土) 23:06:41.44
むしろ、マクロを仕様から外してほしいと思うのは俺だけか
0264デフォルトの名無しさん2013/04/20(土) 23:16:10.34
http://wiki.call-cc.org/programming-for-performance
ここに書いてあるように型を手動指定したんだけど
全然高速にならない
型を手動指定したら高速になるような例って
どんなのあるのでしょうか
0265デフォルトの名無しさん2013/04/20(土) 23:26:41.23
型ヒントつけて高速になるのはプリミティブの数値計算くらいじゃね？
0266デフォルトの名無しさん2013/04/21(日) 00:07:47.44
Typed Racket も素の Racket より遅かったような
0267デフォルトの名無しさん2013/04/21(日) 00:19:21.39
uniform-vectorで行列計算でもすればいいのでしょうか？
0268デフォルトの名無しさん2013/04/21(日) 04:02:06.43
実装を見ると変数のタグを見て適用する関数を振り分けてる
そこをソースコードで指示してショートカットしても大して速度向上するとは思わない

携帯端末とかで空間効率を上げるというなら分かるが
0269デフォルトの名無しさん2013/04/22(月) 01:10:44.95
つまり最近のScheme処理系は、かなり効率的な型推論を組み込んでしまってるわけですね
0270はちみつ餃子 ◆8X2XSCHEME 2013/04/22(月) 01:14:11.09
全然つまってない件
0271デフォルトの名無しさん2013/04/22(月) 01:35:06.40
typed racketでやってるのは、型ヒント付けてプリミティブにしたり型チェックしないようにするのではなく、検査で遅くなるような処理だったと思う。
0272はちみつ餃子 ◆8X2XSCHEME 2013/04/22(月) 17:31:56.46
assertion の一種って感じ？
0273デフォルトの名無しさん2013/04/23(火) 00:38:49.84
typed racket 勉強したら型付きλ計算分かるようになる？
0274はちみつ餃子 ◆8X2XSCHEME 2013/04/23(火) 00:47:00.96
ならない。
0275デフォルトの名無しさん2013/04/23(火) 01:07:44.19
えーそうなの？
0276デフォルトの名無しさん2013/04/23(火) 02:47:24.85
理論的には、λ計算は基本的に全部型付きλ計算なんだけどね
0277デフォルトの名無しさん2013/04/24(水) 01:32:53.05
電子計算機出来る前から型という概念があったの？
0278デフォルトの名無しさん2013/04/24(水) 02:38:26.86
あったの
0279デフォルトの名無しさん2013/04/24(水) 10:25:48.21
http://docs.racket-lang.org/ts-guide/optimization.html
あら、typed racketにもオプティマイザー(デフォルト:オン)があって潜在的に速くなるって書いてある。
ということは実装がまだまだなのかな？

http://docs.racket-lang.org/ts-guide/more.html
#lang typed/racket で切り替えるせいか、アノテーションもスッキリしてるね。
0280デフォルトの名無しさん2013/04/24(水) 11:23:19.10
>>277
素朴集合論により導入された矛盾を除去するためのタイプ理論。
0281デフォルトの名無しさん2013/04/24(水) 12:55:55.44
>>278 >>280
トン。やっぱプログラミングは数学やん‥
0282デフォルトの名無しさん2013/04/24(水) 12:57:58.47
現実世界も数学ですやん
0283デフォルトの名無しさん2013/04/24(水) 13:23:07.09
>>276
型のない（というか静的に付けられない）λ計算だってあるやん。
Y コンビネータが有名だけど。
0284デフォルトの名無しさん2013/04/24(水) 13:46:01.21
>>282
せやせや。俺もおまいも数学やがな。
0285デフォルトの名無しさん2013/04/24(水) 14:04:44.63
>>281
プログラミングと数学とが繋がってるのは必然。
計算不可能な領域が有ることが判った後、では計算可能な領域とはどの辺り
なのかを検証しようとした結果、今のアーキテクチャが出来たんだから。
0286デフォルトの名無しさん2013/04/24(水) 15:15:09.80
文系高卒の俺には理解できない領域だ…
0287デフォルトの名無しさん2013/04/24(水) 22:21:16.18
結局、型はドメインのことだからな…

むしろ、計算機プログラムの分野が null を発明したせいで型の厳密性があやふやになった
0288デフォルトの名無しさん2013/04/25(木) 01:01:18.35
SD5月号の推薦図書特集で、英語の講義ビデオや輪講参加できるならSICP、独習するなら素数夜曲(付録パート)というオススメがあったよ。
0289デフォルトの名無しさん2013/04/25(木) 01:17:07.97
独習ならそうだねえ
説教の部分だけざっと読んで感動してすませるのもよし
0290デフォルトの名無しさん2013/04/25(木) 02:07:19.90
SICPはscheme処理系自作への入門が載ってる点が優れている
0291デフォルトの名無しさん2013/04/25(木) 07:22:43.82
>>287
もっとあやふやなチャーチ数の方が古いです。
0292デフォルトの名無しさん2013/04/25(木) 07:54:30.36
場違いな話で1人盛り上がられてもね
0293デフォルトの名無しさん2013/04/25(木) 09:51:27.43
場違いかもしれないけど、SICPの講義ビデオの字幕つきってありますか？
0294デフォルトの名無しさん2013/04/25(木) 09:52:11.67
あ、日本語のです。
0295デフォルトの名無しさん2013/04/25(木) 10:39:19.90
これからMITの授業受けようってやつに字幕要るかね。
0296デフォルトの名無しさん2013/04/25(木) 10:43:00.73
youtubeに突っ込めば字幕付くんじゃない?
英語は結構いい感じになってきているし。
0297デフォルトの名無しさん2013/04/25(木) 19:46:23.55
>>290
あの本そんな面白そうな話が載っているのか。原書買って積んでたけど、開いてみるか…
0298デフォルトの名無しさん2013/04/25(木) 20:00:03.10
「自作への入門」っていうわかりやすい感じには書いてないけどなw
0299デフォルトの名無しさん2013/04/25(木) 21:10:18.23
>>298
ジェネリック型や amb や 遅延ストリームの説明するついでに実装しちゃったという感じ
0300デフォルトの名無しさん2013/04/25(木) 22:29:21.80
わたしたちのオーム社さんに Lisp in Small Pieces の邦訳版を出してもらおう
新版出てるの出てないのって話もあったような
0301デフォルトの名無しさん2013/04/25(木) 22:57:00.62
>>295
これからMITの授業受けようという人が講義ビデオを見るのかね？
0302デフォルトの名無しさん2013/04/26(金) 03:05:40.06
ambの引数に他で定義したlistもってくるにはどうすればいいの？
(amb-collect
(let* ((y (list
(list 1 2 3 4 5 11)
(list 6 7 8 9 10 4)))
(x (list
;(apply (cons amb (list-ref y 0)))
;(apply (cons amb (list-ref y 01))
(amb ,@(list-ref y 0))
(amb ,@(list-ref y 1))
)) )
(if (not (= (+ (list-ref x 0) (list-ref x 1) ) 15))
(amb)
(list (list-ref x 0) (list-ref x 1)
))))
0303デフォルトの名無しさん2013/04/26(金) 03:30:39.94
SICPの和田訳を簡単な日本語に訳した本が欲しい
0304デフォルトの名無しさん2013/04/26(金) 04:59:48.06
現代語訳 SICP w
0305デフォルトの名無しさん2013/04/26(金) 10:10:20.15
Land of Lispじゃだめなん？
0306デフォルトの名無しさん2013/04/26(金) 18:37:52.96
>>291
チャーチ数とかラムダ式使った諸々、あとコンビネータとかも、定義通り計算すれば言ってる事は分かるけど、
こんなもんどうやって思いついたんだろうとか思ってしまう。

経緯とか元ネタとかアイデアの素とか分かる本とかサイトとかないですか。
lispっぽく無いからここでその手の話は止した方がいい？
0307デフォルトの名無しさん2013/04/26(金) 18:59:01.89
悪くないと思うけど。他に適当なスレもないし。

基本的にどの本もカッチリ理論を攻めていて、緩〜く解説した本ってあまりないんだよね。
0308デフォルトの名無しさん2013/04/26(金) 19:02:50.93
>>307
学習者の理解レベルに応じて、記述範囲・詳細度が動的に変化するテキストを作るんだ！
これくらいやって始めて、電子書籍と呼べる。
0309デフォルトの名無しさん2013/04/26(金) 19:10:44.55
家族砲の「説明書」かよw
0310デフォルトの名無しさん2013/04/26(金) 21:26:53.57
実用性重視で理論を軽視して設計したC言語には理論を求めないのに、理論を重視して設計したlispには理論を求める不思議
0311デフォルトの名無しさん2013/04/26(金) 21:54:27.72
>>306
もともとチャーチ先生は数学基礎論屋だったから、
数学の基礎付けをするための自分の論理体系を作ろうとしていた。
ところが自分の研究室の学生だったクリーネとロッサーが
その体型に矛盾を見つけてしまったので、
この体系を詳細に調べて、深く掘り下げいこうとした。
その過程で体系の一部分だったラムダ計算だけで充分なことが分かった。
クリーネと共著の論文でチャーチ数を発表してる。

クリーネ自身が「ゲーデルを語る」で話しているが、
チャーチの研究室はチャーチの体系のみ徹底して追及する研究室だったとのこと。
だからこんなに掘り下げることが出来たのだと思う。
上の本にその辺の経緯は少しだけ書いてある。
"The Collected Works of Alonzo Church"は、まだ頓挫中みたい。
0312デフォルトの名無しさん2013/04/26(金) 22:56:09.73
「チャーチ研て、自分とこの理論がバグってたらしいよ」 (ﾋｿﾋｿ
「やだ、恥かしぃ」
「講義ではあんな偉そうに喋ってたのにね」 (ｸｽｸｽ
0313デフォルトの名無しさん2013/04/27(土) 00:21:07.92
>>303
それ欲しい。
0314デフォルトの名無しさん2013/04/27(土) 02:52:29.48
SICP読みなおした
読んで身に付いたこと

機械語やC言語を経由しないプログラミング入門
型にタグ付ける方法
scheme処理系の枠組の実装
ambの実装
遅延評価の実装
和田語
0315デフォルトの名無しさん2013/04/27(土) 03:09:45.96
>>310
lisp=期待される子、ってことでは？
0316デフォルトの名無しさん2013/04/27(土) 11:19:21.20
3 = S(S(S 0)) なので、
3 = λf.λx.(f(f(f x))) S 0
ラムダ計算の変換のみでf^nの部分は生み出せないが、
モデル上では帰納的定義によって構築しておくことが可能。
既に集合論上での自然数の構築の例が複数あるから、;;ノイマン版 ∅, {∅}, {∅,{∅}},...
n = λf.λx.(f(f(f x))) としてしまうことを思いついたのだと思う。
本人の回顧によると、若干のチャーチ先生との議論、後はクリーネがほぼ独力で考えたらしいが、
プリンストンでノイマン、ゲーデルのセミナーを聴いていたので、
素の公理上で自然数のモデルを再帰的に構築する手法は体験済みだった。
http://en.wikipedia.org/wiki/Peano_axioms#Set-theoretic_models
http://en.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers
0317デフォルトの名無しさん2013/04/27(土) 12:15:17.10
マクロが便利だからLisp使ってるだけで
深く考えたことはないな
0318デフォルトの名無しさん2013/04/27(土) 14:24:35.50
>>316

ペアノの公理系とチャーチ数は同じものだと考えていいのかい？
0319デフォルトの名無しさん2013/04/27(土) 14:41:23.87
ペアノの公理系(の自然数の部分):ラムダ計算:チャーチ数 = 仕様:アーキテクチャ:実装
アーキテクチャに合わせた実装。

> ;;ノイマン版 懼, {懼}, {懼,{懼}},...

これが集合論というアーキテクチャに合わせたバージョン。
succも集合演算で定義できる。
0320デフォルトの名無しさん2013/04/27(土) 14:43:56.42
文字化けしちゃった...

ついでに
< n = λf.λx.^n x)
と修正
0321デフォルトの名無しさん2013/04/27(土) 14:48:57.31
S式版
(), (()), (() (())), (() (()) (() (())),...
(defun succ (n) (append n (list n)))
03223062013/04/27(土) 16:53:54.93
>>316
興味深い話題の紹介ありがとう。
なんか数学の世界のマシン語みたいなところだ、喩えが上手くないかもしれないけど。
また面白そうな世界へのドアを一つ開いてしまったか。。
0323デフォルトの名無しさん2013/04/27(土) 17:42:03.22
誰だ！このドア開けっ放しにしたのは
ちゃんと閉じれ。
0324デフォルトの名無しさん2013/04/27(土) 20:54:21.62
　　　　 ＿＿_
　　　／|∧_∧|
　　　||. (･ω･´| >>1乙！
　　　||oと.　 Ｕ|
　　　||　|（__）Ｊ|
　　　||／彡￣ ｶﾞﾁｬ
　　　　 ＿＿_
　　　／|∧_∧|
　　　||. ( 　 　 | じゃ、そういうことで
　　　||oと.　 　|
　　　||　|（__）Ｊ|
　　　||／彡￣ ｶﾞﾁｬ

　　 　　 ＿＿_
　　　　 |　　　 |
　　　　 |　　 o.|
　　　　 |　 　　|
　　　　 |　　　 |
　　　　　￣￣ ﾊﾞﾀﾝ
0325デフォルトの名無しさん2013/04/27(土) 23:14:33.36
lambda ランバダ
0326デフォルトの名無しさん2013/04/27(土) 23:47:15.62
ここらへんの話って、素数夜曲読めばもうちょっと詳しく書いてあるのかな。
0327デフォルトの名無しさん2013/04/27(土) 23:56:58.30
嫌がらせのように詳しく書いてあるよ
0328デフォルトの名無しさん2013/04/28(日) 08:54:25.53
>>319
SICPだとモデルって言ってるね。
計算モデルとか関数適用の置換モデルとか。
>>316のwikipediaでも。
通常、実装はさらに一枚現実側の層だから。
けどこの板は実装と言った方が分かりやすそう。
0329デフォルトの名無しさん2013/04/28(日) 11:22:38.62
なんかオライリーからそのへんをプログラマ向けに解説する本が出るってよ（洋書）。
ttp://shop.oreilly.com/product/0636920025481.do

言語がRubyだが。
0330デフォルトの名無しさん2013/04/28(日) 12:02:46.18
これも気になってるんだが。

Realm of Racket: Learn to Program, One Game at a Time!
http://www.amazon.com/Realm-Racket-Learn-Program-Game/dp/1593274912/
Publication Date: July 5, 2013
0331デフォルトの名無しさん2013/04/28(日) 14:21:41.83
"more fun and accessible with its collection of comics and games"

lolやlearn you a haskell的なノリか
0332デフォルトの名無しさん2013/04/29(月) 15:34:51.06
(define amb-as-function lst)
(amb lst)
)
がうまく動かないのですがマクロを関数化するのってlambdaで囲むだけじゃだめなんですか？
0333はちみつ餃子 ◆8X2XSCHEME 2013/04/29(月) 16:36:45.06
なんか括弧の対応が出来てないけど、そういう話ではなくて?
0334デフォルトの名無しさん2013/04/30(火) 00:58:58.08
>>302
を要約すると
>>332

(define (amb-as-function lst)
(apply (cons amb lst))
)
もうまくいかない
0335デフォルトの名無しさん2013/05/01(水) 01:26:25.20
革命機ヴルヴルヴァイヴ
0336デフォルトの名無しさん2013/05/01(水) 09:51:03.21
>>334
apply の引数たりなくない？
0337はちみつ餃子 ◆8X2XSCHEME 2013/05/04(土) 21:44:17.02
Gauche に R7RS モード入った。
0338デフォルトの名無しさん2013/05/07(火) 09:00:38.05
R7RS ってのはいいものなのかい？
0339はちみつ餃子 ◆8X2XSCHEME 2013/05/07(火) 10:34:47.49
考え方や用途によるんじゃないの。

モジールやレコードを入れるのは順当な感じかな。
syntax-rules の改良は当然必要だからアリだろ。
バイトベクタや例外も細かいことは srfi でいいとしても最低限度の共通化は必要だろうし、こんなもんだろ。

datum labels はコアに入れる必要あるかなぁ? ちょっと微妙な気がする。

#true / #false は余計なマネって感じがしないでもない。
0340デフォルトの名無しさん2013/05/07(火) 10:56:10.78
#数字=に比べたら天国のよう。> datum labels
http://ars.els-cdn.com/content/image/1-s2.0-S1570866708000026-gr003.jpg
こういうの記述したいから。図やコードをschemeで生成するために。
0341デフォルトの名無しさん2013/05/08(水) 19:01:12.44
はちみつSchemeもR7RSになるんか？
0342デフォルトの名無しさん2013/05/10(金) 04:54:24.69
何か特徴のあるscheme処理系つくったら
それだけで、こんな感じで論文にできるものなの？
http://ci.nii.ac.jp/naid/110002726064
本当にそれでいいなら論文量産できそうな予感するのだけど
英語だとどんな雑誌あるんだろ
0343はちみつ餃子 ◆8X2XSCHEME 2013/05/10(金) 07:55:04.15
査読の厳しさは色々だよ。
掲載されても、それがどう評価されるかは別な話。
0344デフォルトの名無しさん2013/05/10(金) 10:23:58.59ID:eEqt3xxD!
「Scheme処理系作りました」ってとこ自体には全く新規性はない。論文にするとすれば、
何かアイディアがあって、その有効性を示す例のひとつとしてScheme処理系を作って見ました、
というパターンだね。あるいは、制約のあるシステムを考えて、そこでそれなりに使えるプログラムが
動くことを示す例としてScheme処理系を載せてみました、とか。
0345デフォルトの名無しさん2013/05/10(金) 10:45:52.34
>>342
実装系ではSoftware Practice and ExperienceとTOPLAS。
後は雑誌ではないがLisp系のconferenceのproceedings。
0346デフォルトの名無しさん2013/05/10(金) 11:03:29.06
>>342
処理系作ったというところより、
Javaと連携可能なScheme処理系で一級継続をうまく実装する方法を考えてやってみたらできたよ
継続持ってない他の言語でも実装可能かもね
というところが主題なんじゃないかなあ…
ちゃんと読んでないから違ってたらすまん
0347デフォルトの名無しさん2013/05/11(土) 21:55:56.91
あいかわず IRC の (freenode の) #Lisp_Scheme チャンネルは過疎ってるなぁ。
0348デフォルトの名無しさん2013/05/16(木) 11:52:51.45
過疎が普通の姿だろ
2ちゃんのlispスレとD言語スレの勢いは異常。普通と思ってはいけない
0349デフォルトの名無しさん2013/05/16(木) 16:42:55.05
Chaton Gauche には人が結構いるよね
0350はちみつ餃子 ◆8X2XSCHEME 2013/05/22(水) 03:08:49.75
異世界系でなくてロウファンタジーでもない (超常的なことがおこらない) タイプの作品が話題にあまりのぼらないよね。
投稿されてる作品の割合で異世界系が多いからしょうがないんだろうけど。
0351はちみつ餃子 ◆8X2XSCHEME 2013/05/22(水) 03:09:45.79
あ、ごめん。 誤爆った。 小説家になろうスレに投稿しようとしたんだけど。
0352デフォルトの名無しさん2013/05/22(水) 03:11:22.31
リリカルLispかと思った。
0353はちみつ餃子 ◆8X2XSCHEME 2013/05/22(水) 03:32:57.05
リリカル Lisp の人、 NScripter で Lisp 処理系を作るのはまだしも、
ニコニコスクリプトでも Lisp 処理系作ってたりして、
良い意味で変な方向にガッツがあるよね。

そのガッツで教育用ソフトを作ろうと思ってくれたことには感謝したい。
なんだかんだで Lisp が使われないのは今 Lisp で動いているものが少なくて
Lisp に触れる機会が少ないというのは理由のひとつだと思うんだわ。
入口になりうるものがあれば紹介しやすいし、
ただ話題性があるものを提供するだけでも結構効果ありそう。

あとアリサかわいい。
0354デフォルトの名無しさん2013/05/22(水) 03:47:41.49
すずかは？
0355デフォルトの名無しさん2013/05/22(水) 03:59:07.28
_〆(・_・。) はちみつ氏はアリサ派と…
0356デフォルトの名無しさん2013/05/22(水) 07:42:46.36
アリサ・ローウェルか
0357デフォルトの名無しさん2013/05/22(水) 07:57:30.57
アルトッサ イルトッサ キルルルハー
0358デフォルトの名無しさん2013/05/22(水) 15:45:57.40
観月ありさ
0359デフォルトの名無しさん2013/05/22(水) 15:46:26.87
クダー(・∀・)ﾓｴｯ
0360はちみつ餃子 ◆8X2XSCHEME 2013/05/22(水) 16:08:56.81
>>356
リリカルLispをあらためて確認してみたがアリサ・バニングスとは名乗ってないね。
でも鮫島が「バニングス家の科学力は、世界一ぃぃぃぃぃぃぃ――」と言っている場面があるのでリリカルLispのアリサはアリサ・バニングスと断定していいと思う。

>>354
アリサの輝きの前には他の全てはかすんでしまうんです。
0361はちみつ餃子 ◆8X2XSCHEME 2013/05/23(木) 08:15:40.79
ところで R7RS の投票が終わったみたいだね。
大半が賛成のようだ。

http://lists.scheme-reports.org/pipermail/scheme-reports/2013-May/003486.html
0362デフォルトの名無しさん2013/05/23(木) 10:01:22.42
>>356 >>360
とらハの設定がなのはシリーズでどこまで有効なのかよくわかりません。
アリサ・ローウェルは完全に無かったことになったものとしていいと思いますが、
すずかが吸血鬼であるという設定はなのはシリーズでも残っているのでしょうか？

強いて言えばコミックス版でのすずかはかなりの身体能力があるように描写されているのですが、
吸血鬼としての能力という設定なのか、単に優秀ということになっているのかはっきりしません。

なのはシリーズの作中で全く触れられないので設定でどうなっていようと関係ないと言えば関係ないのですが、
二次創作小説では吸血鬼であるという設定にしているものも少なからずあり、たいへん気になっています。

このあたりの設定についてわかる関係者の発言などの情報をお持ちの方がいればぜひ教えて下さい。

それと、恭也と美由希は高町士郎＆桃子の実子ではなく養子であるという設定はなのはシリーズでも公式にされているのでしょうか？
もしそうでないとするなら桃子の年齢から言って色々とアレなので二次創作をするにしても考慮しないとならないので…。
0363デフォルトの名無しさん2013/05/23(木) 10:41:29.46
スレ違い
0364デフォルトの名無しさん2013/05/23(木) 11:13:42.17
これだから大きなお友達は
0365デフォルトの名無しさん2013/05/24(金) 11:03:55.05
ゆゆS式
0366デフォルトの名無しさん2013/05/24(金) 11:20:34.03
>ゆゆS式
情報処理部

今日のまとめ

Yコンビネーター：難しい
0367デフォルトの名無しさん2013/05/24(金) 11:43:37.58
sicp妖精s

「これ何て言ってるのかな」

「なんじゃこりゃあ。condの括弧の数あわねえし」
0368デフォルトの名無しさん2013/05/24(金) 12:59:31.96
なに括弧のサイズさえ合えばいいのさ。 lispなんてそんなものさ
0369デフォルトの名無しさん2013/05/24(金) 15:29:30.85
マッコイ乙
0370はちみつ餃子 ◆8X2XSCHEME 2013/05/26(日) 13:36:54.53
タコぷーの日本語訳って中古でも一万円もするのかよ。
http://www.bookoffonline.co.jp/old/0012734475
「定価より \290 おトク！」って…。
まぁ値段分の価値はあると思うが…。
0371デフォルトの名無しさん2013/05/26(日) 14:03:00.70
お前、入荷お知らせメール受け取ったな
0372デフォルトの名無しさん2013/05/26(日) 14:23:00.24
タコぷーって何かと思ったらTACPか。
0373デフォルトの名無しさん2013/05/26(日) 14:24:28.15
英語版でいいじゃない、って言おうと思ったけど洋書の値上がりっぷりが凄い。
円が2割くらい価値を失ったから仕方ないのだが。
0374デフォルトの名無しさん2013/05/26(日) 15:33:53.18
円高の時に買っとけばよかったじゃん
0375デフォルトの名無しさん2013/05/26(日) 19:12:28.50
そろそろ電気代上げるかな
0376デフォルトの名無しさん2013/05/26(日) 19:21:21.98
国民は馬鹿だから、社員の福利厚生充実しまくりで赤字ですとか言って、いいように上げてくるよ。

lispと関係ないけど
0377はちみつ餃子 ◆8X2XSCHEME 2013/05/27(月) 00:24:49.97
>>376
燃料の高騰があるからどちらにせよ上がるよ。
燃料費を反映させるのは政府に申請する必要もなかったはずだし。
0378デフォルトの名無しさん2013/05/27(月) 00:36:12.89
板違いの話題はせめてS式で語ってくれないか。
0379デフォルトの名無しさん2013/05/27(月) 05:06:05.00
スティール兄貴の愛読していた本だよね？＞たこぷー
0380はちみつ餃子 ◆8X2XSCHEME 2013/05/27(月) 06:48:41.03
愛読っつーか辞書みたいなもんだから、通して読む種類の本じゃねーよってクヌース自身は考えてるみたいだけどな。
0381デフォルトの名無しさん2013/05/28(火) 20:26:10.42
>>380
ファインマン先生は, 幼少の頃からブリタニカを通読し大量に書き込みもしてていたらしいが
0382デフォルトの名無しさん2013/05/28(火) 20:58:47.17
>>381
ご冗談でしょう？
0383デフォルトの名無しさん2013/05/31(金) 00:45:26.90
ノイマン級は歴史書44冊諳んじたとか、計算機より速いとか逸話がある。
0384デフォルトの名無しさん2013/05/31(金) 15:44:51.13
初期のコンピュータ技師「ほんとうに読んだ本を暗記しているのかい?
じゃあ試しに...えーと、二都物語...の最初を暗唱してくれ」
ノイマン「(スラスラスラ)」
ノイマン「(スラスラスラ)」
ノイマン「(スラスラスラ)」
技師「わかった。もういい...」
0385デフォルトの名無しさん2013/05/31(金) 15:55:25.62
ノイマンさんコンピュータなんか作らないで自分の脳みその研究すればえかったんちゃうの？
0386デフォルトの名無しさん2013/05/31(金) 16:08:12.60
自分の脳味噌を研究に使うよう遺言。
0387デフォルトの名無しさん2013/05/31(金) 17:47:47.13
>>386 そんな遺言してないと思ったけど。
ていうか晩年の脳はだいぶヤバかったんじゃないか、フォン・ノイマンは。

脳が保存されたのはアインシュタイン。遺言に従って、ではなかったと思った。
0388デフォルトの名無しさん2013/06/02(日) 11:00:07.02
アラン・ケイが考えるオブジェクト指向プログラミング - @katzchang.contexts
http://d.hatena.ne.jp/katzchang/20080807/p2
>私が考えるOOPはメッセージング、状態処理のローカルでの保有・保護・隠蔽、そして全ての物に対する強力な遅延束縛、これだけだ。
>これはSmalltalkとLISPだけが実現できている。他のシステムでも可能かもしれないが、私は知らない。
2003年の発言だけど、今でもsmalltalkとlispだけなんだろうか
0389デフォルトの名無しさん2013/06/02(日) 15:59:10.66
LL系ならたいがいできてるんじゃないかね

「メッセージング」の定義にもよるが
0390デフォルトの名無しさん2013/06/02(日) 16:27:50.40
全ての物に対する強力な遅延束縛というのは何だろう
0391デフォルトの名無しさん2013/06/03(月) 01:04:55.79
全てにおいて実行時束縛が可能なこと。
実行時に型を変更できない言語は駄目。
0392デフォルトの名無しさん2013/06/03(月) 23:34:13.37
Land of Lisp読了
印象に残ったのはHaskell 共和国こえぇぇぇ
0393デフォルトの名無しさん2013/06/04(火) 00:47:29.76
>>392
>Haskell 共和国こえぇぇぇ
kwsk
0394デフォルトの名無しさん2013/06/04(火) 07:58:15.40
副作用使用罪を犯した罪で逮捕
0395デフォルトの名無しさん2013/06/04(火) 08:12:54.26
マクロ濫用罪ってのはどうよ？
0396デフォルトの名無しさん2013/06/04(火) 12:29:19.69
Lisp使用罪で死刑
0397デフォルトの名無しさん2013/06/04(火) 18:58:41.90
>>395
あのオフサイドルール自体がマクロみたいなもんだろ >Haskell
0398はちみつ餃子 ◆8X2XSCHEME 2013/06/04(火) 19:31:21.15
Template Haskell もあるでよ。
あれはマクロだろ。
0399デフォルトの名無しさん2013/06/06(木) 15:49:15.48
オフサイドルールのどこがマクロなんだ？
SRFI-49がリーダーマクロっぽく定義されてるとしても、
それはHaskellと関係ないと思うが。
0400デフォルトの名無しさん2013/06/08(土) 02:51:10.80
javaでlispインタプリタ作ってみたんだけど(tak 2 1 0)ですらスタックオーバーフロー起こして困ってる
javaだと素直に実装するとこんなものなのかな
これじゃベンチマークすらできなくて使い物にならない
0401デフォルトの名無しさん2013/06/08(土) 04:09:45.22
Javaで深い再帰をしたいときにはJVMの起動オプションでスタックサイズを指定しないと
0402デフォルトの名無しさん2013/06/08(土) 04:16:06.84
Schemeインタプリタなら素直に実装しようとすると自前でスタックを用意するよな
0403はちみつ餃子 ◆8X2XSCHEME 2013/06/08(土) 08:53:18.96
そうしないと TCO が出来ねーっていう話が。
0404デフォルトの名無しさん2013/06/08(土) 09:52:06.82
>>400
> javaだと

なんだってそうだ。
0405デフォルトの名無しさん2013/06/08(土) 12:32:52.81
(tak 2 1 0)
=> (tak (tak 1 1 0) (tak 0 0 2) (tak -1 2 1))
=> (tak 0 2 1)
=> 1

こんだけじゃない？
インタプリタがバグってるか tak の定義が間違ってるのかどっちかだと思うよ。
04064002013/06/08(土) 13:06:00.39
確かに階乗は800くらいまではスタック溢れしないのにtakが溢れるのはバグかな
自前でスタック用意する方法も考えてみる
ありがとう
0407デフォルトの名無しさん2013/06/08(土) 14:20:12.78
takはスタックが深くならない、というのが利点（資源がしょぼい環境でも走らせられる）の一つだからな
0408デフォルトの名無しさん2013/06/08(土) 14:20:53.19
と思ったがもしかしてtakとtaraiで違うんだっけ？
0409デフォルトの名無しさん2013/06/08(土) 14:33:15.39
jvmには、末尾最適化がないとか。
あと、jvm上の言語実装だとrepl動かすときに -Xms=256m みたいなのがついてる。
そして、scalaやclojureはバイトコード生成するので、その部分をasmで実装してる。
0410デフォルトの名無しさん2013/06/08(土) 15:40:11.88
ENVをJavaのObjectにしておけばtailコールできそうな気がするんだけど駄目なんだろうか？(１関数の大きさが64K以下ってなるだろうけど)
04114002013/06/08(土) 17:03:38.88
スタックオーバーフローの原因は除算の第一引数に変数を入れるとその変数自体の値が変更されることだった
Javaの名誉のために訂正しとく
0412デフォルトの名無しさん2013/06/08(土) 18:57:18.58
>>400,411
まぁ2chに書くまえにもちつけ！ってことやね。
おつやよー
0413デフォルトの名無しさん2013/06/08(土) 22:00:27.98
バグが出たらまずコンパイラのせいにするのが基本
0414デフォルトの名無しさん2013/06/09(日) 00:05:33.57
>>409
taraiは普通に再帰しても、そもそもネストが深くならないから、末尾最適化は関係ない
0415デフォルトの名無しさん2013/06/09(日) 07:06:22.01
そうか全部taraiのせいにすればいいのか
0416デフォルトの名無しさん2013/06/09(日) 07:48:22.74
taraiが落ちた
0417デフォルトの名無しさん2013/06/09(日) 07:53:27.60
(shimura ushiro ushiro)
0418デフォルトの名無しさん2013/06/09(日) 16:04:47.01
現代魔法かよ!
0419デフォルトの名無しさん2013/06/09(日) 18:56:56.08
ネトウヨのコピペなんだけど、、、ｗ

最近ホントによく見るヘンなお辞儀
http://blogimg.goo.ne.jp/user_image/0c/59/9be5080aa2dfadcea3612f5fee38b1c8.jpg
正しいお辞儀
http://blogimg.goo.ne.jp/user_image/0b/f7/d155241668efb09966c7f4ae387c4eff.jpg
ヘンなお辞儀の正体
http://blogimg.goo.ne.jp/user_image/10/f1/1dd1b9465881227b529fc9d894e4c44b.jpg
0420デフォルトの名無しさん2013/06/09(日) 20:32:05.17
consがどうしたって？
0421デフォルトの名無しさん2013/06/10(月) 17:56:33.72
コンスは韓国起源ニダ！
0422デフォルトの名無しさん2013/06/10(月) 23:07:13.29
konsに変えるニダ！
0423デフォルトの名無しさん2013/06/11(火) 00:20:41.88
cdrねーw
0424デフォルトの名無しさん2013/06/11(火) 00:23:16.76
cdrは百済発祥ニダ
0425デフォルトの名無しさん2013/06/11(火) 01:08:53.51
carは夏王朝発祥アル
0426デフォルトの名無しさん2013/06/11(火) 01:11:25.89
consは東ローマ帝国発祥ぷる
0427デフォルトの名無しさん2013/06/11(火) 06:33:20.71
Lispでパラメタライズって動的スコープにすることなの？
0428デフォルトの名無しさん2013/06/11(火) 06:48:00.04
既存のjavaプログラムを流用しかたかったら
クロージャーが一番いいのだろうけど
Scheme（Racket）のプログラムも流用したいなら
Kawaがいいのだろうか

他にもJavaで書かれたScheme処理系がいくもあるので
どれが一番いいのか
0429デフォルトの名無しさん2013/06/11(火) 07:02:24.49
まあ個人的にはKawaを選ぶけど
いまさらClojureを覚えるのも面倒だし
0430デフォルトの名無しさん2013/06/11(火) 10:11:18.15
Clojureはleiningenができてからとても楽ちんになった,Lisp系ではお勧めの一つだけど
Schemeが良いならJVM用ならKawaじゃね？
0431デフォルトの名無しさん2013/06/11(火) 10:31:35.84
ABCLも忘れないであげて下さい。
0432デフォルトの名無しさん2013/06/11(火) 12:00:53.30
Schluesselはどうよ？
0433デフォルトの名無しさん2013/06/11(火) 13:34:43.03ID:15+H+6Gw!
おまえら、GUI出せて、日本語が入力できる処理系を教えろください。
0434はちみつ餃子 ◆8X2XSCHEME 2013/06/11(火) 14:28:57.96
Racket かな。
Gauche や Sagittarius も gtk バインディングが有るから GUI に手間取ることはないと思う。
0435デフォルトの名無しさん2013/06/11(火) 14:29:04.73
SBCL+CommonQtとか言ってみる。
きっと茨の道だ。
0436はちみつ餃子 ◆8X2XSCHEME 2013/06/11(火) 15:48:23.91
すまん。
Sagittarius には gtk バインディングは無かった。

sagittarius-turquoise で出来たような気がしてたが、
あらためて見たら TODO のところに書いてた。
現時点では Windows しか対応してねぇー
0437デフォルトの名無しさん2013/06/11(火) 20:15:20.43
>>433
Franz様一押し
04384332013/06/12(水) 00:19:11.59
>>435 Schemeじゃねぇ
>>437 なにそれ
>>434 Gauche-gtk そんなのあった。これか!
0439デフォルトの名無しさん2013/06/12(水) 00:37:41.15
KawaいいよKawa
0440デフォルトの名無しさん2013/06/12(水) 02:56:05.88
>>438
Allegro CommonLispの会社だろFrantz
0441デフォルトの名無しさん2013/06/12(水) 10:46:07.26
>>438
schemeなんて言語使ってると現実世界で生きていくのが面倒くさくなって
世捨て人になっちまうぞ。Common Lisp使え。Common Lisp。
0442デフォルトの名無しさん2013/06/12(水) 19:14:58.69
>441
あのさ、なんでもいいけどSchemeって書いてくれない。気持ち悪いから。
0443デフォルトの名無しさん2013/06/12(水) 19:59:01.33
じゃあThe Schemeということで
0444デフォルトの名無しさん2013/06/12(水) 20:06:05.35
先頭大文字とか lesser lisp 風情がおこがましいです。
schemeでいいです。
0445デフォルトの名無しさん2013/06/12(水) 20:59:45.94
シンボルにしたらみなSCHEMEさ
0446デフォルトの名無しさん2013/06/12(水) 21:25:50.19
(quote 時代遅れの老害)
0447はちみつ餃子 ◆8X2XSCHEME 2013/06/12(水) 21:30:55.93
>>445
R6RS では大文字と小文字を区別するよ
0448デフォルトの名無しさん2013/06/12(水) 22:49:25.69
>>447
流石にしってますがな
0449デフォルトの名無しさん2013/06/13(木) 03:08:16.13
Lisp系言語総合スレとか需要ないよね
0450デフォルトの名無しさん2013/06/13(木) 22:03:46.64
ああ、うん
早く独り立ちして自分で楽しいこと見つけてね
0451デフォルトの名無しさん2013/06/14(金) 01:08:19.33
>>449
必要だよ、統合スレは冷たいひとが多いけど、CLスレは優しい人がいっぱいいるから棲み分けにいいじゃん。
0452デフォルトの名無しさん2013/06/15(土) 02:48:38.82
そもそもCLだけに特化しなければならないプログラムをLispで書くという状況が分からない
0453デフォルトの名無しさん2013/06/15(土) 14:50:57.80
そもそも特定の言語に特化されてないプログラムというものがわからない。
0454デフォルトの名無しさん2013/06/15(土) 15:31:20.27
数当てゲームとか?
そういえば大昔にゲーム会社が品物があがらないのでタイトルだけソレの数当てゲームでも出せとか言ったとか言わなかったとか
0455デフォルトの名無しさん2013/06/15(土) 16:47:45.14
pokan
0456デフォルトの名無しさん2013/06/15(土) 20:40:36.70
すいません
lambda関数で遅延リストをシミュレートしたいのですがどうすればいいでしょう
(car (funcall f)) ==> 1
(car (funcall (cdr (funcall f)))) ==> 2
(car (funcall (cdr (funcall (cdr (funcall f)))))) ==> 6
で以降n回目にnの階乗を返すようなfの定義をお願いします
0457デフォルトの名無しさん2013/06/15(土) 23:16:40.26
(defun make-lazy-fact-stream (&optional (acc 1) (n 1))
(let ((acc (* n acc)))
(cons acc
(lambda ()
(make-lazy-fact-stream acc
(+ n 1))))))

(defun f () (make-lazy-fact-stream))

ところで関数に別名つけるのどうやるんだっけ
(setf (function f) (make-lazy-fact-stream))
だと思ったら違った
0458デフォルトの名無しさん2013/06/16(日) 00:53:18.61
(symbol-function 'f) の事？
0459デフォルトの名無しさん2013/06/16(日) 05:40:50.47
あ、ありがとうございますっ！
ふぅ
次にしたいことはmapcan関数のlazy化だな
0460デフォルトの名無しさん2013/06/17(月) 14:56:50.39
CLどころか処理系にもベッタリ依存してますがなにか？
移植性？なにそれ美味しいの？
0461デフォルトの名無しさん2013/06/17(月) 21:58:41.16
JavaよりもLispよりもC言語が一番移植性が高かったというオチ
0462デフォルトの名無しさん2013/06/18(火) 13:54:48.07
もうautoconf地獄はイヤづら。
Javaは意外と移植性高いんでね？
0463デフォルトの名無しさん2013/06/18(火) 14:11:02.51
Cは仕様の範囲が狭いから、プラットフォーム依存は普通にあるし、
処理系依存だって別に珍しいことじゃない。
嘘だと思うなら、LP64からLLP64にポートしてみればいい。
mozilla.orgでさえ諦めるレベル。
0464デフォルトの名無しさん2013/06/18(火) 17:10:29.93
>>462
pure javaの cursesライブラリが無いのがjava嫌いになる理由の一つかもしらん。
0465デフォルトの名無しさん2013/06/18(火) 20:43:51.38
大学の演習や卒研で作ったプログラムのうち、今家のマシンでそのままコンパイル通って動くのはCで作ったモノだけだった
大学はsolarisで家はwindows7
MinGW強すぎ
感動した

lispとjavaとprologとfortranは全滅
haskellはなかったけど、あったとしてもたぶん動かないだろう
0466はちみつ餃子 ◆8X2XSCHEME 2013/06/18(火) 20:55:09.94
状況を分類するとどれ？

- 処理系が規格準拠ではない
- 規格の改訂が多くて処理系の実装が追い付いてない
- 規格が分裂して似たようなのが乱立している
- 規格の規定範囲が狭いので処理系の拡張を使わざるを得ない
- 規格なんかない
0467デフォルトの名無しさん2013/06/18(火) 22:08:13.10
- 規格なんかない

と他の４つとの区別がつかないんだが？
0468デフォルトの名無しさん2013/06/19(水) 00:23:53.68
>>466
最強：「windowsでも動くコンパイラないですかね」と聞いて、何も考えずにそのコンパイラ入れて、ソースに何の手直しもしないのにコンパイルできてしかも実行できた
最悪：そもそもwindowsにコンパイラが入らない
0469はちみつ餃子 ◆8X2XSCHEME 2013/06/19(水) 00:29:52.72
最近は Common Lisp の処理系も Windows を意識してるみたいだけど、
同等とはいかないっぽいな。
特にスレッドがからむとやっかいな感じ？
Common Lisp の事情はよく知らんけど。
0470デフォルトの名無しさん2013/06/19(水) 01:46:03.76
処理系のビルドでエラーメッセージが出るとやる気がなくなる
0471デフォルトの名無しさん2013/06/19(水) 04:39:38.38
しょんぼlisp
がっかlisp
もうこりごlisp
0472デフォルトの名無しさん2013/06/19(水) 10:54:42.82
CLは言語仕様にスレッドサポートはないからなぁ。
典型的なキッチンシンクアプローチで、仕様策定されているから、
プラットフォームに関連する部分はどうしても処理系依存にならざるを得ないし。
この辺は、やっぱり昔の言語なんだと実感するね。
0473デフォルトの名無しさん2013/06/20(木) 03:59:20.03
せめて標準出力くらいは完璧な互換性を確保してください
0474デフォルトの名無しさん2013/06/20(木) 11:30:18.64
というか、もはや人材不足で仕様策定なんて無理。
コミュニティに利用者の少ないWindowsを無視すれば、
POSIX互換でほぼ問題ないわけだし。
0475デフォルトの名無しさん2013/06/20(木) 13:45:05.51
優秀な人はみんなHaskell使っている
Lispは残りカス
0476デフォルトの名無しさん2013/06/20(木) 19:44:27.35
>>475
まだいたのか？
0477デフォルトの名無しさん2013/06/20(木) 21:01:22.88
Haskell共和国へお帰り下さい
0478デフォルトの名無しさん2013/06/20(木) 21:53:19.70
でも、人工知能系の論文書くとしたらまだまだlispだと思う
0479デフォルトの名無しさん2013/06/20(木) 22:31:43.67
Haskell は面白いけど、マクロがないからなぁ。
0480デフォルトの名無しさん2013/06/20(木) 22:46:05.15
QIと言わないところが何か中途半端だな。
0481デフォルトの名無しさん2013/06/20(木) 22:47:53.53
lispを手続くがたっぽく使ってしまう自分が憎い
そろそろland of lispの第4部読んだほうがいいかな
0482デフォルトの名無しさん2013/06/20(木) 22:52:09.78
Schemeのテストフレームワークでお勧め何かありませんでしょうか
テストする事が多すぎて自動化したい
0483デフォルトの名無しさん2013/06/21(金) 00:55:35.19
残りカス
0484デフォルトの名無しさん2013/06/21(金) 01:12:06.51
哀れな人がいるなあ
0485デフォルトの名無しさん2013/06/21(金) 01:43:29.83
>>483-484
ハスケルはまともな数式処理ソフトないじゃん
0486デフォルトの名無しさん2013/06/21(金) 01:51:29.55
まともなWebブラウザもない言語はカスだよね
0487デフォルトの名無しさん2013/06/21(金) 03:19:38.17
標準で日本語の出力ができない処理系や、どう設定してもWindowsのコマンドプロンプトで文字化けする処理系はウンコ
0488デフォルトの名無しさん2013/06/21(金) 03:40:50.67
それ以前に、Windowsが！
0489デフォルトの名無しさん2013/06/21(金) 06:03:26.24
linuxはウンコ
無料しか取り柄がない
0490デフォルトの名無しさん2013/06/21(金) 11:38:58.14
dmatch マクロって何処がすごいのでしょうか
単なるmatchマクロに ? 構文つけたのと同じに見えるのですが
0491デフォルトの名無しさん2013/06/21(金) 12:24:20.18
>>489
お前は2ch有料な。
0492デフォルトの名無しさん2013/06/21(金) 15:35:44.89
>>481
Lispなんだから手続き型っぽく書いてもイイじゃん。
マルチパラダイム万歳。
Schemeはシラネ。
0493デフォルトの名無しさん2013/06/21(金) 15:36:36.53
Schemeも同じです。
0494デフォルトの名無しさん2013/06/21(金) 17:28:49.34
やっぱりみんなも手続き型っぽく書いてるのか
なんか再帰的な書き方にしないとLisper失格と思ってたんだけどそうでもないのか
0495デフォルトの名無しさん2013/06/21(金) 17:40:35.47
業務プログラム向けのオペレータを作るのが楽だからね。
やりたい事によって、関数型っぽく書いたり、手続き型っぽくなったり。
0496はちみつ餃子 ◆8X2XSCHEME 2013/06/21(金) 18:10:21.31
問題を表すのに適した表現方法を選べるのが良いところ。

SICP の3章の冒頭で銀行講座を表す「オブジェクト」と、
それに対するモディファイアやアクセサを定義している様子は
オブジェクト指向的なスタイル。

回路シュミレータのところは制約プログラミングっぽい感じか。

4章の非決定性計算は Prolog っぽいな。

>>494
手続き型的な書き方が適切なのでそれを選んだのならいいけど、
Lisp に慣れてなくてそういう書き方しか出来てないんだとしたら
ちょっともったいないなとは思う。
0497デフォルトの名無しさん2013/06/21(金) 18:42:32.05
>>496
色々と再帰的にリストを処理する関数は書いたけど
実際に何かを作るときにそれをうまく使えないんだよ
0498デフォルトの名無しさん2013/06/21(金) 18:42:56.07
基本やりながら覚えていけば良いのでは？
みんな072のやり方なんて教わらなかったろ？
そのうちに、いろんな方法ができるようになるって。
0499デフォルトの名無しさん2013/06/21(金) 18:58:36.36
>>496
>手続き型的な書き方が適切なのでそれを選んだのならいいけど、
CTMCPで、計算モデルとは何かを知っておくと迷いが減るよな。
0500デフォルトの名無しさん2013/06/21(金) 19:15:32.60
proper tail recursionでないCLで再帰多用は要注意。
CLにはloopがあるでしょ。
0501デフォルトの名無しさん2013/06/21(金) 20:03:53.04
>>498
072は中坊時代に保険の先生に…… orz
0502デフォルトの名無しさん2013/06/21(金) 23:45:44.11
なんで直ぐに再帰やら計算量やらの小難しい話になっちゃうかね。
べつに再帰つかわなきゃLispっぽくないなんてことはないだろうに。

Lispはプログラマーのやり方のほうに言語が歩み寄ってくれる稀有な言語なんだから、
「こんなやり方知らないなんて、もったいない」とか上から目線とかどうかと思うけどね。

バリバリ手続きっぽく書かれていても、ココぞの部分でピリッと効いてるマクロとか
俺なんかそれ見ただけで「お、Lispっぽいじゃーん」とか思っちゃうけどね。
0503デフォルトの名無しさん2013/06/22(土) 00:03:28.50
funcallを使い忘れてエラーになったときに一番lispっぽさを感じる。
0504デフォルトの名無しさん2013/06/22(土) 00:27:04.33
lispの教科書を読むとfor文みたいな繰り返しの方が特殊だというような洗脳を受ける
0505デフォルトの名無しさん2013/06/22(土) 00:36:45.24
再帰使い過ぎの話はここら辺みるといいかも。
http://www.mew.org/~kazu/material/2011-fp.pdf

こっちは代入不可の話。自分はHaskellじゃなくてClojureにいっちゃったけど。
http://www.mew.org/~kazu/material/2013-cross.pdf
0506デフォルトの名無しさん2013/06/22(土) 00:45:13.86
ゲーデルとかチャーチとかチューリングとか再帰とか計算可能性とか論理学？計算機？
そもそも自然数の定義があれでしょ？正方形を埋め尽くす曲線とか信じらんない
0507デフォルトの名無しさん2013/06/22(土) 01:16:13.01
>>506
>正方形を埋め尽くす曲線
クロネッカー？、それともカオス？
0508デフォルトの名無しさん2013/06/22(土) 01:18:29.77
ヒルベルトじゃね？ﾃｷﾄｰ
0509はちみつ餃子 ◆8X2XSCHEME 2013/06/22(土) 01:30:07.21
「ひるおび」ってテレビ番組があるけど、ヒルベルトを連想してしまう。
0510 ◆QZaw55cn4c 2013/06/22(土) 03:36:52.69
ペアノだね、自然数の定義に関するペアノの公理とかペアノ曲線とか
0511デフォルトの名無しさん2013/06/22(土) 03:46:40.73
日付変更線に触れないように地球に好きなだけ曲線をひいて、メルカトル図形にすればいいんじゃね？
0512デフォルトの名無しさん2013/06/22(土) 11:54:43.28
好きなだけ引いても覆い尽くされるかどうか分からない。
元々のお題は連続な曲線で閉区間を覆い尽くす者があるかどうか?ってお題。
だから具体的に例を示すか、存在証明をしないといけない。
0513デフォルトの名無しさん2013/06/22(土) 12:09:53.96
>>511
無限舐めるな
0514デフォルトの名無しさん2013/06/22(土) 12:35:00.63
http://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E6%9B%B2%E7%B7%9A
0515デフォルトの名無しさん2013/06/22(土) 12:59:52.97
あと，LISPとか前時代の化石をこれ見よがしに使ってますアピールするの見苦しいし，それってカッコつけてるだけだよねって
0516デフォルトの名無しさん2013/06/22(土) 13:23:10.79
SRFI 49使えよ
0517デフォルトの名無しさん2013/06/22(土) 13:43:10.98
> あと，

何が「あと，」だよｗ
どこかのレスをコピペするからそうなる
コピペプログラマーにお似合いだな
0518デフォルトの名無しさん2013/06/22(土) 13:54:34.07
(* おおっと *)
0519デフォルトの名無しさん2013/06/22(土) 13:57:55.54
>>509
w
0520デフォルトの名無しさん2013/06/22(土) 14:31:46.12
>>517
括弧と掛けてるんだろ
0521デフォルトの名無しさん2013/06/22(土) 15:29:55.88
>>514
曲線を1次元の図形だと考えると、これは曲線じゃなくね？
フラクタル曲線の次元は1次元よりも大きくて、その次元を限りなく2次元の図形に近づけることができる
次元が限りなく2次元に近い図形で、2次元図形の中を埋めるんだから、そりゃ、なにも不思議ではない
ずるい
0522デフォルトの名無しさん2013/06/22(土) 18:37:09.69
お前は一体何を言っているんだ
0523デフォルトの名無しさん2013/06/22(土) 23:04:48.31
いまさらそんなこと言ってる奴が「不思議ではない」とは笑わせる。
0524デフォルトの名無しさん2013/06/22(土) 23:23:43.80
無知な獣を罠にハメるような設問は関心しない
0525デフォルトの名無しさん2013/06/23(日) 01:42:54.18
数学わすれちゃったんで間違えてるかもしれないけど^^;
SINカーブだって、正方形の一辺の長さを「l」としたとき、
l・sin(nθ)でn→∞にすれば正方形埋め尽くせるんじゃね？
0526デフォルトの名無しさん2013/06/23(日) 02:03:35.11
そこで颯爽とイプシロン・デルタの登場！
0527デフォルトの名無しさん2013/06/23(日) 02:05:05.72
ε「どーもーイプ　　　　シロンでーす！」
δ「どーもデル↑タです。なんでためんねんｗ」
0528デフォルトの名無しさん2013/06/23(日) 02:53:38.92
全知全能の神の存在を否定するのに使ったプログラミング言語ってlispだったという話は本当でしょうか？
0529デフォルトの名無しさん2013/06/23(日) 08:28:22.97
神さまなんて全裸煩悩だってギリシャのじっちゃんが言ってた
0530デフォルトの名無しさん2013/06/23(日) 09:16:28.47
神はlispで書かれてるよ
0531はちみつ餃子 ◆8X2XSCHEME 2013/06/23(日) 09:45:09.77
http://www.aoky.net/articles/randall_munroe/lisp.htm
0532デフォルトの名無しさん2013/06/23(日) 09:54:25.73
どっかのバカLisperが神とか呼ばれてたな
0533デフォルトの名無しさん2013/06/23(日) 10:36:30.91
Lisperは神ではないが
神はLisperかもしれないぞ
0534デフォルトの名無しさん2013/06/23(日) 11:41:32.36
知らんがな
0535デフォルトの名無しさん2013/06/23(日) 12:56:44.67
Lispは神というよりタオらしい
0536はちみつ餃子 ◆8X2XSCHEME 2013/06/23(日) 13:11:48.41
http://www.amazon.co.jp/dp/4063290093/
0537デフォルトの名無しさん2013/06/23(日) 13:20:23.54
nil は atom を生じ、
atom は S 式を生じ、
S 式は万物を生ず。

ってやつか。
0538デフォルトの名無しさん2013/06/23(日) 13:22:33.89
頭おかしくなったか
0539デフォルトの名無しさん2013/06/23(日) 15:35:12.61
餃子がめずらしくウィットに富んだリンク先をしめしててﾜﾗﾀ
いつもは自分の言葉なのに今日はどうした？>>はちみつ餃子ﾀﾝ
0540デフォルトの名無しさん2013/06/23(日) 17:00:30.28
タオ＝道とは？


carは左
0541デフォルトの名無しさん2013/06/23(日) 18:04:21.03
ELISは女の子
Sｙｍｂｏｌｉｃｓは男性器の象徴
0542デフォルトの名無しさん2013/06/23(日) 19:36:26.78
SGIは、、あっそうか。
0543デフォルトの名無しさん2013/06/23(日) 22:35:05.37
>>541
ﾜﾗﾀ
タリーズのコーヒー吹いた、スマフォ汚れてｼｮﾝﾎﾞﾘ
0544デフォルトの名無しさん2013/06/24(月) 02:56:11.76
S式がエレガントであることを証明できないことがlispを用いて証明されたと聞いたのだが
0545デフォルトの名無しさん2013/06/24(月) 03:50:05.57
>>541
でもElis中尉はおばちゃんにしかみえないよね
0546デフォルトの名無しさん2013/06/24(月) 06:20:21.43
S式からゆゆ式へ
0547デフォルトの名無しさん2013/06/24(月) 08:53:38.54
それは由々しき事態
0548はちみつ餃子 ◆8X2XSCHEME 2013/06/24(月) 11:04:58.04
http://www.amazon.co.jp/dp/4757727151
0549デフォルトの名無しさん2013/06/24(月) 13:09:52.16
Lispスレは有用な話題もなくて寂れてますな
0550デフォルトの名無しさん2013/06/24(月) 13:28:17.74
すごい
0551デフォルトの名無しさん2013/06/24(月) 13:35:42.02
Lisp自体が時代遅れで有用じゃないから仕方ない
0552デフォルトの名無しさん2013/06/24(月) 15:03:21.36
よくゆうよ
0553デフォルトの名無しさん2013/06/24(月) 15:06:29.24
Lisperは総じて雑魚ばかり
0554デフォルトの名無しさん2013/06/24(月) 16:52:44.73
大文字で入力しなくなってから軟弱になったな
0555デフォルトの名無しさん2013/06/24(月) 19:47:21.58
(defmacro recur-let (name args &body body)
(multiple-value-bind (vars vals)
(labels ((f (lst vars vals)
(if (null lst)
(values (nreverse vars) (nreverse vals))
(f (cdr lst)
(cons (caar lst) vars)
(cons (cadar lst) vals)))))
(f args nil nil))
`(labels ((,name (,@vars)
,@body))
(,name ,@vals))))
やったー
lisper見習いだけどschemeの名前付きlet出来たよ
0556デフォルトの名無しさん2013/06/24(月) 20:07:26.81ID:S2JBsUZH!
>>555
惜しい。初期値の評価は名前の束縛が無い環境でやらないとならない。
(recur-let name ((fn name)) (funcall fn ...) ...) となってる時、
2個目のnameはlabelsで束縛されるnameじゃなくて、その外側のスコープのnameってことね。
0557デフォルトの名無しさん2013/06/24(月) 20:25:31.42
>>556
その式変数の初期化の部分がなにかおかしい気がするけど
(let ((evaled-vals (gensym)))
`(let ((,evaled-vals ,@vals))
(labels ((,name (,@vars)
,@body))
(,name ,evaled-vals))))))
(defun f () (format t "called~%"))
(named-let f ((fn 'f)) (funcall fn))

これでいいのかな
05585572013/06/24(月) 20:30:43.80
おかしいのは僕の目でした
0559デフォルトの名無しさん2013/06/24(月) 22:18:58.09
3分でわかるcommon lispの式評価規則の解説ってないですか？
シンボル周りの扱いがさっぱりです。
0560デフォルトの名無しさん2013/06/24(月) 22:39:26.43
ごめんなさい
30秒でわかるcommon lispの式評価規則の解説しか知らないです
0561はちみつ餃子 ◆8X2XSCHEME 2013/06/24(月) 22:52:05.11
>>559
どこがわからないのかわからないと説明しづらいと思う。
具体的な例を出してこう思うのにこうなるのは何でって質問してみそ。
俺は Common Lisp のことなんぞ知らんけど。
0562デフォルトの名無しさん2013/06/24(月) 23:01:01.40
・シンボルは普通の値用と関数値を持つ
・リストの先頭の場合、関数値が参照される
・それ以外は普通の値が参照される
・ただしsetqやsymbol-functionなど例外がある
・ラムダ式は関数値でなく関数の名前である
で1分

後は
・functionとsymbol-function、quoteの違いの話
・スコープの話
・setfの話
・マクロの話
で2分くらいか
0563デフォルトの名無しさん2013/06/24(月) 23:02:10.73
いやマクロ展開のタイミングの話は5分は必要か
0564デフォルトの名無しさん2013/06/24(月) 23:28:36.53
それこそdotinstall.comの解説動画っぽくなりそう
0565デフォルトの名無しさん2013/06/24(月) 23:40:20.92
>>559
ANSI Common Lisp
3.1.2.1.1 Symbols as Forms
http://zeus.ing.unibs.it/ansi-cl/subsubsu/symbolsa.htm
0566デフォルトの名無しさん2013/06/25(火) 00:02:25.97
>>561
ありがとうございます。
たとえばsymbol-valueは仕様書には「symbolのvalue cellを参照する」と書かれています。
setfの第1引数を(symbol-value 'a)にするとaのvalue cellの中身を書き換えることができるので
(symbol-value 'a)はcellの中身でなくcellへの参照値に評価されると思うのですが、
トップレベルで(symbol-value 'a)を評価するとcellの中身が返ってきます。
ということは参照値から中身への暗黙の変換を行う規則があるのだと思うのですが、
そういった規則はどれだけあってどういうときにどう働くのか全体が把握できない

といった悩みです。
0567デフォルトの名無しさん2013/06/25(火) 00:03:46.19
setfは特殊形式
評価方法は普通の関数呼び出しと違って、それぞれ独自。
0568デフォルトの名無しさん2013/06/25(火) 00:05:14.02
結局common lispは個別に関数やマクロをひとつずつ覚えていくしかない。
30秒で説明できるといった>560はたぶん冗談だろう。
0569デフォルトの名無しさん2013/06/25(火) 00:05:16.88
まあマクロだけどな
0570デフォルトの名無しさん2013/06/25(火) 00:57:02.60
最近みる妙の書き込みから想像すると
ハスケルで何か劇的な新機能でもできたのかな？
0571デフォルトの名無しさん2013/06/25(火) 01:03:01.42
land of lispの影響？
0572デフォルトの名無しさん2013/06/25(火) 01:07:41.82
setf.lsp読んでみればいいのに。
結構簡単だから。例えばgclのとか。
http://www.cs.cmu.edu/afs/cs/project/cmt-55/lti/Lab/Depot/Old/gcl-2.2/lsp/setf.lsp
0573デフォルトの名無しさん2013/06/25(火) 10:06:01.56
>>566
暗黙に参照に変換されることはない。setfの定義がうまいこと作られている。
まずsetfは関数でなくマクロなので、各引数は評価*されない*。
(setf (symbol-value 'a) 2)
とかすると各引数は評価されないでsetfに渡される。するとsetfは第一引数がリストだということと、
このリストの先頭にある名前、この場合ではsymbol-value、を見て、
それに対応する(あらかじめ色々な関数やマクロそれぞれに対して定義された)処理を探してくる仕掛け。
www.asahi-net.or.jp/~kc7k-nd/onlispjhtml/generalizedVariables.html
の最初と最後の節を参照。
0574デフォルトの名無しさん2013/06/25(火) 10:09:49.60
あ、微妙に誤読してた、まあいいか
0575デフォルトの名無しさん2013/06/25(火) 15:49:00.00
式の種類ごとにインバージョンの定義が必要なんだよね。
式を完全に評価してしまう一歩手前で止める、という演算が
あればもっと汎用的にできた気がする（Cでいう&みたいな）

たとえば
(setq lst '(a b c))
のとき
(car lst)は (car '(a b c)) → a → aの値
と評価されていくけど、
新しい演算lvalueを使うと
(lvalue (car lst)) → (lvalue (car '(a b c))) → (lvalue a) → a
で止まるみたいな。
そうすると
(setf (car lst) 480)
でなく
(setq (lvalue (car lst)) 480)
と書けるし、 インバージョンを用意する必要もない。
0576デフォルトの名無しさん2013/06/25(火) 16:02:02.46
ハッシュとかどうするの
新規のキーに値を追加したいとき、その値を入れる場所は、まだ無いよ
0577デフォルトの名無しさん2013/06/25(火) 16:31:11.62
>>575
つ TAO
http://www.nue.org/nue/tao/bitao/s004.html
0578デフォルトの名無しさん2013/06/25(火) 20:52:37.18
お前らLispしか取り柄がないのに
そのLispも不自由なのな
0579デフォルトの名無しさん2013/06/25(火) 21:38:24.74
さてコイツの取り柄は何だろうな
0580はちみつ餃子 ◆8X2XSCHEME 2013/06/25(火) 22:59:34.24
ISLISP の読み方ってイズリスプでいいの？
0581デフォルトの名無しさん2013/06/26(水) 02:28:44.32
使う側としては参照よりsetfのが汎用的だと思うけどなあ
マクロに関してはsetfは勝手に展開して追ってくれるので、オレオレアクセッサも
マクロとして定義してやる限りインバージョンを自分で定義する必要はほとんど発生しないと思う。

>>577 のリンクの冒頭に出てくるmaxfだってcommon lispでは
(define-modify-macro maxf (val)
(lambda (place val) (max place val)))
で定義出来るし、添字計算だって1回しかしない(これも >>573 のリンク参照)。

しかしTAOよく知らないんだけど設計始まったのcommon lisp以前なんだな。
当時setfまわりあまり固まってなかったんだろうか。
0582デフォルトの名無しさん2013/06/26(水) 04:04:01.88
>>546
>>366
0583デフォルトの名無しさん2013/06/26(水) 12:01:49.02
>>581
define-modify-macroの話はそのリンク先を最後まで読むと書いてあるよ
0584デフォルトの名無しさん2013/06/27(木) 20:44:22.08
>>581
David Moonのsetf hackとほぼ同時期なんじゃないか?
TAO関連はリアルタイムではほとんど発表してないはずだが。
若干日本語の報告があるだけで。
0585デフォルトの名無しさん2013/06/28(金) 00:08:54.97
OCamlの一本山であるJaneStreatではS式が永続化に使われているそうな。
http://d.hatena.ne.jp/camlspotter/20130626/1372228771
0586はちみつ餃子 ◆8X2XSCHEME 2013/06/28(金) 13:16:28.64
そうか。
0587デフォルトの名無しさん2013/06/28(金) 22:26:53.83
エラーもか
0588デフォルトの名無しさん2013/06/29(土) 00:43:35.08
http://d.hatena.ne.jp/niitsuma/20081113/1372410009
miniKanrenが思ったように動いてくれないので少し改造した
0589デフォルトの名無しさん2013/06/29(土) 13:52:16.43
setfはアラン・ケイのアイデアなんだってね
0590デフォルトの名無しさん2013/07/09(火) NY:AN:NY.AN
(map f lst)
でfがvaluesを返す場合は動かない(racketの場合)
関数の返り値にvaluesなんか使うぐらいならlistで返した方がまし？
valuesのメリットって何があるの？
0591はちみつ餃子 ◆8X2XSCHEME 2013/07/09(火) NY:AN:NY.AN
>>590
ちょっと速度が速くなったりメモリ効率がよくなったりする可能性がある。
スタックに積んで呼出し元に戻るという戦略が可能であり、
その方法を使った場合はメモリアロケーションが発生しない。
が、実装によるんじゃねーの。
内部的にはリストを作って受渡すりょうな実装もあるから、そういうのなら結局は同じことになるか、
場合によってはリストを分解する手間の分だけ遅くなることも有り得る。

CPS 変換された世界では関数を呼出すのも戻ってくるのも同じことなので、
呼出しには複数の値を渡せるのに戻ってくるときはひとつだけってのでは理屈に合わなくなるっていう理由もあるっぽい。
規格の末尾にある形式的意味論では CPS で書かれてるとかなんとか聞いたけどよくわかんなかった。

ちなみに map の第一引数に渡す手続きは一個の値を返すことと規格では明記されてる。
0592デフォルトの名無しさん2013/07/09(火) NY:AN:NY.AN
リストよりは型が強い

(lambda (x)
(let-values (((a b) (f x)))
a))
0593はちみつ餃子 ◆8X2XSCHEME 2013/07/09(火) NY:AN:NY.AN
値の個数は型じゃないだろ。
多値はファーストクラスじゃないんだし。

でもまぁ、値の個数が決まってる場面では多値にしとくとチェックが働くのが良いとは俺も思う。
0594デフォルトの名無しさん2013/07/09(火) NY:AN:NY.AN
http://www.youtube.com/watch?v=lCeat2lcdq0
0595デフォルトの名無しさん2013/07/09(火) NY:AN:NY.AN
sol-fa-soft 薄着少女
05965952013/07/09(火) NY:AN:NY.AN
すいません。 誤爆しました。
0597デフォルトの名無しさん2013/07/09(火) NY:AN:NY.AN
let over the lambda is loli
0598デフォルトの名無しさん2013/07/10(水) NY:AN:NY.AN
もちろん18歳以上ですよ
0599デフォルトの名無しさん2013/07/10(水) NY:AN:NY.AN
Let Over Lambda Is ..?
0600デフォルトの名無しさん2013/07/12(金) NY:AN:NY.AN
納得いかない。eq?ならわかるがequal? でも#f
#lang racket
(require srfi/9)
(define-record-type *foo-type*
(make-foo name)
foo-type?
(name foo-id)
)
(let ([x (make-foo 'a)]
[y (make-foo 'a)]
)
(equal? x y)
)
;=> #f
0601はちみつ餃子 ◆8X2XSCHEME 2013/07/13(土) NY:AN:NY.AN
>>600
R6RS の equal? はリスト、ベクタ、文字列、バイトベクタ以外は eqv? と同じになる。 (11.5)
そしてレコードを eqv? で比較した場合、同一のコンストラクタによって作られた構造体であっても、
別個の呼出しで作られた構造体である場合は #f になる。 (Standard Libraries: 6.1)

単純に再帰的に辿っちゃ駄目って話はここらへんで議論されてるみたい。 私はちゃんと読んでないけど。
http://www.r6rs.org/r6rs-editors/2005-August/000830.html

#lang racket の equal? はいくらか拡張されていたりはするみたいだが、
R6RS で #f となると定められているケースをあえて変更するほど強烈な動機があるかっていうとそうでもないように思う。
Racket は色々と冒険してるけど、 equal? はさすがにあまりに基本的な機能だからそうそう気軽に変えれないだろ。
0602はちみつ餃子 ◆8X2XSCHEME 2013/07/13(土) NY:AN:NY.AN
Sagittarius の中の人は未定義だったと思うって書いてるのを見付けたけど、
>>600 のケースなら #f で確定っていう俺の解釈が間違ってたりする？
https://twitter.com/tk_riple/status/355748513826607105
0603デフォルトの名無しさん2013/07/13(土) NY:AN:NY.AN
Javaのequals()のオーバーライド的なことも出来んのかプンプン
0604デフォルトの名無しさん2013/07/13(土) NY:AN:NY.ANID:cGgXBVKi!
SchemeというかLispの伝統なんだけど、型で操作が決まるんじゃなくて、型は単なる入れものとして
用意しておいてそれに対する操作を選ぶのは使う側だ、っていう文化がある。
リストを二分木に見たり連想リストに見たりね。
レコードの等価性も、レコード自身が決めるんじゃなくて、使う人によって何が等しいかを
決めるのが良いって背景があるかも。主流のオブジェクト指向とは異質だけれど。
Kent Pitmanがこの文化についてちょっと書いてたと思う。これかな。
http://www.nhplace.com/kent/PS/EQUAL.html
0605デフォルトの名無しさん2013/07/13(土) NY:AN:NY.AN
格言　「嫌なら自分で作り直せよ」
0606デフォルトの名無しさん2013/07/14(日) NY:AN:NY.AN
そしてCLOSが生まれた
0607はちみつ餃子 ◆8X2XSCHEME 2013/07/14(日) NY:AN:NY.AN
CLOS 風のオブジェクトシステムはモジュールシステムと相性が悪いって話があるんだけど、
http://practical-scheme.net/wiliki/wiliki.cgi?Gauche%3AGenericFunction%E3%81%A8Module
いくつかの Scheme 処理系に入ってるオブジェクトシステムはやっぱり CLOS ベースだよね。

Schemer もなんだかそれに慣れてしまってるというのと、 CL からのライブラリの輸入のために
CLOS で妥協しちゃってるというのがあると思う。
あらためて Scheme 的なオブジェクトシステムを考えるとしたらどんな設計が綺麗だと思う？
0608デフォルトの名無しさん2013/07/14(日) NY:AN:NY.AN
モジュールはマルチバイト文字列関係と数値計算用の行列関係のモジュールだけをコアでいれておいてくれればいいよ、もう

CLOS組み込むなら、型シグネチャを表現する仕組みをいれてほしかったり
0609デフォルトの名無しさん2013/07/14(日) NY:AN:NY.AN
http://d.hatena.ne.jp/camlspotter/touch/20080906/1220723583
http://www.geidai.ac.jp/~marui/clojure/rationale/
http://eed3si9n.com/ja/simplicity-matters

変数代入を禁止するとオブジェクトは直接使うためじゃなく、互換性とるため程度のものになりやすいのかもね。
0610はちみつ餃子 ◆8X2XSCHEME 2013/07/14(日) NY:AN:NY.AN
>>609
なるほど。 でも、 Lisper にとってはその「互換性をとるため」の重みは結構大きいのかもしれない。
http://practical-scheme.net/wiliki/wiliki.cgi?Lisp%3a%E3%82%88%E3%81%8F%E3%81%82%E3%82%8B%E6%AD%A3%E8%A7%A3#H-z6b2ut
ここで言う「どんなに汚くても、打てる手段がある」の手段のひとつになり得る。

とは言うものの、ここで言う Lisp は Common Lisp のことだよな。
Scheme (特に R6RS) だとむしろ後から変更したり割込んだりできないようにカプセル化するのが好まれる気がする。

理屈重視の人はオブジェクトシステムにあまり関心がなくて、
実用重視の人は (多少の問題があっても) CLOS 風ので充分だって感じなんだろうか。

shiro さんはオブジェクトシステムの支援なしでまとまったプログラムを書くのはしんどいと書いてるように、
http://practical-scheme.net/wiliki/wiliki.cgi?l=jp&;p=Scheme%3A%E3%82%AA%E3%83%96%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88%E6%8C%87%E5%90%91%E8%A1%A8%E7%8F%BE#H-ej37ta
実務で Scheme を使っている人にとってはオブジェクトという抽象単位は使い勝手が良いんだろうね。
0611デフォルトの名無しさん2013/07/14(日) NY:AN:NY.AN
>>609の一番上のページで参照されてる元記事は、
凄く型の強い言語(OCaml)でのOOPの不自由さを言ってる。
CLOSはずっとフリーダム。
0612デフォルトの名無しさん2013/07/14(日) NY:AN:NY.AN
CLOS とマクロとリーダマクロ使うとどこまでも自由 むしろ自由すぎて辛いくらい
0613デフォルトの名無しさん2013/07/14(日) NY:AN:NY.AN
>>612
それ、CLOS関係ないし
0614デフォルトの名無しさん2013/07/17(水) NY:AN:NY.AN
Lispの世界で「パラメーター」って動的スコープ変数の事なの？
0615はちみつ餃子 ◆8X2XSCHEME 2013/07/17(水) NY:AN:NY.AN
>>614
Scheme では仮引数のこともパラメタと言う。
R5RS ではそのへん曖昧なんだけど、rest-parameter って言葉は使われてるな。
R6RS 以降でははっきりと argument と parameter が使い分けられるようになったっぽい。

srfi-39 のパラメタは動的スコープをエミュレートするオブジェクトだけど、
あくまでオブジェクト側の性質であって、
変数に属性が付いてるわけじゃない。

Common Lisp のスペシャル変数とは性質が違うので誤解なきように。

というわけで、「Lisp の世界で」と一括りにすることは出来ないんじゃないかなぁ。
他の Lisp を知ってる人のそこらへんの考察は尋いてみたいね。
0616デフォルトの名無しさん2013/07/17(水) NY:AN:NY.AN
defparameter の事を言ってる？
defparameter で定義するのはプログラム全体に対するパラメタだと思う。
このパラメタは動的スコープの変数だけど、
全ての動的スコープの変数をパラメタと呼ぶわけじゃない。

それとは別に、いわゆる仮引数の事も普通にパラメタと呼んでると思う。
0617はちみつ餃子 ◆8X2XSCHEME 2013/07/18(木) NY:AN:NY.AN
一昔前まで Scheme に限らず argument と parameter の区別ははっきりしてなかったんだけど、
(訳がというわけじゃなくて英語での使い分けも)
parameter が仮引数で argument が実引数であるという誤解 (?) が一部で生じて
なんかもうそれでいこうみたいな空気だと思うんだけど、英語の話なのでよくわかんね。
0618はちみつ餃子 ◆8X2XSCHEME 2013/07/18(木) NY:AN:NY.AN
JISX0015:2002 情報処理用語（プログラム言語） から当該箇所を抜粋。
http://gazo.shitao.info/r/i/20130718010245_000.png
0619デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
そういう仕様って有料の情報じゃないの
0620デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
>>618
今度から
カラポって書かないと駄目か
0621はちみつ餃子 ◆8X2XSCHEME 2013/07/18(木) NY:AN:NY.AN
>>620
カラポ？
0622デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
>>620
ｶﾞｯ？
0623はちみつ餃子 ◆8X2XSCHEME 2013/07/18(木) NY:AN:NY.AN
空ポインタのことかな。 以前に C スレで話題になったことがある。
http://www.logsoku.com/r/tech/1331786500/#173
http://www.logsoku.com/r/tech/1331786500/#266

私も「からポインタ」だと思ってたけど、 C の規格的には「くうポインタ」らしいんだわ。
情報処理一般としての用語と C の用語が一致するとは限らないけど、
なんだかんだで C の影響力は強いからな。

実用上はぶっちゃけどうでもいい話なんだけど、
思ってたのと違うってのは、雑談としては面白いよな。
0624デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
空集合は「くうしゅうごう」だからかな
空文字列は「くうもじれつ」？
0625デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
そらポインタかと思ってた
0626デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
この速さなら言える……ｿﾗﾎﾟ
0627デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
クポ
0628デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
>>624
集合と文字列の音読み訓読みはどうなってるわけなの
0629デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
>>624
小学生の時「引数」をインスウって読んでた orz
0630デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
現代の送り仮名ルール的には「引き数」と書くべきなんだけどな。
まあ数学の世界の方から来た伝統なんで仕方ないが。
0631デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
何を引くんだろ
06326302013/07/18(木) NY:AN:NY.AN
元は対数表です。表を引く時の値が引数。
0633デフォルトの名無しさん2013/07/18(木) NY:AN:NY.AN
数表は対数表以外にもあるし。

関数のパラメタとかアーギュメントを引数と訳したほうが先じゃないの？
06346302013/07/18(木) NY:AN:NY.AN
昔は掛け算するのが大変なので、
三角関数表も対数表と組み合わせたものが使われていたのです。
ちなみに対数表や三角関数表が日本に入ったのは江戸時代初期です。
0635デフォルトの名無しさん2013/07/19(金) NY:AN:NY.AN
それはすごい発見だ。是非どこかで発表を。
0636デフォルトの名無しさん2013/07/19(金) NY:AN:NY.AN
用語なんかどうでもいいわ。
もっと本質的な議論しようぜ。
0637はちみつ餃子 ◆8X2XSCHEME 2013/07/19(金) NY:AN:NY.AN
用語重要。
用語がわかると資料の検索効率がかなり良くなるぞ。
質問するにしてもうやむやな言葉じゃさっぱり伝わらん。

でも、同じ意味なのに分野によって違う言葉が使われてたりするのは、
もうちょっと統一してもいいのになぁと思わなくもない。

例えば Windows の世界ではカーソルって言うとマウスカーソルのことなんだよな。
じゃあテキスト入力のところに出てくるアレは何よってことになるとキャレットという名前が付いてる。
Emacs 用語ではポイントという。

違う名前が付いてるのはまだマシなほうで、
ウェブブラウザと Emacs ではフレームとウィンドウの意味が逆になってる。
考えてみれば窓の中に骨組があるのも変な話なので、
フレームの中にウィンドウがある Emacs の方が妥当なのかもしれないな!!
0638デフォルトの名無しさん2013/07/19(金) NY:AN:NY.AN
りんねちゃんと無人島で二人きりて。
それどう考えてもエロフラグやろ…。
これのIF展開の薄い本が出ることを期待!!
0639デフォルトの名無しさん2013/07/19(金) NY:AN:NY.AN
「テキスト入力のところに出てくるアレ」にはEmacsでもカーソルって名前が付いてるよ。
「ポイント」はアレの位置を表す整数。

www.gnu.org/software/emacs/manual/html_node/emacs/Cursor-Display.html
www.gnu.org/software/emacs/manual/html_node/eintr/Point-and-mark.html
0640はちみつ餃子 ◆8X2XSCHEME 2013/07/19(金) NY:AN:NY.AN
そうか。
0641はちみつ餃子 ◆8X2XSCHEME 2013/07/19(金) NY:AN:NY.AN
>>638
「りんね」ってDQNネームだよね。
0642デフォルトの名無しさん2013/07/19(金) NY:AN:NY.AN
誤爆、今月二回目じゃないですか！
0643はちみつ餃子 ◆8X2XSCHEME 2013/07/20(土) NY:AN:NY.AN
プリティーリズムにもりんねという名前のキャラがいるのを発見。
今時は割と普通な名前なのかね。
0644名無し募集中。。。2013/07/20(土) NY:AN:NY.AN
りんね・・・
0645デフォルトの名無しさん2013/07/20(土) NY:AN:NY.AN
らけっとちゃんと無人島で二人きりて。
それどう考えてもエロフラグやろ…。
これのIF展開の薄い本が出ることを期待!!
http://nostarch.com/realmofracket
0646デフォルトの名無しさん2013/07/20(土) NY:AN:NY.AN
RoR
0647デフォルトの名無しさん2013/07/20(土) NY:AN:NY.AN
Rand of Risp
0648デフォルトの名無しさん2013/07/20(土) NY:AN:NY.AN
Common LispにはOn LispやLet Over Lambdaを始め
実用/実践Common LispやLand of Lispなどの名著がたくさんあるのに
Schemeときたらねｗ
0649デフォルトの名無しさん2013/07/20(土) NY:AN:NY.AN
既存のLisp方言には囚われない俺俺オリジナルLispを作るぜえええ
0650デフォルトの名無しさん2013/07/20(土) NY:AN:NY.AN
まあ、平均的なLisperならオレオレ実装を持っていて当然だからん
オレオレ実装をもってないのが許されるのは初心者まで
0651デフォルトの名無しさん2013/07/20(土) NY:AN:NY.AN
なんだ、俺Lisperじゃなかったのか
0652はちみつ餃子 ◆8X2XSCHEME 2013/07/21(日) NY:AN:NY.AN
Realm of Racket って日本語化の予定はないの？
0653デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
>>648
> Common LispにはOn LispやLet Over Lambdaを始め
> 実用/実践Common LispやLand of Lispなどの名著がたくさんあるのに
> Schemeときたらねｗ

英語の原書ではSchemeの方がCommon Lispよりも名著がずっと多い、昔からね。
しかもCommon Lispで名著や好著と呼べるレベルの本、つまり上に名前があげられてる類の本が
出版されるようになったのは最近のこと。10年前にはロクな本が出版されていなかったぞ。
Common Lispを取り巻く書籍の状況がようやくSchemeに近づいてきたってだけ。
ああ日本語しか読めない君みたいな人には関係ないか？ｗ
上に名前あげてるのって全部翻訳ある本だよねｗ
0654デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
schemeの名著と言われたら、真っ先に和田本が浮かぶ

というか、そもそもscheme自身についての解説書は必要でしょうか
別の応用の解説書で、たまたまschemeを実装に使ってるという本なら必要だとは思いますが
0655デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
素数夜曲っていう本が気になるけど分厚すぎて根気が続く気がしない
0656デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
今、整数の公理系をプログラミング言語で実装するのって流行ってるの？
0657デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
>>654
原書のほうじゃなくて？
あれは日本語訳が…
0658デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
Lisperには、和田本の変な日本語を楽しむ余裕が必要
0659デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
そういえばSICPスレが落ちているね

>>657,658
ちょうど今、読み始めているけど(節3.5.2を終えたところ)、
文章の日本語に何ら違和感を持たない自分は変なのだろうか？
誤って理解しないよういくらか冗長な文章であるけれど、
慎重に言葉使いを選んで翻訳されているように思える....
06606592013/07/21(日) NY:AN:NY.AN
自己レスで訂正

>そういえばSICPスレが落ちているね

勘違い、落ちていなかった...
0661デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
>>659
訳本だと分かってれば完璧な部類に入るが、「あ、これ日本人が書いたんだ〜」で読み始めた人は本を床に叩きつけるレベル
06626592013/07/21(日) NY:AN:NY.AN
>13 名前: 仕様書無しさん Mail: sage 投稿日: 2013/07/11(木) NY:AN:NY.AN
>今時にありがちな書籍のタイトル
>・はじめてのXXX
>・サルでもわかるXXX
>・ふつうのXXX
>
>これに当てはまるのは、どれも愚本のたぐい
>アマチュアとしてプログラミングを楽しみたい人には適しているかもしれないが、
>専門家/技術者の道に進もうと考えておるなら、避けるべき
>これら優しい口調の文章で「分かったつもり」の感覚に慣れてしまうと、
>次のステップへ進むために読む専門書の日本語文書に拒否反応を起こしてしまう

>>661
こういった本を期待するのが当たり前だ！と思うほど頭が慣れきってしまった人であれば、
SICP本を読んで床に叩きつけるのも合点がいくね
0663デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
>>662
そもそもSICPはscheme本じゃなくて計算機論の本だから、schemeの解説を期待して本を読んだ人は床に叩きつけると思う
0664デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
何を言いそうか先に見当をつけて
図を見てコードを見て、それから文章を読んで確認する
簡単だろ
0665デフォルトの名無しさん2013/07/21(日) NY:AN:NY.AN
>>663
アレを床にたたきつける人は先に日本語の読解力を も っ と つけておくべきだと思う
0666はちみつ餃子 ◆8X2XSCHEME 2013/07/21(日) NY:AN:NY.AN
議論はされつつも結局はまとまらずに規格 (RnRS) に入ってないものってのが結構あるんだよな。
デファクトスタンダードなライブラリとか SRFI も含めて言語としての Scheme を解説した本があれば、私は買っちゃうね。

それと、今 (日本語で) 出てる本はだいたい R5RS かそれより前の規格がベースになってるじゃん？
R6RS なり R7RS なりに改版するだけでもそれなりの需要があると思うんだけどどうよ？
0667デフォルトの名無しさん2013/07/22(月) NY:AN:NY.AN
cps変換とか直感論理との関係とからへんの話が面白そうなんだけど、なんかオススメの本とかない？
0668デフォルトの名無しさん2013/07/22(月) NY:AN:NY.AN
>>665
論点違ってないか？
おそらく scheme の解説を期待する人に与えるほうが問題なんだが
0669デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
そんなこと問題じゃないでしょう。
言語の解説をする本じゃないことは目次をみれば分かる。
0670デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
>>667
この辺りからGoogle Scholar等で新しい文献を辿ってみるとか。
https://ipsj.ixsq.nii.ac.jp/ej/index.php?active_action=repository_view_main_item_detail&;item_id=30769&item_no=1&page_id=13&block_id=8
http://link.springer.com/chapter/10.1007%2F3-540-54415-1_62
0671デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
>>669
エスパーしてみると、>>668には「与える」とあるから、
おそらく>>668は学部の講義テキストとしてSICP本を「与えられた」けど、
「scheme の解説を期待する人」だったので、床に叩きつけたんじゃないかと....
いわゆる、講義に付いていけない(付いていけなかった？)落ちこぼれの
泣き言ないし恨みつらみだと思われる

もしも自己啓発として独学の為「自ら手にした」のであれば、普通は目次くらい目を通すから
これが言語解説本でないことは(>>669が言うように)猿でもわかるはず(決して安価じゃないし)
というか、英語であれば全文が公開されているのだから、目次以前の話のような気もするが....
0672デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
lispの人って認定厨多すぎｗ
0673デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
そうやって逃げたかw
0674はちみつ餃子 ◆8X2XSCHEME 2013/07/23(火) NY:AN:NY.AN
話の起点は >>653 だろ。
「Scheme の本」の話なのに直後に >>654 が SICP の話題を出しやがるから、
「いやいや、 Scheme 自体を解説した本もいるだろ」っていう反応だで
0675デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
だで (笑)
0676デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
ム板も夏かー
0677デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
>>675
名古屋人をDISってんでにゃーよ
0678デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
猫可愛い

γ⌒ヽﾊ,,ﾊ　ﾆｬ-
（"_） (,, ・ｪ・）　　
0679デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
>>647

ほう、「本を床に叩きつける(>>661)」やら
「scheme の解説を期待する人に与えるほうが問題(>>668)」とやらが、
「いやいや、 Scheme 自体を解説した本もいるだろ」と解釈できるのか

さすがコテハン様、敬服しますわ
06806792013/07/23(火) NY:AN:NY.AN
アンカを訂正、>>647 は >>674 の間違い
0681デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
>>653
PAIPがあるじゃないですか。やだー
0682はちみつ餃子 ◆8X2XSCHEME 2013/07/23(火) NY:AN:NY.AN
DDI
0683デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
Winstonの"Lisp"の3rd ed.(1989) Common Lisp版が、
Common LispとSchme合わせて一番古い著名本じゃないかな。
ほぼ同時にCLOS本。
仕様書で良ければCLtL(1983)が5年くらい先行。

Common LispはずっとMLとNetNews文化だったから
その後あまり本が出なかったね。
0684はちみつ餃子 ◆8X2XSCHEME 2013/07/23(火) NY:AN:NY.AN
Scheme だと何だろう？
TSPL ?
最初の版が何年なのかよくわからんが第二版は 1996 てなってるな。
0685デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
>>669
目次など読まない
0686デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
目次 読み方で、検索するとだいたいこんな感じのことが書いてある。
http://www.osaka-kyoiku.ac.jp/~shakai/seiyosi/howtoread.htm
0687デフォルトの名無しさん2013/07/23(火) NY:AN:NY.AN
実践するとSICPの場合、まえがきでロックしちゃうか
0688デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
熱心な読者の粘着ぶりを見ていると
SICPの日本語版って危険な本みたいね
0689デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
ということにしたいのですね
0690デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
事実、2評に分かれて論争起こっている時点でそういう事だよ。
0691デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>690
2評に分かれるっていってもなぁ、SICP自体は言語解説の本ではなくアルゴリズムやデータ構造について学ぶコンピュータ概論みたいな書籍だから既知の事について学ばされる人が苛ついてるだけじゃないの？
0692デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
むしろ分からない人が焦れてる。
0693デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
練習問題が理系向けで歯が立たなくてイラつく（本心）
0694デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>693
そりゃそういう人（理系）向けなんだからどうしようもないんじゃ？
0695デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>693
確かに数学やデジタル回路ならともかく、アナログ系は電子工学の基礎が無い人にはつらいわな
問題2.13の並列抵抗を仮に突破できたとしても、問題3.73から始まるRC回路で絶望するだろw
0696デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
あれだ。クヌースの本の練習問題の難しさに付く、数学が必要な場合の「M」みたいに、
そういう問題の目安として「E」を。
0697はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
このスレは「Lisp Scheme」スレなわけだし、
多少はブレたり雑談をまじえたりはするにせよ、
SICP の内容そのものは本来は管轄外じゃねーの。
0698デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
まったく賛同できないが何か嫌なことでもあったのか
0699デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>697
同意する
でもなー、SICP読んで電子回路含めた理系の基礎教養も理解できないようじゃだめじゃないか?
とかも思ったりする。

#まぁ理系といっても医学とかだとまったく相容れないってのはあるけどさー
0700はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
俺がどうとかじゃなくてさ、
そう思うんならその理由を書けよ。
0701デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
え？
699だけど >>700の返しって俺？

#むしろワタクシが日本語と言う言語を勉強せにゃあかんかもしらん。
0702はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
おっと >>700 は >>698 に向けてのことね。
0703デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>702
ここが「Lisp Scheme」スレであり「多少ブレたり雑談を交えたりはする」のに
Schemeを利用するSICPの内容についての軽い雑談がアウトというのは説得力に欠けるだろう
0704はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
>>699
基礎教養として必要かどうかってのはまた別問題だろ。
有用な参考書として SICP を挙げるのはいいと思うけど、
Lisp/Scheme という言語をちょろっと使いたいだけの奴だって別にいいと思うんだよ。
Lisp/Scheme はそれが出来る言語だし、
サイエンスと強力に結びついてるかのようにハードルを上げちゃってる感じがイケてないと思う。

>>703
アウトとは書いてないだろ。
「本来は管轄外」なのに、ちょっと執着しすぎじゃねーのという感じのことが言いたいだけ。
コンピューターサイエンスに関心がない奴だって Lisp/Scheme を使ったっていいだろ？
このスレに来るなら理解してて (最低限目を通してて) 当然みたいな態度がちょくちょく見えてヤな感じだと思うわけだよ。
0705698ではない2013/07/25(木) NY:AN:NY.AN
>>702
何か真面目な議論でスレが流れている時であれば
SICPの話題が目障りだというのなら分かるけど、
スレ(板？)全体が停滞気味なんだから、
(Schemeとも関連のある)SICP談義で雑談モードもいいんじゃねえの？

というか、自分の不幸を他人に八つ当たりして発散させるよりも、
自分から新鮮なネタを提供するほうが前向きな生き方だと思うよ
0706はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
>>705
> というか、自分の不幸を他人に八つ当たりして発散させるよりも、
> 自分から新鮮なネタを提供するほうが前向きな生き方だと思うよ

ほら、またこういうことを言う。
別に話題にすんなとは言ってなくて、
そういう態度がクソだって言ってるんだよ。
0707デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>704がLisp/Scheme初心者専用スレを立てて移動すればいいんじゃね？

このスレ、別に初心者お断りではないけれど、理系お断りとも書いていない
もちろん文系向けの話題があっても大いに結構なわけで....
自分勝手に「本来は管轄外」などと宣言しても、説得力ねえよ
0708デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>706
クソとか下品な言葉な大好きな人に言われてもなあ....

何かSICPにトラウマがあるん？
0709はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
>>707
話題にすんなってわけじゃないつってんだろ。
ちゃんと読んでから反応しろよ。 もう一度 >>704 を読んでくれ。
0710デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>709

>>697
>SICP の内容そのものは本来は管轄外じゃねーの。

>>700
>そう思うんならその理由を書けよ。

完全な上から目線で「話題にすんな」って言ってる気がするけどなあ....
SICPに関してだけ、えらく過敏に反応してるように見える
自分の過去カキコを読み直してごらん
他人からは、かなり専門的なウンチクを自慢げに語っているように見えるけど気付かないのかな
(そのウンチク語りそのものを否定している訳じゃないから、念の為)

自分にとって嫌な話題であれば、華麗にスルーできる耐性が不足してるんじゃね？
単なるワガママとも言うが....
0711はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
>>710
SICP をとりあげてるのはそれが目立つからであって、私の主張は >>704 の通り。
コンピューターサイエンスに関心がない奴 (SICP を読まない奴、理解できない奴) を馬鹿にするような態度はイケてないだろって話。
普段使いの言語のひとつとして Lisp/Scheme を選ぶ奴だっていて、そういう奴も仲間だと俺は思う。
よりよく使うために SICP が役には立つのは確かだし、薦めることもあるけども。
0712デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
じゃあいいじゃん。
0713はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
いいよ。
0714デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
じゃあSICPの話を続けるか
0715デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>711
なあーんだ、結局>>697,700は他人の成り済ましだったのか
よかった、よかったw
0716デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
なんだいいのか
0717デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
CTMCPが主流になれば、SICP世代も何十年後かに絶滅してlispスレから計算機言語の概念に関する本の話題もなくなるはず。
CTMCPはどうもOzのせいで実習環境作るのに断念してしまう問題点があるらしい。
なので、Ozが簡単に動かせるようにするか、本をHaskellで書き換える人がいると、SICPの終焉に協力できる。
0718はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
間違いなく俺だけどそう判断した根拠は？
誤解が有るなら訂正したい。
0719デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
あの本は、利用言語が並列制約型であることに依存してる。
HaskellやSchemeで書きなおすとすると、
かなり最初の部分からDSLを使うことになって、
本の趣旨が相当捻じ曲げられてしまうと思う。
0720デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>718
壁に向かって独り言？
それとも、また誰かアンカの付け方も知らない素人の成り済ましかな？
0721デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
なんかまともに話し合う気なさそう
0722デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>711
>コンピューターサイエンスに関心がない奴 (SICP を読まない奴、理解できない奴) を馬鹿にするような態度はイケてないだろって話。

何か勘違いしやいないか？
コンピュータサイエンスに関心がないのに「見栄を張りたい」が為に手を出し、
自分が理解できないのを翻訳者や本のせいにする態度がイケてないだろって話なんだが。

コンピュータサイエンスに関心がある、または自己のプログラミング能力を向上させたいと
考えているヤツなら、目次や前書きくらいは目を通して買うか買わまいか真剣に考えるはず。
で、もし買ったのなら理解できないところは自分の経験不足だと考えて、
数学なり電子工学の初心者向け解説書に手を出して勉強するよ。時間はかかるがね。
そういった真面目に学ぼうとしているヤシラを馬鹿にしてやいないか？

別に普段使いの言語のひとつとして Lisp/Scheme を選ぶ奴だっていてもいいさ。
ただ、それが目的ならSICPよりももっと適した本があるだろ。
SICPが目立つのは理由がある訳で、それが目障りだからといって
執拗に叩くことを正当化する態度はイケてないと考えるよ。
0723はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
>>722
あのさー。 同じことを何度書かせりゃ気がすむんだよ。
俺は SICP を批判してるわけじゃねーし、話題にすんなとも書いてないのになんでそういう風になってるわけ？

SICP を買いたくて買った奴はそれでいいし、理解できるならそりゃ立派なことだよ。
普段使いの言語のひとつとして Lisp/Scheme を選ぶ奴に対してまで SICP を当然の知識として押し付ける奴のことを
イケてないと俺は書いてるつもりなんだがそんなにわかり難いか？
0724デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
ニュー速でスレが立ってた

プログラミング言語Harlanは最近、Eric Holk氏が発表した言語で、リッチなデータ構造をサポートしたGPU向けのプログラミング言語だ。Mac OS X 10.6, 10.7, 10.8とLinux系のOSで動作する。
Harlanを動かすには、Intel OpenCL SDK、NVIDIA CUDA Toolkit、AMD Accelerated Parallel Processing (APP) SDKのようなOpenCLの実装に加え、Petite Chez Schemeが必要だ。さらに、間もなく高階関数もサポートされる予定だ。
http://www.infoq.com/jp/news/2013/07/harlan

Schemeで書かれたGPU向け新プログラミング言語Harlan

2013年07月05日
　GPU向けのプログラミング言語HarlanがGitHubで公開されました。 　動作にはOpenCLとPetite Chez Schemeが必要で、Mac OS X 10.6以降とLinuxがサポートで動作が確認されているそうです。
元記事URL : http://www.phoronix.com/scan.php?page=news_item&;px=MTQwMzE
0725デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
DSLなのかな？
0726はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
どうしてオープンソースではない Petite Chez Scheme を使うのかと小一時間問い詰めたい。
0727デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
LISP
http://www.amazon.co.jp/dp/4563007846/

人工知能
http://www.amazon.co.jp/dp/4563007471/

この2冊で充分
0728デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
>>723
>話題にすんなとも書いてないのに

>>710
>>>697
>>SICP の内容そのものは本来は管轄外じゃねーの。
>
>>>700
>>そう思うんならその理由を書けよ。
>
>完全な上から目線で「話題にすんな」って言ってる気がするけどなあ....

この部分を無視しているけど、どう考えているのよ？普通は「話題にすんな」と受け取るだろ。

おまけに、>>674では「>>654 がSICP の話題を出しやがるから」などと言うしまつ。
こんなこと言っておいてから、>>704,710のちゃぶ台返しで「そんなこと言ってない」と
いわれてもなあ... 成り済ましでないのなら、多重人格症なのか？感受性がない人なの？

あと、「普段使いの言語のひとつとして Lisp/Scheme を選ぶ奴に対してまで SICP を
当然の知識として押し付ける奴」のカキコってどれよ？
>>654は「SICPは名著だ」と言ってるだけで押し付けてはいないし、
その後もSICPを読むには理系(工学系)の知識が必要だね、って話は続くが押しつけじゃないし。
0729はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
https://twitter.com/sym_num/status/360374270360174594

何がいいたいのかよくわからんのでもっとくやしく。
0730デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
そういえば、はちみつたんは twitter やってないの？
これは別人？ @honeychiaotzu
07317282013/07/25(木) NY:AN:NY.AN
アンカが間違っていたので、訂正する

誤) >こんなこと言っておいてから、>>704,710のちゃぶ台返しで「そんなこと言ってない」と
正) >こんなこと言っておいてから、>>704,711のちゃぶ台返しで「そんなこと言ってない」と
0732はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
>>728
> この部分を無視しているけど、どう考えているのよ？普通は「話題にすんな」と受け取るだろ。

それは言葉が足りなかったと思う。 だから >>704 で補ってるんだが。
例えばこのスレで遺伝子研究に Lisp を使いたいですとかいう話題が出たとしよう。
それはもちろんアリだろ。 わかるやつがわかる範囲で助言すりゃいい。
でも、そこで 「遺伝子の構造知らんのm9(^Д^)ﾌﾟｷﾞｬｰｰ」 ってなったら「ここ Lisp Scheme スレですし…」ってなるだろ。
遺伝子のことは管轄外だろ。
Lisp Scheme スレなのに、言語とは直接の関係がない SICP を読んでて当然、理解できて当然みたいにするのはちょっとちゃうやろ。

> >>654は「SICPは名著だ」と言ってるだけで押し付けてはいないし、
> その後もSICPを読むには理系(工学系)の知識が必要だね、って話は続くが押しつけじゃないし。

そいつは Scheme を解説した書籍の必要性を否定してるんだぞ。 言葉としては問い掛けという形にはしてるけど。
単に Scheme という言語を使いたいってだけの奴の道筋を否定してるように俺には取れたんだ。
0733はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
>>730
そいつは別人。
Twitter で Scheme の話題を出してる奴って少なくね？
Scheme クラスタを根刮ぎフォローしたら俺かもしれないぞ。

俺が Twitter アカウントを持ってない可能性もあるし、
持ってたとしてもでは Scheme の話題を出さないかもしれないので、
いわゆるシュレジンガーの猫。

　　　／l、
　　 (ﾟ､ ｡｀ﾌ ニャーン
　　 ｣　 "ヽ
　　()ιし(~)〜
0734デフォルトの名無しさん2013/07/25(木) NY:AN:NY.AN
ハーランに対抗してコムトライヤというコンパイラを作るべきなのだろうか

stalinよりも速いの？
0735はちみつ餃子 ◆8X2XSCHEME 2013/07/25(木) NY:AN:NY.AN
>>734
用途によるんじゃないの。
並列化しやすい計算なら速くなる可能性が高いだろうし。
0736デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
>>732
>それは言葉が足りなかったと思う。 だから >>704 で補ってるんだが。

言葉が足りなかったのなら、前言を撤回した上で、それを直接言わなければ他人には分からんよ
>>704は言葉を補っているんじゃなくて、自己正当化の「いい訳」に聞こえた


>Lisp Scheme スレなのに、言語とは直接の関係がない SICP を読んでて当然、理解できて当然みたいにするのはちょっとちゃうやろ。

SICPはScheme解説書ではないけれど、
「理系(工学系)を題材にしてSchemeによるモデル化のプログラミング法を解説」
した、ム板のLisp Schemeスレと直接関係する本だよ
しかも「数学やら電子工学も知らんのm9(^Д^)ﾌﾟｷﾞｬｰｰ」とは誰も言っていないし、
題材が理系だから前提知識として必要だね、ハードルの高い本だよねと言ってるだけ
どこをどう受けとれば「SICP を読んでて当然、理解できて当然」に脳内変換されるのか、
訳がわからん


>単に Scheme という言語を使いたいってだけの奴の道筋を否定してるように俺には取れたんだ

ならば、>>654に対してそれを直接伝えればいい。それを上から目線で>>697,700みたいな
レスを返すから、「SICPを話題にするな」と受け取れられてしまう


全体を通して、コテハンを名乗るなら名乗るなりに、言葉を慎重に選ぶ大人の自覚が必要だと思う
0737デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
SICPもいいけどEOPLも同じくらいにいい
first edition は飯を食うのも忘れて読みふけった
0738デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
>>737
LISP本の中では、SICPの次に読むつもり
ある言語を理解したいと思ったなら、
その言語の処理系(インタプリタ)を書いてみるのが一番だと思う
0739デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
素数夜曲の著者はあとがきでこう述べている

「歴史的名著『計算機プログラムの構造と解釈』、通称「SICP」は常に傍らにあった。この著作は
演習問題の膨大さでも知られている。初学者に読み難さを感じさせる最大の要因が、問題を解か
なければ次に進めない構造、解答がそのまま次のステップで必須とされる点にあるだろう」（p.844）

また>>722,736はこう述べる

「で、もし買ったのなら理解できないところは自分の経験不足だと考えて、
数学なり電子工学の初心者向け解説書に手を出して勉強するよ。時間はかかるがね」
「題材が理系だから前提知識として必要だね、ハードルの高い本だよね」

練習問題を飛ばして読み進めて頓挫する文系プログラマは後を絶たない
今回のやりとりはかれらへの福音となるであろう（文系しるす）
0740デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
>>724
自由度が高そうに見えるが、裏の原理とかに結構気を配ってコードを書かないと、
GPUの性能が台無しなコードになっちゃうじゃないかね。
それともコンパイラが上手く良きに計らってくれるのかね。
0741はちみつ餃子 ◆8X2XSCHEME 2013/07/26(金) NY:AN:NY.AN
>>736
俺の文章ではわかりやすく言い方は誇張したけど、 >>662 とか >>671 みたいな奴はいてるやん。

それと、繰り返しになるけど、 SICP はこのスレでよく出てくるから取り上げただけだかんね。
Scheme (Lisp) が小難しいサイエンスと強く結び付いていてそれの理解が必須であるかのように言ってる奴はこのスレにいるだろ。
背景としての理屈はあるけど、それを理解できなくても理解できないなりに Scheme は使えるんだから、
変にハードルを上げるようなまねをして欲しくないってだけなんだよ。
0742デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
伸びてると思ったらなんだこれ？
lispのこと語ろうよ。
0743デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
>>733
　 ヘ＿ヘ
　ミ ・ ・ ミ
　 ( °　 )〜
0744デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
このスレは「Lisp Scheme」スレなわけだし、
多少はブレたり雑談をまじえたりはするにせよ、
SICPについて話すべきかどうかは本来は管轄外じゃねーの。
0745デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
Schemeでの並列処理はどの程度、研究されてるんだい？
2010年代にはcorei100なんてのが出現しそうな勢いだが。
0746デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
>>724
Connection Machine Lispきたー
懼ｧｱLispきたー

> さらに、間もなく高階関数もサポートされる予定だ。

デジャブ

>>745
ファーストクラスの継続がないとSchemeとは言えないと思うが、
SIMDっぽい並列とScheme的継続をうまく整合させるのは難しい。
独自になるなら最初から俺Lispとなるのだと思う。
>>724は高階関数すらまだなくSchemeとしてはレアケースだろう。
0747デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
> インディアナ大学の博士課程で学ぶエリック・ホーク
元ザ・シンキング・マシン、コネクション・マシン関係の人というわけではなさそうだ。
0748はちみつ餃子 ◆8X2XSCHEME 2013/07/26(金) NY:AN:NY.AN
R7RS では低レベルマクロは large の方に入るの？
small に syntax-rules (高レベルマクロ) が有って large に低レベルマクロってなんか変じゃね？
0749デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
syntax-caseを使って別のfrontendを書く、
こういう機能は最小仕様には必要ないという考え方だろう。
0750はちみつ餃子 ◆8X2XSCHEME 2013/07/26(金) NY:AN:NY.AN
そういう話じゃなくて。
低レベルな方をコア (small) に入れて高レベルな方をライブラリ (large) にするのが筋じゃねってことを言いたいんだけど。
0751デフォルトの名無しさん2013/07/26(金) NY:AN:NY.AN
SchemeはEuLispじゃない
0752はちみつ餃子 ◆8X2XSCHEME 2013/07/26(金) NY:AN:NY.AN
そうか。
0753デフォルトの名無しさん2013/07/27(土) NY:AN:NY.AN
http://cl-www.msi.co.jp/reports/strange-function.html
地道にアセンブラコード調べてアプリケーションプログラムをチューニングしてんだな。
clojureもcoreな部分で高速化頑張ってるけど、javaや同じイミュータブルなデータ構造を持つscalaと比べて等速までもってくのはなかなか難しい
0754はちみつ餃子 ◆8X2XSCHEME 2013/07/27(土) NY:AN:NY.AN
R7RS large に低レベルマクロが入るとしたら explicit renaming か syntactic closure のどっちだと思う？
0755デフォルトの名無しさん2013/07/27(土) NY:AN:NY.AN
いっそのこと両方入れればいいんじゃない
0756はちみつ餃子 ◆8X2XSCHEME 2013/07/27(土) NY:AN:NY.AN
ですよねー。
0757デフォルトの名無しさん2013/07/27(土) NY:AN:NY.ANID:qgSkmMC6!
>>745
SchemeでFutureとか研究されてたのが20年くらい前だよ。
Lispと違ってSchemeだと並行計算に継続をどう絡めるかって話が多かったかな。
http://library.readscheme.org/page9.html
0758デフォルトの名無しさん2013/07/27(土) NY:AN:NY.AN
Schemeで型情報を追記する場合の標準ってありますか？
CLにあわせたdeclareにした方が違う処理系でも取り込みやすいのでしょうか
0759はちみつ餃子 ◆8X2XSCHEME 2013/07/27(土) NY:AN:NY.AN
標準と言えるほど確立したものはないと思う。
Typed Racket あたりがまぁまぁ先駆的なんじゃね。

取込みやすいってのがどういうことを言ってるのかよくわからん。
0760デフォルトの名無しさん2013/07/28(日) NY:AN:NY.AN
>>755
その方針でいくと将来的にCommon Lisp以上のモンスターが誕生するんだが。
0761はちみつ餃子 ◆8X2XSCHEME 2013/07/28(日) NY:AN:NY.AN
>>760
> http://ccil.org/~cowan/scheme-2011-09.pdf
> A fully equipped R7RS-large system will almost certainly be larger than Common Lisp

完備された R7RS large システムはほぼ確実に Common Lisp より大きくなります。
0762デフォルトの名無しさん2013/07/28(日) NY:AN:NY.AN
マジか、、scheme は一体何処に向かってるんだ？
0763デフォルトの名無しさん2013/07/28(日) NY:AN:NY.AN
Common Lispは言語仕様とライブラリ仕様が、
一冊の本にまとめられてるから大きく感じるだけで、
今やpython(および標準で配布されるライブラリ)とあまり大差ないくらいでしょ。
ワンパック実行/開発環境としてのJava JRE/JDK、
標準ライブラリ規約としてのJCPと比べるともの凄く小さい。
0764デフォルトの名無しさん2013/07/28(日) NY:AN:NY.AN
マジか、、scheme は一体何処に向かってるんだ？
0765デフォルトの名無しさん2013/07/28(日) NY:AN:NY.AN
すまん、二回送られてしまった
0766デフォルトの名無しさん2013/07/28(日) NY:AN:NY.AN
ライブラリも含めて標準化するのにCommon Lisp仕様より小さかったら話にならない。
0767はちみつ餃子 ◆8X2XSCHEME 2013/07/28(日) NY:AN:NY.AN
R7RS large が制定されて処理系も充実するようなら、
もしかすると Common Lisp が担ってきた分野の一部を Scheme が食うことになるかもな。
処理系の信頼性っていうのは実績で判断されるからそう簡単ではないだろうけど。
0768はちみつ餃子 ◆8X2XSCHEME 2013/07/29(月) NY:AN:NY.AN
前スレで Common Lisp の関数群は標準ライブラリではないっていう指摘があったな。
http://www.logsoku.com/r/tech/1348018916/321

Scheme でも同じだけど、 Lisp ってどれがプリミティブ (コンパイラ自身が特別なものとして認識する語彙) で
どれが標準ライブラリなのかっていうのは区別しづらいよな。
例えば Scheme の規格の後の方にあるマクロ使用例には lambda にマクロをかぶせて let を作る例は載ってるけど、
let から lambda を作ることも出来て規格上はどっちでも問題ない。
どちらがプリミティブであるべきかっていうのは意味付けの仕方によって変わってしまう。
(実装上は大抵の処理系が let を特別扱いしている。)

R6RS だとプリミティブな機能だろうが何だろうがライブラリは名前の束を管理するようになってるのを見て
こういうやりかたもあるのかとちょっと感心した。
define とか lambda とかいう基本的な機能も (rnrs base (6)) に属してる。
C で言えば for とか struct とかをモジュールに分けるみたいなもんだから、こりゃ Lisp でなきゃ出来んわと思った。
0769デフォルトの名無しさん2013/07/29(月) NY:AN:NY.AN
ライブラリが含まれるから仕様が大きくなるとかそういうのじゃなくって、
良く吟味しないで仕様をガンガン入れると、仕様も無駄にデカくなるわレガシーなAPI引き摺ることになるわ、
Common Lispなんて目じゃない惨状を招くよ、って話なんだけど。Schemerってそういうの嫌いじゃなかったの？
0770デフォルトの名無しさん2013/07/29(月) NY:AN:NY.AN
R6RS Recordsとか、最近だとSRFI-106あたりのグダグダっぷりを見てると、
R7RS largeを本当にまとめきれるのかはかなり疑問。
ERR5RSみたいなのが出てくることにならなきゃいいけど。
0771はちみつ餃子 ◆8X2XSCHEME 2013/07/29(月) NY:AN:NY.AN
>>769
低レベルマクロに関して言えば既にかなり議論されてて、
それでもなおどちらが相応しいとは言えないという感じなので、 >>755 の意見はそれを踏まえてのものだと思う。

R7RS large 全体に関して言えばもちろん長い時間をかけて検討すべきだよ。

他にもある程度煮詰ってる機能でも本質的な機能じゃないからとかなんとかで
規格に入れるには至ってないものもあったりするので、
そういうのは過去の議論を踏まえて比較的短い検討時間で済むんじゃないかな。

ソケットまわりなんかは POSIX のモデルをそのまま受入れるのなら話は早いんだが、
そういう前提を嫌う人は絶対いるからかなりもめそう。
0772デフォルトの名無しさん2013/07/29(月) NY:AN:NY.AN
ソケット、この時点で既にBSD由来のAPIモデルです。
0773デフォルトの名無しさん2013/07/29(月) NY:AN:NY.AN
>>769
古いものは捨てて新しくすればいいんだよ。
deprecatedのない仕様は生きてない仕様。
0774はちみつ餃子 ◆8X2XSCHEME 2013/07/29(月) NY:AN:NY.AN
>>772
へー。 そうなのか。

でも、 Scheme としての API (インターフェイス) を決めるとなると、
イベントとかスレッドとかのモデルとも関係してくるんじゃないのかな。
非同期 I/O の枠組みを挟むべきかどうかとか、考えるときりが無いというか、
他の諸々との連携で考えるべきことは多そうに思う。
0775デフォルトの名無しさん2013/07/29(月) NY:AN:NY.AN
>>773
>>769が懸念しているのは、Scheme作者様本人が書かれた文書にある
Schemeコミュニティの伝統的精神が変化しつつあることではないのだろうか？

　==== Scheme 過去◇現在◇未来 ====

　Schemeコミュニティはとてもフレンドリーです。ほとんど彼らはコンセンサス
　で合意してきました。Revised reportの作業をしていたときの委員会の大原則
　は、「もし変更が提案された場合、誰かがnoと言ったらそれは入れられない」
　ということでした。別の言い方をすると、誰もがそれに同意しないと直さない。
　これは言語を小さいものに保ちます。

　これとCommon Lispコミュニティと比べてもいいかもしれません。Common Lisp
　はフレンドリーではないとも言えるでしょう。コンセンサスで動くのではなかっ
　た。5年間私は委員長をしていました。論点の調停をしていました。それは私の
　一生でもっとも困難な仕事でした! Common Lispでの原則は、「変更が提案され
　るとき、誰かがyesと言うとその機能は言語に入れられていきます!」だから、
　Common Lispは大きくなりました。

ttp://www010.upp.so-net.ne.jp/okshirai/scheme-20070402222203.txt
0776はちみつ餃子 ◆8X2XSCHEME 2013/07/29(月) NY:AN:NY.AN
>>775
どうだろう。 Scheme の「規格」はいつもコアとなる「言語」しか決めようとしなかった。

でも、コミュニティとしてはライブラリが無くていいと思ってたわけじゃなくて、
(実際、規格の範囲内で出来ることが限定的すぎて)
srfi なり処理系の拡張なりで勝手にやるよっていう雰囲気だっただけじゃん？
(その文書の当時はまだ srfi は無かったはずだけど)
言語コアについて一段落した今、ライブラリを拡充しようとするのが Scheme の精神に反するとは言えないんじゃないかな。
そのライブラリについて誰もが納得するまで議論を尽すのでなければ Scheme の精神に反することになるだろうけど。
R6RS に批判が集中したのも拙速すぎて議論が尽されてなかったからこそだし。
0777デフォルトの名無しさん2013/07/29(月) NY:AN:NY.AN
Steeleは自分がただ一人のまとめ役だったから、
(それを反映してCLtLはSteele単独の著作になってる)
Common Lispについてはちょっと大げさに言ってるだけ。
本人はもっと過去の互換性を切り捨てて
設計した方が良かったと今では思っているので。
何でも入れられたってことはない。

lexical scopeのように、反対は大きかった関わらず、他は捨ててものもある。
そもそも初期は委員会じゃないし、
委員会になってからもCLOS関連は実際的なOOPSは何も入れずに、
カーネル言語であるCLOSだけ入れることで決着付けた。
0778デフォルトの名無しさん2013/07/30(火) NY:AN:NY.AN
cffiはどの処理系も似たようなものだけど
Schemeを逆にCから使うばあいのffiも統一してくれないものか
0779デフォルトの名無しさん2013/07/30(火) NY:AN:NY.AN
>>773
そうしてPHP並に互換性の概念のない言語が誕生するんですね。

極論はさておき、Pythonとか見てると弊害が実に良く分かると思う。
利用人口少ない言語であんなことやったらマジ自滅。
0780はちみつ餃子 ◆8X2XSCHEME 2013/07/30(火) NY:AN:NY.AN
あまり大幅に変えるならいっそ別の名前を付けろとよく思う。
0781デフォルトの名無しさん2013/07/30(火) NY:AN:NY.ANID:nYdZBhbg!
Racket 「呼んだ?」 >>780
0782デフォルトの名無しさん2013/07/30(火) NY:AN:NY.AN
>>779
Javaはちゃんとこなしてるよ。
Pythonもメジャーバージョンアップはメリハリ付けてて問題ない。
0783デフォルトの名無しさん2013/07/30(火) NY:AN:NY.AN
>>782
>Pythonもメジャーバージョンアップはメリハリ付けてて問題ない。
えー？
ruby並に酷いと思うんだけど。

少なくともJVMとかCLIのVMベースでここまで酷いのないし,CLはCLtLみたしてるし。
Schemeがひどいのは規格外の部分だし（そのせいで酷い目にはあったけど)
0784デフォルトの名無しさん2013/07/31(水) NY:AN:NY.AN
すいません、ここでGIMPのscript-fu(基本はR5RS準拠)について質問してもいいですか？
ソフトウェア板のGIMPスレは主にソフトの使い方についてなので。

二度手間にならないように質問を書かせてもらいます。
スレ違いならスルーでお願いします。

script-fu では
gimp-image-get-name, gimp-layer-get-opacity などの画像の状態を取得する関数があるのですが
返す値が1つであっても必ずリストで返ってくるため car で取り出さないといけません。

このような時にマクロを使って

g-image-get-name のような g-* という関数があれば、
それぞれに対応する元のgimp-から始まる関数を呼び出して、
返り値のリスト内の要素が1つであれば、リストではなく中の値だけを返す。

という処理は可能でしょうか？
可能ならどうすればできるのか教えて頂けないでしょうか。
0785はちみつ餃子 ◆8X2XSCHEME 2013/07/31(水) NY:AN:NY.AN
ググって調べてみたら script-fu は TinyScheme ベースなんだね。
GIMP をインストールするのはダルいのでとりあえず TinyScheme で動くように書いてみたけど、大丈夫かな？
もしかすると script-fu は古い TinyScheme をベースにしてたり制限されてたりしてて動かないかも？

(macro (define-car-only-proc sym)
`(define
,(let ((str (symbol->string (cadr sym))))
(if (and (>= (string-length str) 5)
(= 5 (do ((i 0 (+ i 1)))
((or (= i 5)
(not (char=? (string-ref str i)
(string-ref "gimp-" i))))
i))))
(string->symbol
(string-append "g-" (substring str 5 (string-length str))))
(string->symbol (string-append "g-" str))))
(lambda arg (car (apply ,(cadr sym) arg)))))

これを使って

(define-car-only-proc gimp-image-get-name)

とすると g-image-get-name が定義されるよ。
元の変数の名前に gimp- という接頭辞が付いていたらそれが g- に付けかえられて、
それ以外の接頭辞だったら元の変数名の頭に g- を追加したものが新しい手続きの名前になるようにした。

もしも Ruby で言うところの method_missing みたいなのを期待しているのなら、それは無理だと思う。
0786デフォルトの名無しさん2013/07/31(水) NY:AN:NY.AN
え！？Lispってなんでもできるんじゃないの！？
0787デフォルトの名無しさん2013/07/31(水) NY:AN:NY.AN
>>784 こんなのはどうだ？マクロじゃなくて関数だが

(define (g fn . sym)
(let ((lst (apply fn sym)))
(if (= 1 (length lst)) (car lst) lst)))

;; 使い方
(g gimp-image-get-name) ;=> 結果が1要素ならリストじゃなくて中の要素を返す。
(g gimp-layer-get-opacity)
0788デフォルトの名無しさん2013/07/31(水) NY:AN:NY.AN
Racket を使っています。
raco planet install コマンドでライブラリをインストールしたのですが、
インストールしたライブラリをプログラムに import する方法がわかりません。

require 構文でなら (require (planet ebellani/cyclic-redundancy-check:1:2)) といった要領で出来るのはわかっているのですが、
R6RS モードの import 構文での相当する記述方法を教えて下さい。
宜しくおねがいします。
0789デフォルトの名無しさん2013/08/01(木) NY:AN:NY.AN
>>788

Racketやめて、Gaucheにしなはれ。Shiroさんが丁寧に教えてくれるよ。
07907882013/08/01(木) NY:AN:NY.AN
>>789
普段は Gauche を使うことが多いです。
今回は Gauche 用に作ったライブラリを Racket へ移植しようとしているところなんです。
Gauche が優秀なのはよくわかっていますが、万能というわけでもないので。

IRC の方で質問しても racket モードならスムーズだとか言われて、そんなことは知っとんやと小一時間問い詰めたい。
(けど英語が下手くそ過ぎるので出来なかった。)
0791デフォルトの名無しさん2013/08/01(木) NY:AN:NY.AN
racket のことはオレはわからんけど(スマヌ)、gauche の足りないところはぜひ書いといてくれ
0792デフォルトの名無しさん2013/08/01(木) NY:AN:NY.AN
http://docs.racket-lang.org/r6rs/libpaths.html
#!r6rs
(import (rnrs lists (6))
(rnrs base (6))
(rnrs io simple (6)))
とかそういうこと?
07937882013/08/01(木) NY:AN:NY.AN
>>792
そう。 <import spec> で言うとどうなるのかを知りたいのです。

chicken で言う egg とかと同じように Racket のライブラリを集約した Planet というリポジトリあって、
raco コマンドひとつでインストールが出来る仕組があります。
で、それでインストールしたライブラリは #lang racket なら require 構文を使って指定することで使えるようになるんですが、
planet のライブラリを表わす専用の構文が require のサブフォームにあるんですよ。
http://docs.racket-lang.org/reference/require.html?q=require#%28form._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._planet%29%29
つまり、 Planet から入れたライブラリは Racket の中で特別扱いを受けてます。

ですが、もちろん R6RS の import ではそういった「特別扱い」を表現できないので、どうしたもんかなと。
07947882013/08/01(木) NY:AN:NY.AN
>>791
私が Racket が Gauche より良いと感じている部分はライブラリの多さです。

ライブラリの量については足りないからと言って簡単に増やせるわけでもなく、
地道に蓄積するしか仕方ない話なので、
私自身もまとまった機能が作れたら小さなものでも公開するようにしています。
github に置かれているライブラリ等もありますが、
github には初心者が本を見て写経したコード等もたくさんあって紛れてしまうので、
ライブラリ作者の方や、良いライブラリを見付けた方は WiLiKi にある Gauche:Packages のページに
なるべく書いて頂けるとありがたいです。
0795デフォルトの名無しさん2013/08/01(木) NY:AN:NY.AN
>>794
なるほど、ライブラリか。確かに、Racket いろいろ持ってるね。
Racket サイトつらつら見てみたけど、相当な人的リソースが突っこまれてる印象。
2D-plot 周りとか地味に欲しいと思った。
07967882013/08/02(金) NY:AN:NY.AN
>>795
そのライブラリを管理するツール類やサポート体制にも違いがありますね。

ライブラリを扱うツールに関してですが、
Gauche では適切にパッケージしたライブラリは gauche-package コマンドひとつで
ダウンロードからインストールまで出来るようになっていますが、
これは configure やら make やらを自動で呼出すというものに過ぎず、
Windows では MinGW/Msys を事前に導入しておく必要があります。
C で書かれたコードが含まれないパッケージであってでもです。
これは Gauche を使いたいだけの人にとってはちょっとしたハードルです。
また、ライブラリの情報が集約されてないので、
依存関係の解決を自動化することも出来ていません。

とは言うものの、これは Gauche の意図的な選択だと思います。
Gauche のライブラリはバインディングが多く、
どうせ gcc とか開発環境は要るんだからもう頼っちゃえよという感じじゃないでしょうか。

Racket みたいに自前でパッケージ管理する機能を持つようになると、
Windows でも Unix 系 OS でも同じように使えて便利ではあるんですが、
OS の機能と衝突して混乱することがあるんですよね。
確か debian のメンテナが Ruby に文句言ってたことがあったように思います。

それぞれにメリット/デメリットがあり、
Racket と Gauche の方針の違いは両立できないでしょう。
私が >>790 で Gauche のことを「万能というわけでもない」と述べたのは、
Racket が万能ではないのと同様に Gauche もそうだという意味であって、
Gauche が Racket と比べて一方的に足りてないという意味ではないです。
Racket には日本語の情報が足りてない!!
0797デフォルトの名無しさん2013/08/02(金) NY:AN:NY.AN
>>785>>787
回答ありがとうございます。
Rubyの場合はmethod_missing というのを使っているんですね。
そちらも知らなかったので勉強になりました。

はちみつ餃子さんと>>787さんのコードを合わせて
-(lambda arg (car (apply ,(cadr sym) arg)))))
+(lambda arg (g apply ,(cadr sym) arg))))

として全部の関数を再定義して見ることにします。
0798デフォルトの名無しさん2013/08/02(金) NY:AN:NY.AN
>>785
このif式意味なくね？返り値捨ててるし。
0799はちみつ餃子 ◆8X2XSCHEME 2013/08/02(金) NY:AN:NY.AN
>>798
識別子の頭に gimp- が付いてるかどうかで挙動を分けるのに使ってるし、
機能してると思うけど。
0800デフォルトの名無しさん2013/08/02(金) NY:AN:NY.AN
日本語くらいしか自然言語を使えない俺にracketは厳しいかな
0801デフォルトの名無しさん2013/08/02(金) NY:AN:NY.AN
>>799
すまんこ
返り値はdefineの第二項なるんだな
08027882013/08/02(金) NY:AN:NY.AN
Racket で驚いたことがあります。 deflate が Racket で書かれてるんですね。

ドキュメントを見たら圧縮レベルとかのオプション指定が全くできなくて、
「どうせ zlib のバインディングなんだろ？ インターフェイスを付けりゃいいだけなんだから手抜きすぎだろ」
と思ったら手抜きどころかまるっと Racket で書かれててむしろ要らん手間かけてました。

実用よりも Scheme (をベースとした言語) の可能性を突き詰めようとするところに漢気を感じますね。
0803デフォルトの名無しさん2013/08/02(金) NY:AN:NY.ANID:9ukL9ka4!
pure schemeなdeflate/inflate実装ならsnowにもあるでよ。
つまりメジャーなR5RS処理系なら使える。
http://snow.iro.umontreal.ca/?tab=Packages
(zlibって名前だけど中身はScheme only)
しかしsnowも流行らなかったなあ。やっぱり各処理系がそれぞれがんばるしかないのか。
0804デフォルトの名無しさん2013/08/02(金) NY:AN:NY.AN
schemeで擬似的にname space 使おうとするなら関数名を
name:space
name::space
どっちがいいのだろう
型情報にname:typeみたいなの使う処理系みた記憶あるから
name::spaceの方がいいような気もするけど
name:space使ってる人を見かける回数が多い
0805デフォルトの名無しさん2013/08/03(土) NY:AN:NY.AN
schemeで書く漢気があるのは良いけど、オリジナル以下の機能じゃダメな気が
0806デフォルトの名無しさん2013/08/03(土) NY:AN:NY.AN
普段何かを作るときにEmacs以外でLisp方言を使ってる人いるの?
もしそうだとしたらどの方言のどの処理系でどういうライブラリを使ってどういうふうに開発してるかを参考にしたい
0807デフォルトの名無しさん2013/08/03(土) NY:AN:NY.AN
Common Lispの
some
every
に相当するものは
Schemeにはないのでしょうか
0808はちみつ餃子 ◆8X2XSCHEME 2013/08/03(土) NY:AN:NY.AN
>>807
R6RS なら exists と for-all かな。
SRFI-1 には any と every がある。
08098062013/08/06(火) NY:AN:NY.AN
誰も答えてくれないという事はやっぱり使ってる人はいないのか
RubyやPythonの方が扱いやすくてライブラリや情報も豊富だからかな
0810デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
> Emacs以外でLisp方言使っている
これはどういう意味？

Emacs以外って、Emacs以外のlisp組み込みツールのこと？
0811デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
emacs lisp以外のschemeやcommon lispのことです
0812はちみつ餃子 ◆8X2XSCHEME 2013/08/06(火) NY:AN:NY.AN
>>809
とりあえず Github に有った Lisp 系言語のプロジェクトの数を数えてみた。

Emacs Lisp 14052
Clojure 12633
Common Lisp 5041
Scheme 3132
Racket 1709
Arc 89
CLIPS 24

総計で 36680 だから、これだけ全部合わせても Ruby の 404243 に比べれば高々 1 割ではあるものの、充分に多い数だと思うがな。
回答がないのは質問が漠然としすぎだからじゃね。 俺も何を言っていいのかわからん。
0813デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
>>812
自分がそれで何を作ってるか聞きたかった
0814デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
あと自分が有用だと思うライブラリとかかな
なんか情報が散らばっててよくわからないというか
0815はちみつ餃子 ◆8X2XSCHEME 2013/08/06(火) NY:AN:NY.AN
どんなライブラリがあるかということについてまとまっているところを挙げるとすると

Emacs Lisp http://marmalade-repo.org/
Clojure https://clojars.org/
Common Lisp http://www.quicklisp.org/beta/releases.html

Scheme は互換性の問題で、各処理系に分かれちゃってる感じ。

Racket http://planet.racket-lang.org/
Chicken Scheme http://wiki.call-cc.org/chicken-projects/egg-index-4.html
Gauche http://practical-scheme.net/wiliki/wiliki.cgi/Gauche:Packages
0816デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
はちみつ餃子がlispで何を作ったか教えてくれたらもっと嬉しい
0817はちみつ餃子 ◆8X2XSCHEME 2013/08/06(火) NY:AN:NY.AN
身バレするので書けませぬ。
0818デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
Lispの知識ばかりあるだけで実際になにか作ったというのは全然見ない
だからLispは言語としては柔軟でどの言語よりも優れてると言われても
実用的なものは作れないんじゃないかなと思ってる
それを払拭してほしくて作ったものを教えてとみんなに聞いたんだけど全然答えてくれない
だから3行目が否定されなくてLispで実用的なものは作れないが真になってしまう
0819はちみつ餃子 ◆8X2XSCHEME 2013/08/06(火) NY:AN:NY.AN
https://github.com/search?l=Common%20Lisp&;q=%22%22
https://github.com/search?l=Scheme&;q=%22%22

これが全然見えてないか、全て実用的じゃないように見えてるのか、煽りたいのか、どれ？
0820デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
Lispでは実用的なものは作れないと信じたいだけです
0821デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
>>819
見えてなかった､すみません

>>820
Lispは素晴らしいと思うよ､本当に
0822デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
理論的なものを嫌ってる人ほど頭でっかちだよね
0823デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
身内に書き込みを冷やかされるだろw
0824デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
和田本買ってきた
パラパラめくってみたけど、2章の図形のライブラリってあるの？
0825はちみつ餃子 ◆8X2XSCHEME 2013/08/06(火) NY:AN:NY.AN
>>824
例えばここには Gauche の OpenGL バインディングを使う例が置いてあるね。
http://d.hatena.ne.jp/higepon/20060426/1145547441
0826はちみつ餃子 ◆8X2XSCHEME 2013/08/06(火) NY:AN:NY.AN
【悲報】 SICP 日本語版絶版
https://twitter.com/eiitiwada/status/364698039102873602
0827デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
SICP はおれの心の中で生き続ける！
0828デフォルトの名無しさん2013/08/06(火) NY:AN:NY.ANID:DXkUTaWQ!
>>806
古典AIをスクリプトとして扱う組み込み機器で使われてるんじゃないの？
あのほら動く掃除機とかCADとか。
>>818
最初はgimpもcadもlispで書かれていた
0829デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
>>828
海外にいるのか？
0830デフォルトの名無しさん2013/08/06(火) NY:AN:NY.ANID:DXkUTaWQ!
だから、英語版をそのまま読めって
英語を読める方が、そこらの似たり寄ったりなプログラム言語の文法覚えるよか遥かに重要だから
0831デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
>>826
絶版かー
講義で買わされたことに感謝しておこ
0832デフォルトの名無しさん2013/08/06(火) NY:AN:NY.ANID:DXkUTaWQ!
>>829
就職が決まらずに海外を放浪しようと、海外のProxyサーバーを利用していようと、海外へ留学してようと、仕事で来ていようと、それが何か？
>>831
Amazonなりスラドなり邦訳版って色んな場所で叩かれまくってなかった？
0833デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
叩かれてたけど俺は普通に読めたからどうでもいい
0834デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
>>828
gimpのscript-fuは今でもtiny schemeでしょ。
上にそのものの関連質問があるけど。
0835デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
gimp の scheme のマニュアルとかどこにあるでしょうか
実行環境も含めて解説してるページとかないでしょうか
0836デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
>>835
http://docs.gimp.org/2.8/en/gimp-scripting.html
http://www.gimp.org/docs/scheme_plugin/
http://developer.gimp.org/api/2.0/index.html
http://developer.gimp.org/plug-ins.html
0837デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
日本語…
0838デフォルトの名無しさん2013/08/06(火) NY:AN:NY.AN
Gimp本体全部を起動しないとダメなのか
xcfファイル100個くらいの画像サイズを一気に変更する方法とかあったら知りたい
0839デフォルトの名無しさん2013/08/07(水) NY:AN:NY.AN
>>838
スレチだが、irfan viewやimage magikとかならできるかもね
0840 ◆QZaw55cn4c 2013/08/07(水) NY:AN:NY.AN
>>826
オリジナルは CC BY-SA 3.0で公開されているから wikisource に写経することが可能では？

CC-BY-SA
SA: Share Alike ? If you alter, transform, or build upon this work, you may distribute the resulting work only under the same or similar license to this one.
0841デフォルトの名無しさん2013/08/07(水) NY:AN:NY.AN
>>840
そうかやってくれるか、頼んだぞ。
0842デフォルトの名無しさん2013/08/07(水) NY:AN:NY.AN
>>826
マケプレで値上がりしたら売り飛ばすか。
0843デフォルトの名無しさん2013/08/07(水) NY:AN:NY.AN
>>838
ImageMagik+シェルスクリプトで瞬殺だな。
0844デフォルトの名無しさん2013/08/07(水) NY:AN:NY.AN
これまでも、「版元品切れ重版未定」の事実上の絶版だったんでしょ?
0845デフォルトの名無しさん2013/08/07(水) NY:AN:NY.AN
絶版の場合は著作権とかどうなるんだろうか
0846デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
よっしゃー
みんな（俺以外）で翻訳してウェブにうｐしちゃおうぜ
0847デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
>>843
それじゃ夢がないだろ、そこはlispでなんとかしよう
0848デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
>>845
別にどうもならない
0849はちみつ餃子 ◆8X2XSCHEME 2013/08/08(木) NY:AN:NY.AN
>>840
なんかよくわかんないんだよなー。
独占翻訳権の契約をしておきならが CC BY-SA 3.0 でも公開してたわけだろ。
デュアルライセンスってことなのかな。
0850 ◆QZaw55cn4c 2013/08/08(木) NY:AN:NY.AN
>>845
それでも著作権
0851 ◆QZaw55cn4c 2013/08/08(木) NY:AN:NY.AN
>>849
'transform' に translate を含むか含まないか‥‥でしょうね。
語学は苦手だし独露の翻訳家を尊敬する私としては翻訳者の著作権は尊重されるべき、と >>840 とは裏腹な想いではありますが。
春樹は「翻訳は極致としての精読」だったかな、そんなことをいってはったこともあるし、これは頑張る価値があるのかもしれません、未だに末尾再帰ですらよくわかっていないらしいし。
0852デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
Lego マインドストーム
の新しいのが来月でるけど
GaucheやRacketから使えるようにならないかな

旧版のマインドストームでCommon Lispはあるみたいだけど
0853デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
http://www.youtube.com/watch?v=tq5fxkhozKM
こういうのambで制御したら面白いと思うんだけどなあ
0854デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
>>851
含むに決まってるじゃん。
承知のうえで翻訳してるんだから問題ない。
自分もGPL(GFDLではなかった)の本を翻訳したことがある。
訳本として売ったけど、翻訳後のソースもtexinfoフォーマットで出版社が公開していた。
それでも本が売れて印税は入ってきた。
0855 ◆QZaw55cn4c 2013/08/08(木) NY:AN:NY.AN
>>854
独占翻訳権＝翻訳権の排他的利用許諾契約、はどうされたのですか？
0856デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
独占してない。
0857デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
ピアソンの技術書は書店在庫限りとの見通し。ピアソン桐原社がピアソングループ離脱で（追記あり） − Publickey
http://www.publickey1.jp/blog/13/post_233.html
このピアソンってまさかsicpの訳本の出版社？
だとするともう絶望的なんじゃ…
0858デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
桐原に吸収される前の、ピアソンエデュケーションのだったサイトで、
8月1日付けで新会社「ピアソン・ジャパン株式会社」がアナウンスされてる。
ttp://www.pej-hed.jp/info/new_items/1.html
書籍案内とか昔のまま存在してるけど、今後の詳細はやはり不明。
0859デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
http://www.hh.iij4u.or.jp/~sib-tom/Titlpg.html
アジソン ウェスレイ・トッパンが2000年に解散した時も、いったん絶版したような気がする。

アジソン ウェスレイはピアソンに買収されたはず。
http://ja.m.wikipedia.org/wiki/ピアソン_(企業)
0860デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
その時も、ピアソンのシール貼って発売再開となった本もあれば、
そのまま消えた本もあった。
0861デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
そうだったのか
知らなかった
0862デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
>>852 言い出しっぺの法則、あとよろしく
0863デフォルトの名無しさん2013/08/08(木) NY:AN:NY.AN
>>857
ANSI Common Lispとプログラミング言語SCHEMEも絶版か
0864デフォルトの名無しさん2013/08/10(土) NY:AN:NY.AN
Lisp処理系作ってるんだけどマクロ展開をどの場面でやろうか悩んでる
仕様的にはevalの時に毎回展開してもいいのかな
0865デフォルトの名無しさん2013/08/10(土) NY:AN:NY.AN
むしろマクロ機能を削除した処理系が欲しかったり
0866デフォルトの名無しさん2013/08/10(土) NY:AN:NY.AN
仕様を気にするなら仕様を読めとしか…。
俺俺 Lisp を作ろうってのなら好きにやればいいし。
0867デフォルトの名無しさん2013/08/10(土) NY:AN:NY.AN
>>866
仕様読むの面倒だから知ってる人いたら教えてほしいなと思って
0868デフォルトの名無しさん2013/08/10(土) NY:AN:NY.AN
>>867
自分が言う「Lisp」って何のこと？
Common Lisp ？
0869デフォルトの名無しさん2013/08/10(土) NY:AN:NY.AN
>>868
lisp-2でCommon Lispを中心にxlispとかそこら辺
曖昧だけど許して
0870デフォルトの名無しさん2013/08/11(日) NY:AN:NY.AN
マクロ展開時に計算する場合あるから、評価の度にマクロ展開されたら嫌だな。
Lisp 族は寛容なのでCL準拠とか名乗らなければ、何でも許容される。
0871デフォルトの名無しさん2013/08/12(月) NY:AN:NY.AN
はあ?
CLだと毎回展開してるとでも?
0872はちみつ餃子 ◆8X2XSCHEME 2013/08/12(月) NY:AN:NY.AN
>>871
そんなことを言ってる奴はいないが。
0873デフォルトの名無しさん2013/08/12(月) NY:AN:NY.AN
うせろ
08748702013/08/13(火) NY:AN:NY.AN
>>871
ん？CLの場合に毎回展開している訳じゃない、ってのは当然分かってるよ。誤解を招いたならすまんが。
オレオレ処理系ならどういう仕様でも自由だ、と言いたかった。
0875デフォルトの名無しさん2013/08/13(火) NY:AN:NY.AN
うえの方で話題になった、rubyにあるmethod_missingの件、実装してみた。
（存在しない関数を読んだ時に動的に処理する）

(defun cars () '(car cadr caddr))
(defun animals () '("dog" "cat" "elephant"))

(defun method-missing (name)
(let ((fn-str (symbol-name name)))
(if (equal (subseq fn-str 0 4) "CAR-")
(car (funcall (symbol-function
(intern (string-upcase (subseq fn-str 4)))))))))

(defmacro undefined-capable (&body body)
`(progn ,@(mapcar (lambda (sexp)
`(handler-case ,sexp
(undefined-function (var) (method-missing (cell-error-name var)))))
body)))

(undefined-capable
(car-cars)
(car-animals)
)
;=> "dog"

ただこれトップレベルでしか動かない。
(print (car-animals))も動くようにするには再起して
すべてのS式を包むしかない？いい方法あるのかな。
0876はちみつ餃子 ◆8X2XSCHEME 2013/08/14(水) NY:AN:NY.AN
>>875
知らない関数の呼出しをフックするという意味で >>785 では method_missing を引き合いに出したけど、
Ruby の場合はオブジェクトが属するクラス (とそのスーパークラス) がメソッドの集合を持ってて、
CLOS の場合はジェネリック関数がメソッドを束ねるようになってるわけだから、
mthod_missing の相当品を CLOS で言えば no-applicable-method ってことになりそう。
要するに、そこで method-missing って名前を付けてるけどそれってメソッドじゃなくね？という違和感。
いや、名前だけの話であって、どうでもいいと言えばどうでもいいことなんだけどね。

それは置くとして、私は Common Lisp のことはあまり知らないので見当違いかもしれないけど、
関数が見付からないときの処理に割り込む方法がないか HyperSpec を検索した結果、
*DEBUGGER-HOOK* というのを見付けた。 どんなもんかな。
例を見るとなんかそれっぽいことをしてるような…。
http://www.lispworks.com/documentation/HyperSpec/Body/v_debugg.htm
0877デフォルトの名無しさん2013/08/17(土) NY:AN:NY.AN
存在しない変数名が現れるとエラーを出す前にいったんごにょごにょしてみるみたいな手法で中置記法を実現してるlisp方言がなかったっけ
0878デフォルトの名無しさん2013/08/17(土) NY:AN:NY.AN
>>877
> InterLisp のとった方法はなかなか面白い．たとえば，
>
> (list (+ n count) n*count)
>
> という式の中で n*count が未定義変数だったとしよう．InterLisp はエラーからの
> 回復機能が優れており，エラー処理でいろんな仕事ができる．
以下略
www.nue.org/nue/tao/bitao/s005.html
0879デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
Lisp Schemeで画像処理する場合の標準的な方法って
pngを byte-stringとして読み込んで
byte-stringにいろいろ処理するって事でいいの？
0880デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
https://github.com/oetr/racket-opencv
racketからOpenCV使えるかと思ったらバグだらけだ
MacOSXではちゃんと動くのだろうか
Linuxだと最初のチュートリアルしか動かなかった
0881デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
evalとかloadとか使わなきゃ未定義の変数なんてコンパイル時に分かるんだから、code walker使ってマクロでやった方がLispっぽいやり方な気がする。
method_missing自体がなんでも実行時にやろうとするRubyに寄ったやり方じゃないか？
0882デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
何故かプログラムがフリーズしはじめ、原因を探し出すことn時間、
マクロの裏を覗きつつ、要約特定出来ました。
以下を実行するとsbcl、clisp共にフリーズします。
うまくクロージャが作れていないのはなぜなのでしょうか？
defparameterの行を消せばうまく動きます。

(defparameter *cont* #'1+)

(defun test (*cont* x)
(let ((*cont* (lambda (x) (funcall *cont* (* 2 x)))))
(funcall *cont* x)))

(test *cont* 5)
0883デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
CLHS: Macro DEFPARAMETER, DEFVAR
www.ai.mit.edu/projects/iiip/doc/CommonLISP/HyperSpec/Body/mac_defparametercm_defvar.html
を読んだら分かりました。

(defparameter *cont* #'1+)

(defun test (*cont* x)
(print *cont*)
(let ((*cont* (lambda (x) (funcall *cont* (progn (sleep 1) (* 2 (print x)))))))
(funcall *cont* x)))

(test *cont* 5)

特別扱いされて、スコープがダイナミックになるんですね。
(test *cont* 5)はマクロ展開後に現れるので、
defparameterがダメとなるとletで囲むなりしないと警告を消せないなぁ。
0884デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
マクロ使うのやめようよ
0885はちみつ餃子 ◆8X2XSCHEME 2013/08/18(日) NY:AN:NY.AN
やだよ。
0886デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
マクロは最後の手段にしとこうよ
0887デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
いい方法無いかなと思っていたらいいものがありました。

common-lisp - REPL-Utilitiesでプロトタイピングを高速に - Qiita [キータ]
qiita.com/nitro_idiot/items/c8fe3f7136399709d250

LEX
LEXはグローバルなレキシカル変数を定義するマクロです。

(lex x (list 1 2 3))
(defun sum-of-x ()
(reduce #'+ x))

(sum-of-x)
;=> 6

(let ((x (list 1)))
(sum-of-x))
;=> 6
0888デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
>>883
なんで無限ループになるのかおいらにはわかりません
誰かおしえてください
0889デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
(defun test (*cont* x)
(let ((*cont* (lambda (x1) (print x1) (funcall *cont* (1+ x1)))))
(funcall *cont* x))
これでも無限ループになり1,2,3…と無限に数を出力し続ける
0890デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
多分だけど何が起こっているかというと
(defun test (*cont* x)
(let ((*cont* (lambda (x1) (print x1) (funcall *cont* (1+ x1)))))
(funcall *cont* x)))

(defvar *cont* #'1+ x 1)であるとする。
一番下のfuncallで*cont*を呼び出すと、(progn (print x1) (funcall *cont* (1+ x1)))を評価しようとする。
まず(print x1)で数字を出力する、次に*cont*を呼びだそうとする。
しかし、*cont*は動的変数（だっけ？）として宣言されているので、
今の動的な環境で見える*cont*を使う。つまりletで宣言された*cont*と呼び出す。結果として、その呼びだされた*cont*の中でもletで宣言された*cont*が呼ばれ無限ループになる。
0891デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
すべてのグローバル変数を確認する仕組みか、グローバル変数はlet束縛されないような仕組みを作れということか…
0892デフォルトの名無しさん2013/08/18(日) NY:AN:NY.AN
動的な環境というのは、構文的な位置ではなく評価時の位置によって変数の値が変わるということでよいんですよね
おいらにもたぶんなんとなく理解できましたありがとう

(defvar *f*)
(let ((*f* (lambda () (funcall *f*)))) (funcall *f*)) ; => 無限ループ

(defun f (*f*) (funcall *f*))
(f (lambda () (funcall *f*))) ; => 無限ループ
0893デフォルトの名無しさん2013/08/19(月) NY:AN:NY.AN
ここschemeスレだよね
0894デフォルトの名無しさん2013/08/19(月) NY:AN:NY.AN
え？
0895はちみつ餃子 ◆8X2XSCHEME 2013/08/19(月) NY:AN:NY.AN
>>893
Lisp 族全般のスレだって >>1 に書いてあるでしょ。
0896デフォルトの名無しさん2013/08/20(火) NY:AN:NY.AN
自分も昔、clスレあるからここはlisp族のschemeスレと、頭の中で勝手に仕分けして、
1レス読まずに勘違い書き込みしたことがある。
0897はちみつ餃子 ◆8X2XSCHEME 2013/08/20(火) NY:AN:NY.AN
折角 Common Lisp スレがあるんだから Common Lisp の話はそっちでやればいいとは思うんだけど、
綺麗に切り分けられるようなことでもないしなぁ。
例えば >>882-883 だとスペシャル変数 (ダイナミックスコープ) の話だと思って見れば CL 固有ってわけでもないし、
defparameter というオペレータの挙動の話として見れば Common Lisp の話だし。
0898デフォルトの名無しさん2013/08/20(火) NY:AN:NY.AN
Schemeってつけるから紛らわしくなるんじゃないかな
Lisp方言と表せばいいと思う
0899はちみつ餃子 ◆8X2XSCHEME 2013/08/20(火) NY:AN:NY.AN
Scheme は Lisp ではないと主張する方もいるので…。
0900デフォルトの名無しさん2013/08/20(火) NY:AN:NY.AN
SchemeもRubyもPythonもSmallTalkもPerlもLisp方言でいいよもう
0901デフォルトの名無しさん2013/08/20(火) NY:AN:NY.AN
ポールグレアムはそんなことを言っているが、
matzが言っているように、S式とマクロが無いのはLispじゃないだろう。

グレアムへの反論としてはこちらも参照。
ttp://practical-scheme.net/trans/IsPythonLisp-j.html
0902はちみつ餃子 ◆8X2XSCHEME 2013/08/20(火) NY:AN:NY.AN
どこまで削っても Lisp って言えるかを考えると、最後に残るのはＳ式だよな。
マクロとか lambda とかが無くてもＳ式だったらまぁ Lisp かなって思う。
(それが使い物になるかは別として。)
0903デフォルトの名無しさん2013/08/21(水) NY:AN:NY.AN
「最後に残るのはS式」派と「最後に残るのはlambda」派の戦いが
0904デフォルトの名無しさん2013/08/22(木) NY:AN:NY.AN
マイナーなLisp処理系のソース眺めてたらコントロールスタックというものが出てきたけどなんですかこれ
0905はちみつ餃子 ◆8X2XSCHEME 2013/08/22(木) NY:AN:NY.AN
気になった用語は Wikipedia でも見ればいいよ。
http://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%83%AB%E3%82%B9%E3%82%BF%E3%83%83%E3%82%AF

引数のやりとりとか呼出し元の記憶をしたりするスタックをコントロールスタックと呼んだりはするけど、
値のやり取りと制御フロー関係を別のスタックに分けたりすることもあるので、
他に「××スタック」がいくつかあるようなら制御フローに特化したスタックのことをそう言ってる可能性もあると思う。
昔の Ruby は 7 本のスタックに分けてたりもした。
http://loveruby.net/ja/rhg/book/module.html
(出典が見付からないけど今は一本化されていたはず。)

具体的にどう分けるかは設計思想によるのでなんとも言えない。
ソースコードがあるなら更に読み解いていくしか仕方ないんじゃないの。
具体的に処理系名をさらせるならもっと細かいことが言えるかもしれない。
0906デフォルトの名無しさん2013/08/22(木) NY:AN:NY.AN
>>905
ありがとう
コントロールスタックってコールスタックと似たようなものと思っていいのか
処理系の名前は作者の許可がないから言えないけどX68k用でした
0907デフォルトの名無しさん2013/08/23(金) NY:AN:NY.AN
VTOLかな
0908デフォルトの名無しさん2013/08/23(金) NY:AN:NY.AN
VTOLのはスコープを積んでいく普通の評価用スタックだね

/* control stack */
typedef struct _c_stack {
　CELLP value_env; /* 変数束縛 */
　CELLP label_env; /* jump label */
　CELLP *s_stack_p; /* s_stack pointer */
　unsigned int jmp_env; /* jump address or call_next_method number */
} CSTACK;
0909デフォルトの名無しさん2013/08/23(金) NY:AN:NY.AN
Lispインタプリタのmark-and-sweepの実装方法がよくわからない
メモリを確保する時にそのアドレスを連結リストに追加する
マークの時にGCの時にその連結リストに入ってるセルのマークを全部はずしてからシンボルテーブルやスコープを起点にマークを付けていく
スイープは連結リストを順番に見ていってマークが付いてないものを開放していくやり方じゃ駄目なのかな
何故かうまく行かないのはマークの付け方が甘いからだろうか
実行中の局所的なセルの辺りが怪しい気がするけどどうなんだろう
0910はちみつ餃子 ◆8X2XSCHEME 2013/08/23(金) NY:AN:NY.AN
どうだろうって言われてもなー。
GC はテストがやりづらいからよく見直して作り込むしか。
この本ではハマりどころも書いてあるから役に立つと思うよ。
http://www.amazon.co.jp/dp/4798025623
0911デフォルトの名無しさん2013/08/23(金) NY:AN:NY.AN
>>910
これ3年前に出たばかりなのにもう新品がないのか
欲しいけど高いしちょっと手が出しにくいな
0912デフォルトの名無しさん2013/08/23(金) NY:AN:NY.AN
Amazonには無いけど、ネットで調べられる本屋の在庫はあちこちで残ってる。
0913デフォルトの名無しさん2013/08/23(金) NY:AN:NY.AN
>>909の1~3行目がマークスイープのアルゴリズムと少し違う感じがするけど
どこが違うかわかる人教えてください
0914デフォルトの名無しさん2013/08/23(金) NY:AN:NY.AN
外してたらごめん。
SECDマシンの持つスタック4つのうち
Cの文字で表されるスタックがコントロールスタックって呼ばれるね。
コンパイルされたコードが入っているスタック。
0915デフォルトの名無しさん2013/08/23(金) NY:AN:NY.AN
ちょっと複雑な数式をs式で書くのがめんどう
4*x+3+z*y
みたいなのを
(+ (* 4 x) 3 (* z y))
に自動変換してくれるマクロやツールないのでしょうか
Racketで動くものあると嬉しい
0916デフォルトの名無しさん2013/08/23(金) NY:AN:NY.AN
ぐぐればでてくるけど、
そのうち中置記法がめんどうになるから気にしなくてもいい
0917はちみつ餃子 ◆8X2XSCHEME 2013/08/23(金) NY:AN:NY.AN
>>915
R6RS ポータブルな実装だとこれなんかどうかな。
https://github.com/marcomaggi/Infix
でも、こういったものは既存のものだと微妙に手に馴染まない感じだったりするので、
結局は自分で書くか諦めるかになったりするんだよね。
0918デフォルトの名無しさん2013/08/24(土) NY:AN:NY.AN
>>916
そうは言っても中置記法の方が数式の表現として理解しやすいのでどうしようもないと思うが？
特に数値演算多用するようなもの作ってると実感すると思わん？
>>917
リーダーマクロで読ませたりしても分かち書きしないといけないから使いにくいんだよね。
09199182013/08/24(土) NY:AN:NY.AN
補足
行列やベクトルをこね回すときはあんまり不便感じないのはこれらを使うと他の言語でも読み辛いからなんだろうとは思う。
0920デフォルトの名無しさん2013/08/24(土) NY:AN:NY.AN
>>918
同感
0921はちみつ餃子 ◆8X2XSCHEME 2013/08/24(土) NY:AN:NY.AN
>>918
Scheme だと名前の自由度が高くて曖昧さなくトークンを切出せないから仕方ない。
例えば foo+bar と書いてあってもこれ全体でひとつの変数名の可能性があるわけで。

自分で使う分には、変数名に記号は含まないとか、使う演算子の種類は四則演算に限るとか、
都合のいいところで割り切ることも出来るけど、汎用的に設計するのは難しいだろうな。
0922デフォルトの名無しさん2013/08/24(土) NY:AN:NY.AN
おれは >>916 に同意だなぁ。
数式以外の残りは全部、前置なんだから。
数式大量だとカッコが煩雑なのは分かるけど、頑張って中置にしても、コストに見合わない気がする。
0923デフォルトの名無しさん2013/08/24(土) NY:AN:NY.AN
中置記法って細かいルールが多いんで実は結構面倒臭い

中置の方が理解しやすいってのはただの慣れ
0924デフォルトの名無しさん2013/08/24(土) NY:AN:NY.AN
>>923
そうは言うがな大佐
義務教育からずっとinfixなのは結構辛いと思うぞ
制御構文とかは気にならないけどやっぱり純粋に数式使う時はより長い期間触れたinfixが望ましい気がしないでも無いのだわ

>>921
+はあんまりきにならんけど、名前をハイフンで結ぶので減算記号はどもならんわー
0925はちみつ餃子 ◆8X2XSCHEME 2013/08/24(土) NY:AN:NY.AN
便利なものなら受入れられると思うが SRFI-105 もそんなに評判は良くないしな。
中置が前置より慣れてて受け入れやすいというのはわからんでもないけど、
中置が前置に混ざるという状況はどっちつかずで気色悪いとも思う。
0926デフォルトの名無しさん2013/08/24(土) NY:AN:NY.AN
(defun infix-compiler (lst)
(cond ((atom lst) (if (symbolp lst) (symbol-value lst) lst))
((= (length lst) 3) (list (second lst) (infix-compiler (first lst)) (infix-compiler (third lst))))
(t (list (car lst) (mapcar #'infix-compiler (cdr lst))))))

昔書いた中置記法コンパイラだぜ
4行だぜ

(setq exp '((3 - 2) + ((8 + 4) / (8 - 4))))
(infix-compiler exp)
;=> (+ (- 3 2) (/ (+ 8 4) (- 8 4)))
;=> 4
0927デフォルトの名無しさん2013/08/24(土) NY:AN:NY.AN
(infix-compiler '(1 + (f x y)))

あれ？
0928デフォルトの名無しさん2013/08/25(日) NY:AN:NY.AN
>>839
これで。http://members.ozemail.com.au/~hodsond/dbp.html
もっと色々なことがしたいならbatchモードで。
0929デフォルトの名無しさん2013/08/25(日) NY:AN:NY.AN
スレ再読み込みしてなかった…。
0930はちみつ餃子 ◆8X2XSCHEME 2013/08/26(月) NY:AN:NY.AN
>>227
性病検査は定期的に行ってますか？
本番ありで料金は二万円までが理想なんです。。
0931はちみつ餃子 ◆8X2XSCHEME 2013/08/26(月) NY:AN:NY.AN
>>930
うわー。 偽物出たわー。
このトリップもそろそろ潮時か。
0932デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
つーか確認しとけ

【悲報】2chの●購入者の個人情報やキャップパスなどヤバイ物多数がTorに流出part16
http://engawa.2ch.net/test/read.cgi/poverty/1377488375/
0933はちみつ餃子 ◆8X2XSCHEME 2013/08/26(月) NY:AN:NY.AN
>>932
マジかよ
トリップまではともかく決済関連もとなるとえらいこっちゃ
大問題とかいうレベルでないぞ
0934デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
>>932
おそろしすぎ
２ｃｈに情報渡してなくてよかった
0935デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
>>931
気づくの早すぎ
お前ただ誤爆しただけじゃねーの
0936はちみつ餃子 ◆8X2XSCHEME 2013/08/26(月) NY:AN:NY.AN
PC を起動している間は自動で定期巡回してるから書込みがあったらすぐに気付くことがまれによくある。
0937デフォルトの名無しさん2013/08/27(火) NY:AN:NY.AN
それはschemeで書かれてるの?
0938はちみつ餃子 ◆8X2XSCHEME 2013/08/27(火) NY:AN:NY.AN
いいえ。
でも、 Scheme で書いてもそれほど難しくはなさそうだね。
0939デフォルトの名無しさん2013/08/27(火) NY:AN:NY.AN
(setq sexps (loop repeat 1000000 collect (loop repeat 6 collect (random 10))))
(setq nums (loop repeat 1000000 collect (random 1000000)))

(defun uniq-num (lst)
(time
(let ((hash (make-hash-table :size 1000000 :test #'equal)))
(dolist (x lst)
(setf (gethash x hash 0) t))
(hash-table-count hash))))

(uniq-num sexps)
(uniq-num nums)

0.395 seconds of real time :test #'eq num
2.168 seconds of real time :test #'equal num
6.937 seconds of real time :test #'equal str
54.463 seconds of real time :test #'equal sexp
09409392013/08/27(火) NY:AN:NY.AN
私は100万個のS式から重複を削除したいです。
remove-duplicateでは処理が終わらずhash-tableを使うことにしました。
上の式を実行すると 54秒で処理を終えることが出来ました。

しかしhash-tableを:test #'eqにしランダムな数値を100万個入れた所0.4秒で終わりました。
比較関数の違いで100倍も違うのか疑問に思い:test #'equalに変えてみた所2.1秒でした。
S式の場合は何故こんなに遅いのだろうと、試しに
(setf (gethash (format nil "~a" x) hash) t)としてみると6.9秒で済ますことが出来ました。

もっと早く重複を削除することは出来ないでしょうか？お知恵を拝借させてください。
0941はちみつ餃子 ◆8X2XSCHEME 2013/08/27(火) NY:AN:NY.AN
Common Lisp についてはよく知らないけど、
数値を入れる場合なら比較関数として eq を使うと正しい結果にならないんじゃね？
0942デフォルトの名無しさん2013/08/27(火) NY:AN:NY.AN
自然結合する関数があった気がする
0943デフォルトの名無しさん2013/08/27(火) NY:AN:NY.AN
高速RDBMSを使うという裏ワザもある
格納の時間を無視するなら、100万でも1秒かからない気がする
0944デフォルトの名無しさん2013/08/28(水) NY:AN:NY.AN
適材適所
0945デフォルトの名無しさん2013/08/28(水) NY:AN:NY.AN
2chやばいから
したらば
あたりに移動できないものかな
Gaucheのサイトの中に２chのcgi動かしてくれる場所あれば
一番いいのだけど
0946デフォルトの名無しさん2013/08/28(水) NY:AN:NY.AN
racket の dict-refならhashもalistも自動切り替えしてくれるよ
0947はちみつ餃子 ◆8X2XSCHEME 2013/08/28(水) NY:AN:NY.AN
>>945
WiLiKi や Chaton があるんだから質問系はそっちに書けばいいじゃん。
ただ、 2ch くらいはっちゃけられる場所は欲しいよな。

ゆるく雑談しながらダベる場所としては IRC もあるぞ。
freenode の #Lisp_Scheme だ。
ずっと過疎っぱなしで寂しいのでみんなも来てくれよな！
09489392013/08/28(水) NY:AN:NY.AN
みなさんレスありがとうございます。
この重複削除の時間が10分の1にさえなればプログラム全体に大きな影響を与えられます。
ダーティハック的な手法さえ許容し高速化できないものでしょうか。

>>941
はい、eqはオブジェクト同一性による比較であり同じ数値が違うオブジェクトである可能性がある為eqlを使うべきでした。

>>942
lisp 自然結合 等で検索しても見つけることができませんでした。どのような処理をする関数なのでしょう(lisp内部にDBを作る？）。
09499392013/08/28(水) NY:AN:NY.AN
>>943
＞格納の時間を無視するなら、100万でも1秒かからない気がする
御免なさい格納の時間とは何を指しているのでしょう。
(setf (gethash x hash) t)) の処理時間の事を示すのであれば
現在の場合も格納を無視した時間は格納時間に比べ微である様に思います。

>>946
racketは型に応じて処理を切り替え、重複削除が高速に行えるということでしょうか。
今回はCLで書いている為残念ながら利用できませんが良いですね！
0950はちみつ餃子 ◆8X2XSCHEME 2013/08/28(水) NY:AN:NY.AN
>>946 >>949
Common Lisp にも aref があるじゃん。
09519392013/08/28(水) NY:AN:NY.AN
>>950
ありますがどう使えと・・？
0952はちみつ餃子 ◆8X2XSCHEME 2013/08/29(木) NY:AN:NY.AN
さあ。
とりあえず同等のものがあるから言ってみただけ。
0953デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
>>949
格納の時間は、たぶんデータベースを使うならそのデータベースに登録するのにかかる
時間ということでしょう
まあ、100万レコード登録するとかなり時間かかるんじゃないかと思うけど
0954デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
S式の部分を、できるならvectorとかにしたらどうかな？
0955デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
eval と apply の違いがいまいち分かりません
0956デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
eval - S式を評価する
apply - 関数に引数を適用する
0957デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
「引数に関数を」の間違いだ
0958デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
evalはS式ならなんでもいい(マクロも展開する)
applyは関数しか適用できない
0959デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
schemeってS式と関数は別物なのだろうか
0960デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
関数はatomだからS式だよ。
簡単にevalを書ける例の表現ではないけど。
0961デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
scheme界のニューアイドル、naoiwataをこれからもよろしく！
困ったときは泣いている顔文字でアピールしてくるので、お前らちゃんと助けてやれ
0962はちみつ餃子 ◆8X2XSCHEME 2013/08/31(土) NY:AN:NY.AN
そうか。
0963デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
R7RSに準拠するつもりでオレオレ処理系作ってます
複素数のsinってどうやるんだっけ？とかwikipedia先生に聞きながらちまちま実装してる今日このごろです
で本題なんですが + - * / の可変長引数版は引数を fold すればいいと思うんですが
= < <= > >= の可変長引数版を実装するのになんかいい高階関数とかないでしょうか
0964デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
悩んでるときに「大丈夫？」って声かけられたとして。
相手が男もしくは利用価値のありそうなプログラマの場合は「だいじょぶです（；；）」
相手が女の場合は「大丈夫^^」ってレスする女のこと、Lisperの皆さんはどう思われますか？
0965デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
男と女、または上位の人間と対等な人間
それらに対する反応をナチュラルに使い分ける腹黒い女は、僕はどうかと思いますね
0966デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
なんか人としてどうしようもないのがわきはじめたオワタ
0967はちみつ餃子 ◆8X2XSCHEME 2013/08/31(土) NY:AN:NY.AN
>>963
比較関数の場合でも持ち回る値の数は一個でよくて、但し、途中で脱出する場合がある。
Scheme では第一級継続のおかげで大域脱出が簡単に書けるので、こんな風に書ける。

(define (< arg1 . rest)
(call/cc
(lambda(cc)
(fold (lambda(elt acc) (if (<2 acc elt) elt (cc #f))) arg1 rest)
#t)))

ここでは <2 っていうのが二引数版の < ってことね。
この程度のものに継続を捕捉するのが非効率だということであれば、
何かの特別な値が発生したときにその場で脱出するような機能をもった fold を作ればいいと思う。
0968デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
>>963
処理系はマクロを廃止して仕様をコンパクトにしてダウングレードしたバージョンを作ってくれないでしょうか
0969デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
Schemeからマクロ抜いてどうすんの
0970デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
分岐(if, cond)とシリーズ(begin)と関数作成(lambda)とデータ化(quote)と例外処理(try, with)までは認めよう
他のマクロはいらない
set!もいらない

もっと純粋さを追及してみてはどうか
0971デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
letもいらない？ lambdaでがんばるのか... 大変そうだ
例外はマクロでなくてもいいかと
0972デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
もうskiコンビネータ使ってプログラム書けばいいじゃん
0973デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
妙なカキコがあると思ったら今日は中高生の休み最後の日か
0974デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
マクロってLisp最後の砦じゃないの
0975デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
ClojureもCommonLispも単独スレあるしつぎからSchemeスレにしてほしい
0976デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
macro無くすならfexpr復活させようぜ？ｗ
0977デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
マクロ無くせというよりも、自作処理系作るならマクロなしバージョンで洗練させてみてはどうかという提案
その方が簡単だし、プログラミングするときに技術的な挑戦が存在する
0978デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
>>977
技術的な挑戦をしたいのなら、>977自身が挑戦的なオレオレ処理系を作ればいいのではないかと
0979デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
俺々処理系作ったことのある身から言うとマクロ無いほうが
ゴリゴリ決め打ち処理書けるので楽|雑にかける
0980はちみつ餃子 ◆8X2XSCHEME 2013/09/01(日) 00:02:11.48
書いてる内にその自作処理系でコンパイラを書きたくなり、
ブートストラッピング的なことをするときにマクロがないとつらたん。
という理屈でやっぱりマクロが欲しくなるものらしいけどね。

とりあえず必要なところから書いていけばいいんじゃないの。
マクロが要るようなら導入すればいいし、要らないなら後付けでいいじゃん。
うまく後付けできなくて最初から書き直しなんてのもよくあること。
0981デフォルトの名無しさん2013/09/01(日) 01:21:25.46
>>980
次スレよろしく
0982はちみつ餃子 ◆8X2XSCHEME 2013/09/01(日) 01:52:09.17
立てたよ。

Lisp Scheme Part37
http://toro.2ch.net/test/read.cgi/tech/1377967896/
0983デフォルトの名無しさん2013/09/01(日) 13:56:58.49
おつかれー
0984デフォルトの名無しさん2013/09/01(日) 19:51:27.12
>>982
誤爆www
0985しょしんしゃ ◆/DG0Jy/HnA 2013/09/02(月) 10:29:09.39
体調悪いアピールしてもいい？
0986デフォルトの名無しさん2013/09/02(月) 10:55:40.66
プログラマ板でしてね
0987しょしんしゃ ◆/DG0Jy/HnA 2013/09/02(月) 11:17:23.06
>>986
しょしんしゃなのでプログラマじゃないです
レス数が950を超えています。1000を超えると書き込みができなくなります。