- 1 名前：デフォルトの名無しさん mailto:sage [2009/07/27(月) 10:15:31 ]
- ※ ここはCommon Lisp、SchemeをはじめとするLisp族全般のスレです ※
■過去スレ
Part26: ttp://pc12.2ch.net/test/read.cgi/tech/1240567959/
Part25: ttp://pc12.2ch.net/test/read.cgi/tech/1231856193/
Part24: ttp://pc11.2ch.net/test/read.cgi/tech/1224939205/
Part23: ttp://pc11.2ch.net/test/read.cgi/tech/1215875388/
Part22: ttp://pc11.2ch.net/test/read.cgi/tech/1211381920/
Part21: ttp://pc11.2ch.net/test/read.cgi/tech/1207300697/
Part20: ttp://pc11.2ch.net/test/read.cgi/tech/1205021786/
Part19: ttp://pc11.2ch.net/test/read.cgi/tech/1200237296/
Part18: ttp://pc11.2ch.net/test/read.cgi/tech/1186922295/
Part17: ttp://pc11.2ch.net/test/read.cgi/tech/1177065699/
Part16: ttp://pc11.2ch.net/test/read.cgi/tech/1172404795/
Part15: ttp://pc11.2ch.net/test/read.cgi/tech/1151025773/
Part14: ttp://pc11.2ch.net/test/read.cgi/tech/1132275726/
Part13: ttp://pc11.2ch.net/test/read.cgi/tech/1115901841/
Part12: ttp://pc11.2ch.net/test/read.cgi/tech/1100229366/
Part11: ttp://pc11.2ch.net/test/read.cgi/tech/1091456033/
Part10: ttp://pc11.2ch.net/test/read.cgi/tech/1075630259/
Part09: ttp://pc11.2ch.net/test/read.cgi/tech/1069594582/
Part08: ttp://pc5.2ch.net/tech/kako/1058/10582/1058263391.html
Part07: ttp://pc5.2ch.net/tech/kako/1042/10421/1042167213.html
Part06: ttp://pc3.2ch.net/tech/kako/1031/10315/1031560687.html
Part05: ttp://pc3.2ch.net/tech/kako/1023/10230/1023091882.html
Part04: ttp://pc.2ch.net/tech/kako/1016/10162/1016211619.html
Part03: ttp://pc.2ch.net/tech/kako/1008/10082/1008220265.html
Part02: ttp://pc.2ch.net/tech/kako/1002/10025/1002584344.html
Part01: ttp://piza2.2ch.net/tech/kako/987/987169286.html
■テンプレート置き場
ttp://wiki.fdiary.net/lisp/ (id:guest pass:cl)
- 129 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 18:24:12 ]
- >>128
それそれ。中西先生の本にあった基本5関数の話が崩壊してしまった
気分になるんですよ。
- 130 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 18:24:52 ]
- それじゃ印字もできないし、「作れる」とは言わない
- 131 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 18:56:05 ]
- 印字する関数を作れば良いだけ
- 132 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 18:59:25 ]
- じゃあ作れよ
ちなみに「印字する関数」だけじゃ済まなくなるぞ
- 133 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 20:29:06 ]
- 基本５関数っていっても「関数」は５つあればいいけど
QUOTE LAMBDA IF (COND)といった特別式は別に必要なんじゃないかな
５関数とリスト構造だけでチューリング完全なら教えてほしい
自分はかなり考えたけど無理だった
(もっともLAMBDAがあれば基本５関数もIFもいらなくなるけど。QUOTEはいるかな）
- 134 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 20:39:37 ]
- そりゃラムダ計算がチューリング等価だからなぁ…
- 135 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 20:52:44 ]
- >>133
マッカーシー先生のLispの最初の論文にはcondが使われているし
基本関数とは別物では？
[ → ; → ; → ]
- 136 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 21:37:05 ]
- >>133
www-formal.stanford.edu/jmc/recursive/node3.html
- 137 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 21:48:37 ]
- うん、論文では特別式にあたるものも使われているにもかかわらず
wikiを始め基本5関数"のみ"でチューリング完全と言及されているものも多いんだけど
λ計算を初めて知った時、それだけでチューリング完全になるなんて思いもつかなかった自分には
基本5関数"のみ"ではチューリング完全ではないとは断定できなくて…
チャーチ数とかYコンビネータとか思いつくような人ならアレだけでチューリング完全に仕立て上げられちゃうんじゃないかとも思ったもんで
- 138 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 22:22:44 ]
- 基本5関数のみだったら単に5つの関数でしかないわけで、
そこに合成・再帰の操作を許して得られる関数のクラスがチューリング完全、
という言い方になるんだろうね
- 139 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 22:40:47 ]
- そうなんだろうけど、λ（lambda）かdefun（label）があればそれだけでチューリング完全なわけで
結局、基本5関数はチューリング完全なλ算法系の上で"Lisp"を構築するプリミティブにすぎないって話になっちゃうんじゃないかな
基本5関数とチューリング完全性は無関係ってことに
- 140 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 22:46:35 ]
- だからそのLAMBDAやLABELを基本関数で記述している、というのが上の論文の肝でしょ
- 141 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 22:58:08 ]
- ところで「チューリング完全である」っていう述語はどうやって記述すればいいの？
- 142 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 23:02:44 ]
- ttp://ja.wikipedia.org/wiki/%E7%B4%94LISP
「リスト」が曲者かと
- 143 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 23:06:44 ]
- うーん記述には特別式を使っているように思えるけどなぁ…
- 144 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 23:13:02 ]
- lib.store.yahoo.net/lib/paulgraham/jmc.lisp
- 145 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 23:18:37 ]
- condもdefunも使ってるじゃないですか
- 146 名前：デフォルトの名無しさん mailto:sage [2009/08/03(月) 23:27:35 ]
- R5RSで，シンボルと通常の値の束縛にはdefineを，シンボルと
マクロの束縛にはdefine-syntaxを，と使い分けるのはなぜ
なんでしょう? たとえば，どちらもdefineでできたとしたら
不都合が起きるような場合はありますか? Common Lispが
手続きとそれ以外の値とを別々のスコープで扱うように，
Schemeではマクロとそれ以外の値とを別々のスコープで扱う
ということ？何を意図しての仕様かがもうひとつわかりません
- 147 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 00:11:21 ]
- あと5年待てば判るよ
- 148 名前：厨房 mailto:sage [2009/08/04(火) 00:56:52 ]
- すいません人工知能で彼女作りたいんですけどやっぱ人工知能はLispがいいんでしょうか？
勉強がんばるっす！！
- 149 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 01:04:25 ]
- 人工少女で我慢しなさい
- 150 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 01:05:36 ]
- >>146
実装を意図しての仕様ですが何か？
- 151 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 01:09:20 ]
- >>149
厨房には早過ぎるだろ・・・
- 152 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 14:07:22 ]
- >>146
マクロ展開は普通は評価の前に行なわれる。
要するにマクロ展開と関数の評価は異なるレイヤで行なわれる。
もしマクロを第一級に格上げしたとしたら、
set! されたときに展開しなおしとか必要になって、
付随する様々な挙動が破綻してわけわかんなくなる。
不都合とかいうレベルの話じゃねーよ。 論外だろ。
まぁ、そういう Lisp があってもいいかとは思うけど、
Scheme では無理だし、パフォーマンス的にはかなり不利になるはず。
- 153 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 14:35:45 ]
- C++テンプレートのコンパイル時実行のようなもの
- 154 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 14:45:44 ]
- set! されたときにインライン展開しなおしとか定数伝播しなおしとか必要になって
のようなもの
- 155 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 16:18:42 ]
- 人工彼女の話と聞いてすっ飛んで参りました、ﾊｲ。
- 156 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 16:38:14 ]
- emacs23リリースされたけどlisperには関係ないのかな
- 157 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 16:42:10 ]
- javascriptでもマクロ以外はlispと同じようなことできるの？
- 158 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 18:03:01 ]
- 人工彼女よりも生身の彼女の方がエキサイティングで楽しいよ。（笑）
ところでウィノグラードの積木をする少女のプログラムは今のパソコンの
性能なら十分に動くと思うのだけど、誰か動かしてないかな？
マイクロプランナーってPrologみたいなもの？
- 159 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 19:02:22 ]
- >>157
JavaScript とか Ruby を「広義のLisp」に含めようとする人すらいるが、
構文木を操作することを可能にしたマクロと、マクロの大前提であるS式こそが Lisp の本質だと思う。
「マクロ以外は」と言ってしまうとせいぜいがクロージャとリスト操作くらいだろ？
JavaScript でもそれらを扱えるのは確かだが、
最も重要なマクロを除いてしまった上で「同じようなこと」が出来たからって…
- 160 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 20:08:16 ]
- 昔lisp好きのruby信者だったけど、実際のものをschemeやらで書くようになって、
今までruby信者だったことを恥じたね。
バカみたいにシンタックス増やしてその議論に時間裂いて如何に信者を増やすかが、その人たちの言う言語なんだと...
carとcdr、"(" と ")" 、applyとeval、言語のシンタックスが提供するのなんてこの2極で十分だ。(極論だけど)
言語作者のエゴが作る多すぎるルールは戒律になって自由に対してのしかかってくるだけだよ。
(この戯言で怒った人はごめんね☆)
- 161 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 20:13:51 ]
- さらに進んでSKIで十分と言えるようになれば一人前
- 162 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 20:18:28 ]
- >>152
Guileはそういうとここだわってますよね
> (define (hoge) (begin (display 'function) (newline)))
> (define (foo) (hoge))
> (foo)
function
> (define-macro (hoge) '(begin (display 'macro) (newline)))
> (foo)
macro
親処理系のSCMで動かないこのコードがGuileで動くってことはわざわざ追加された仕様なんでしょうね
- 163 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 20:26:59 ]
- それはただの処理系依存の話
gaucheの最適化レベルが低いってだけ
- 164 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 20:31:06 ]
- Guileです
- 165 名前：160 mailto:sage [2009/08/04(火) 20:37:43 ]
- >>161
SKIってSKIコンビネータなんちゃらってやつ？
とにかく読み漁ってみるわ。
まじで情報サンクス。
やっと計算云々のコアにたどり着けるような気がする...
今まで童貞で良かったわ。きっとセックスより気持ち良いに違いない。
- 166 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 20:49:07 ]
- >>165
全然違うものですがPostScriptとSECD仮想機械も面白いものですよ。
PostScriptにはつい最近興味を持ち始めたのですが
Forthよりコッチ側（関数的プログラミングとか）に近くて
末尾呼び出しの最適化もされるし驚きでした。
（ループが再帰で書ける！）
SECD仮想機械はS式ベースの仮想機械で
これをベースにしたScheme処理系もあるみたいです。
- 167 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 20:54:13 ]
- センスのあるやつはコードを書く
センスの無いバカは理論をやる
それが計算機の世界
- 168 名前：デフォルトの名無しさん [2009/08/04(火) 21:05:47 ]
- いまはなきLispMe
- 169 名前：デフォルトの名無しさん [2009/08/04(火) 21:12:14 ]
- >>167
○ センスの無いバカは理論「だけ」をやる
- 170 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 21:31:27 ]
- 理論をまったく知らないでコードを書くのは例外なく馬鹿
- 171 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 22:27:40 ]
- >>166
かなり面白そう。
PostScriptは名前だけ知ってたんですが、初めて見ました。
というか、S式 -> ps とかすごく簡単に書けそうでプロッターとしていけますね。
SECD仮想機械は機械的(物理的？)な観点から見れそうなので、今までlisp系を観念的にしか見てなかった自分としては、今までとは対極の見方が出来そうです。
情報サンクスです。
- 172 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 22:58:28 ]
- >>171
PostScript で Lisp 書いたり PostScript で書いた Lisp で Lisp を書いた人もいる。
blog.bugyo.tk/lyrical/2008/01/-o-lisppostscriptlisp.html
- 173 名前：デフォルトの名無しさん mailto:sage [2009/08/04(火) 23:04:20 ]
- 素直にCをベースにしたscheme処理系を見ればいいのに
据え膳食わぬは男の恥
- 174 名前：デフォルトの名無しさん mailto:sage [2009/08/05(水) 02:09:50 ]
- すいません、下のスレの
pc12.2ch.net/test/read.cgi/tech/1233143342/
(((() #0="a" #0# #0#) (#1="b" (#1# (#1#) . #2="c") . #2#) . #2#))
この#0#とかの表記がよく判りません。
自己参照してるっぽいのは判るんですが、
どこかに読み方の説明ないですかね。
#0=と#0#は違うのかな？
- 175 名前：デフォルトの名無しさん mailto:sage [2009/08/05(水) 02:22:09 ]
- >>174
読み方の説明ならこれか
www.lispworks.com/documentation/HyperSpec/Body/02_dho.htm
www.lispworks.com/documentation/HyperSpec/Body/02_dhp.htm
これ
srfi.schemers.org/srfi-38/srfi-38.html
- 176 名前：デフォルトの名無しさん mailto:sage [2009/08/05(水) 02:53:47 ]
- >>174は文字列に対して適用してますが、↓と意味は違うんですかね？
(((() "a" "a" "a") ("b" ("b" ("b") . "c") . "c") . "c"))
それぞれの文字列がeq?にならないからってことかな？
- 177 名前：デフォルトの名無しさん mailto:sage [2009/08/05(水) 08:32:15 ]
- >>176
そのとおり。 共有構造を明記できる記法。
見づらいなら write で出力すればよい。
- 178 名前：デフォルトの名無しさん mailto:sage [2009/08/05(水) 20:02:29 ]
- LispでLisp処理系が書けるってのはＣでＣコンパイラが書けるってのとは
違う不思議さがある。ほら吹き男爵のブートストラップの話みたいな。
- 179 名前：デフォルトの名無しさん mailto:sage [2009/08/05(水) 20:17:33 ]
- Lispの便利機能(GCとかレキサとかデータ構造とか)の実装抜きで作れるからな
- 180 名前：デフォルトの名無しさん mailto:sage [2009/08/05(水) 20:22:00 ]
- マクロをうまく使って作ると面倒なことを一切せずに元のLispと同等の速度で動く
- 181 名前：デフォルトの名無しさん mailto:sage [2009/08/05(水) 20:25:56 ]
- >>178
www2.parc.com/csl/groups/sda/projects/reflection96/docs/malenfant/ref96/ref96.html
- 182 名前：デフォルトの名無しさん mailto:sage [2009/08/05(水) 22:15:32 ]
- >>181
>>178の言ってるのはGCとかの泥臭いところを除外してるって意味だと思われ
- 183 名前：デフォルトの名無しさん mailto:sage [2009/08/05(水) 22:16:44 ]
- しまった、2時間も遅れてかぶってる、撃つ出し脳
- 184 名前：ひげぽん ◆Ngzcp/NZpA mailto:sage [2009/08/08(土) 00:04:50 ]
- Mosh 0.2.0 をリリースしました。
mosh-scheme.googlecode.com/files/mosh-0.2.0.tar.gz
mosh-scheme.googlecode.com/files/mosh-0.2.0-setup-win32.exe
Mosh は R6RS に準拠した Scheme インタプリタです。
0.2.0 では並列ライブラリなどが追加されています。
リリースの詳細は d.hatena.ne.jp/higepon/20090807/1249655156 をご参照ください。
もし良かったら使ってみてください。
- 185 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 00:13:03 ]
- おっおっ！
- 186 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 00:27:14 ]
- >>184
おぉ！
ご苦労様です。
- 187 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 00:41:24 ]
- キター
- 188 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 00:44:34 ]
- 〜準拠とか、きちんとやろうとする人はすごいなあ
- 189 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 00:59:08 ]
- moshってシェルとして使えたりするん？
- 190 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:03:36 ]
- >>184
Windows2000でインストーラ使って即実行したら
「mosh.exe - エントリ ポイントが見つかりません
プロシージャ エントリ ポイント freeaddrinfo がダイナミック リンク ライブラリ WS2_32.dll から見つかりませんでした。」
て怒られた
- 191 名前：ひげぽん ◆Ngzcp/NZpA mailto:sage [2009/08/08(土) 01:11:02 ]
- >>185
>>186
>>187
>>188
ありがとうございます!
>>189
まだ常用には向いていないです。
(mosh shell)というライブラリが付属しているのですが
機能が足りないです。
>>190
試していただいてありがとうございます。
申し訳ないです。Windows XP でしか動作確認できていません。
Windows 2000 では使えないWinSock で関数を使ってしまったみたいですね。
取り急ぎバグとして issue 登録しておきます。
- 192 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:22:17 ]
- いちいち宣伝にくるな
- 193 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:25:41 ]
- むしろ歓迎。
正三郎がアフィりに来るのを心待ちにしてる。
- 194 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:29:56 ]
- いちいち宣伝にくるな
- 195 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:35:33 ]
- むしろ歓迎。
Dan the schemer が弾言しにくるのを心待ちにしてる。(^o^)
- 196 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:37:16 ]
- 弾とか有り難がっている馬鹿か
- 197 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:37:45 ]
- ひげぽんがlispスレにくるの見たの初めてかも
OS作ろうとか言ってた頃が懐かしいな
- 198 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:39:53 ]
- 使い物にならない俺俺Lispがバージョンアップするたびに
宣伝されたらたまったもんじゃない
- 199 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:42:29 ]
- >>196
馬鹿でーす！厨房でーす！
- 200 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:42:38 ]
- バージョン1.0になったら
また来たらいいよ
- 201 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:43:27 ]
- だね
- 202 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:53:01 ]
- 規格準拠であるという点一つとっても俺Lispじゃないでしょ
ネット上で公開しているわけだし
ShiroさんのGaucheすらverUPｶｷｺが許されないの？
独自処理系の書き込みばかりになったら（なりそうになったら）スレを分ければいいだけでは？
- 203 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:55:16 ]
- R6なんですよね。大変そうですね。
moshの方向性は何なんでしょうか。
実用？勉強？哲学？それとも胸に付けるラムダのバッジ？
実用 : shiroさん、本当に感謝しています。
勉強 : みんな作ってるよ。俺scheme。
哲学 : arcがやってる。(そもそもこれが目的だったら鼻高々にR6準拠なんて言わないような。)
ラムダバッジ : 食い扶持。金くれIPA。胸に光るは永田町。私は自民党(R6)の議員です。
- 204 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:57:54 ]
- 充分に使いものになるレベルだと思う。
細かいバグはまだまだあるけど、基本はしっかりしている。
その細かい部分は多くの環境で使ってみないとなんとも言えないので、
このスレで議論するのは意味があると思う。
思うだけだけど。
ところで --loadpath オプションでは複数のパスをコロンで区切って渡せる？
Windows ではコロンはドライブレターの表記に使う。
コロンに特別な意味があると絶対パスを使えないことになる。
修正要。
- 205 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 01:58:30 ]
- たった2レスでこの荒れようｗ
というより一人基地が混じってるだけだが
- 206 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 02:03:31 ]
- この流れを「荒れ」と思ってしまうあなたも相当２ｃｈをわかってない
- 207 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 02:06:07 ]
- このスレではムキになって人の行為を否定するような人はあまり居ないからね。
- 208 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 02:11:28 ]
- Ｇａｕｃｈｅは使いものになるし、
本も出ているし、いちいち宣伝に来ない
- 209 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 02:18:16 ]
- >>191
ヘッダファイルの中で
#if (_WIN32_WINNT >= 0x0501)
という記述で囲まれて宣言しているので、
マクロ定義次第で同様のことは避けられそう。
- 210 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 02:19:05 ]
- >>208
何言ってるんだ。宣伝しに来たことあるよ。
- 211 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 02:24:12 ]
- 宣伝っていうかバージョンアップ通知だろ。
このスレ住人で今まで Mosh 知らんかったやつがいるのか？
- 212 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 02:25:12 ]
- テンプレにも入ってるし。
- 213 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 02:31:52 ]
- Gauche並に使えるようになったら
通知してくれ
- 214 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 02:33:37 ]
- 使えるかどうかはユーザー (つまりはおまいら) が判断することじゃないのけ？
- 215 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 05:02:19 ]
- Mosh ver0.2 (Windows)
エラーメッセージがEmacsで拾えなかった。STDERRへの出力に問題があるのでは？
R6RSだとloadが無いけどどうするの？
竹内関数、かなり速かった。
mosh>(time (tak 12 6 0))
;;1.6406230926513672 real 1.625 user 0.0 sys
12
mosh>
gosh> (time (tak 12 6 0))
;(time (tak 12 6 0))
; real 1.390
; user 1.391
; sys 0.000
12
gosh>
- 216 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 05:17:43 ]
- 別に宣伝するのは構わないが、もう少しスレで質問に答えたりすれば
そんなに悪く言う奴もいなくなると思うが。ひげぽん、どうよ？
- 217 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 05:21:55 ]
- ソース公開されているんだから
直してパッチ送れよ
つかえないなあ
- 218 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 06:04:55 ]
- まだオープンソースに幻想抱いてるのか・・
d.hatena.ne.jp/higepon/20090807/1249655156
不具合報告
不具合報告(code.google.com/p/mosh-scheme/issues/list)までお願いします。
もし面倒であれば、ここのコメント欄に書いていただくのでもかまいません。
- 219 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 06:41:59 ]
- また途中で投げ出す可能性が高いからな
今の段階で宣伝されてもうざいだけ
- 220 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 07:45:26 ]
- >>215
0x00 が出力されてるな。
内部的には ucs4 を使ってるとかいう話があったので、
変換がうまくいってないのかも。
- 221 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 07:58:57 ]
- (error "a") だけでも再現する。
(display "a" (standard-error-port)) でもやっぱりおかしい。
stderr への出力全般がダメっぽいな。
- 222 名前：ひげぽん ◆Ngzcp/NZpA mailto:sage [2009/08/08(土) 11:08:02 ]
- >>192
>>194
すみません。
>>198
>>200
R6RS にも準拠したし俺俺Lisp を脱したかなと思って宣伝してみたのですが
不愉快だったらすみません。
>>203
方向性は実用です。ライブラリを増やしたり速度を気にしたりするのも実用を目指してのことです。
>>204
ありがとうございます。そういっていただけると助かります。
> ところで --loadpath オプションでは複数のパスをコロンで区切って渡せる？
はい。使えます。
なるほど。Windows の場合は ; を区切り文字とするように修正します。
>>209
そうですね。
ここに対策が載っていたので修正します。
yanchde.gozaru.jp/winsock2/freeaddrinfo.html
>>213
Gauche 並はまだまだ遠いです。がんばります。
- 223 名前：ひげぽん ◆Ngzcp/NZpA mailto:sage [2009/08/08(土) 11:09:33 ]
- >>215
> エラーメッセージがEmacsで拾えなかった。STDERRへの出力に問題があるのでは？
Windows では標準出力、エラー出力で WriteConsole 関数を使っているのですがそれがまずいのかもしれません。
Emacs は Meadow とかでしょうか？（試してみたいので）
> R6RSだとloadが無いけどどうするの？
REPL から動的にコードをロードしたいという意味でしょうか？
ライブラリ形式で保存しておいて (import library-name) はどうでしょう。
> 竹内関数、かなり速かった。
まだ Gauche より若干遅いですね。がんばります。
> 216
> 別に宣伝するのは構わないが、もう少しスレで質問に答えたりすれば
> そんなに悪く言う奴もいなくなると思うが。ひげぽん、どうよ？
可能な限りがんばります。
- 224 名前：ひげぽん ◆Ngzcp/NZpA mailto:sage [2009/08/08(土) 11:12:49 ]
-
>>217
いえバグの内容を指摘してもらえるだけで十分ですよ。
>>219
すみません。
どれくらいの段階になったらよいでしょう？
言語処理系は完成の定義が難しいですよね。
>>220
>>221
ありがとうございます。
内部コードは UCS4 でそれを UTF16 にして WriteConsole に渡しています。
cmd.exe でも出力されていないとかだったらかなりまずいですね。
- 225 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 12:35:58 ]
- >>224
cmd.exe の上ではちゃんと表示される。
>>223
> Emacs は Meadow とかでしょうか？
俺は >>215 じゃないけど、少なくとも GNU Emacs 23.1.1 では再現することを確認した。
具体的には GNU Emacs 23.1.1 (i386-mingw-nt5.1.2600) of 2009-07-30 on SOFT-MJASON
>>215
> R6RSだとloadが無いけどどうするの？
そんなこと言ったらそもそも repl だって R6RS には無いぞ。
Haskell みたいに repl では定義を禁止にしたら意味論の破綻はないかも。
そう考えると R6RS って動的な性質が制限されてて Lisp 系言語っぽくないよね。
とりあえず emacs から使う分にはファイル範囲を全選択して C-c C-r でいいんじゃね？
- 226 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 12:40:45 ]
- >>224
msdn.microsoft.com/ja-jp/library/cc429845.aspx
WriteConsole 関数は、コンソールハンドル以外にリダイレクトされている標準ハンドルを渡すと失敗します。
emacs に限らずリダイレクトしたらダメってことだよな。
使えないなぁ…。
- 227 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 12:42:27 ]
- パッチ作って送れよ。
使えないなぁ…。
- 228 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 12:54:28 ]
- コンパイラが Scheme で書いてあったりするので、
Mosh のコンパイルには Mosh が必要だったり、
環境を構築するのが面倒なんだわ。
今までは Linux とかのまともに Mosh が動く環境で一部の処理をしてから
もちこんだりとか、かなり構造を理解してないとわけわかんなかったけど、
今回は Windows でもそれなりに動くバイナリ提供してくれたんで、
これでコンパイル環境ととのえてみる。
- 229 名前：デフォルトの名無しさん mailto:sage [2009/08/08(土) 13:25:06 ]
- configure で gauche の存在をチェックしてるなぁ。
まだ gosh 使ってんの？
|
 |
