一乙
lispの便利さを最近実感してきたので
>>4 その見解おかしいよ、廃れて嬉しいって感受性がヤバイよ
勝手にネガキャンしてくれる人のおかげで
他の言語には世界中の人間が
そうだね
Lispの最大の欠点はまともなGUIライブラリがないことだな
CLのライブラリは使えないの？
ほとんどの処理系にgtkとqtへのバインディングはあるはず。
GObject introspectionに対応すればgtk+3などに自動でバインディングできるようになったらしい。
LTkってどうなの
誰も話題にしていないけど、guile2.0来ているんだよなあ。
2011-02-16 GNU Guile 2.0.0 released.
ttp://www.gnu.org/software/guile/news.html + New REPL, new debugger
A read-eval-print-loop (REPL) is available. Compared
to the REPL in earlier releases, it supports
"meta-commands" that provide convenient access to
interactive programming features. For instance, the
,compile meta-command compiles the given expression,
,profile shows an execution profile of the given
expression, etc.
+ Unicode support
Scheme strings can hold any Unicode character, and
ports can read and write Unicode text in various
encodings.
+ Partial R6RS compatibility
The library and import forms of R6RS are supported,
and all the R6RS libraries defined in the standard
are available. See "R6RS Incompatibilities" in the
manual, for details about remaining
incompatibilities.
+ New dynamic foreign function interface
The (system foreign) module provides a new dynamic
foreign function interface (FFI). It allows bindings
to C libraries to be written without a single line
of C code.
竹内関数でBenchmarkしてみたけど、gaucheと同等の速度になっている。
Guile 2.0っていつの話題だよｗほぼ一年前の話じゃん。
3.11でバタバタしていたからなあ。
Guileメインの日本人が少ないからでしょ。
太るschemer
ｿﾆｯｸﾌﾞｰ
Guile 2.0.5 を MinGW でビルドしようとしたけどうまいこといかへんかった。
>>22 少し試してみたけど、Firefoxでも動作してるみたいだよ。
処理系何使ってるんだ？やっぱりGauche？
周辺やwebの情報量から日本限定だとgauche一強のイメージ。性能も良いし、ドキュメントもしっかりしてる。実行ファイルを出したい人以外はgaucheを使ってるイメージ。
Archlinux、すごいなあ。
16時間30分後には最新バージョンが使えるようになっている。
ftp://ftp.gnu.org/gnu/guile/guile-2.0.5.tar.xz guile-2.0.5.tar.gz. . . Jan 30 21:46 6.60M
guile-2.0.5.tar.gz.sig. Jan 30 21:46 198
$ ls -la /tmp/yaourt-tmp-hoge/aur-guile-devel/PKGBUILD
-rw-r--r-- 1 hoge hoge 856 Feb 1 13:36 /tmp/yaourt-tmp-hoge/aur-guile-devel/PKGBUILD
>>26 gaucheは非gauche-git版入れているなあ。
>>30 復活したっぽい。
Page Information
Title: Franz Inc.: Allegro Common Lisp (Japanese)
URL:
http://jp.franz.com/index.html Document Type: text/html
Last Modified: Thu Apr 22 11:07:21 2004
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
Header Information
HTTP/1.1 200 OK
Date: Thu, 02 Feb 2012 19:28:24 GMT
Connection: Close
Server: AllegroServe/1.2.50
Content-Type: text/html
Content-Length: 478
LAST-MODIFIED: Thu, 22 Apr 2004 02:07:21 GMT
よかったよかった
racketの場合set-car!が使えないからスタックは簡単には作れない
スタックを作るのに set-car! が必要かい？
リスト持ってるだけの構造体（かレコード）かクラス定義すれば、
107 ：ec2-50-16-143-240.compute-1.amazonaws.com ： ：2012/02/06(月) 01:56:49.34 ID:xBgBe+y50
qsocksのソースです
http://codepad.org/uyuG7Ovg ちなみにあたしは高校生です
勉強の息抜きに，あひるちゃんでも発狂させて遊ぼうと考えて作りました
主目的の達成はなりませんでしたが，他の変なのが発狂してて楽しかったので良しとします
プログラミング歴は3ヶ月くらいです．マクロとかクラスとか全然わかりません
SchemerのJKだと…？ Coqを嗜むJKといい、日本始まったな。
>>40 なんでsxmlつかわんの？
べたで (format "~a ~a ~a ...") とかみてscheme使う意味あるのかと
Schemeって出力付近までS式じゃないとダメなん？
プログラム歴三ヶ月相手に何を言ってるんだ。
>>42 Schemeって言語自体がS式をベースにした単純なものであることが重要なわけで別にそこは全然いらないだろ
JKと聞いて喜び勇んで来たおっさんにそんな無粋な突っ込みしても…
FFTならあり得るんじゃないの?
flonumをboxしないで扱えるなら圧倒的に強いと思う。
MacでStalinは動かないようです
chicken-eggsにある移植版stalinならmacでも動くんじゃない？
c.l.sへの投稿乙。興味持ってくれる人いると良いね。
>>52 c.l.sって何の略？
アドレス、教えて。
ecl 12.2.1が出てたのに今気付いた。
enable-unicodeがデフォになった。
weak-hashが入ってdrakmaが動くようになった。
Archのextraはまだ前のVer。Aurのgit版は--enable-hoehm＝を変更する必要あり。
>>53 Macは持っていないからスマンけど、ビルドが出来るか確認した？
chickenは移植性が高いし、ソースもschemeみたいだけど。
>>54 横レスだけど、たぶんcomp.lang.scheme。
stalin本家も移植性に気を使ってるコードだから、手間をかけずに移植できる気がする。
lispやscheme系で10年後にも開発が継続しているのはどれだろう？
それはわからないよ。
gaucheはソースが綺麗だから引き継ぐ人が出易いと思う。
r7rsていつ決まるの？
>>64 > あんな美しくないミニ言語
解が見つからないまま publish に至っちゃった結果なんじゃないかなぁ。
Scheme マクロの出発点は「文脈によって意味が変わらないマクロを定義したい」
というところなんだろうけど、それがどうにも上手く行かない。
Common Lisp の symbol は名前を持つ object であるのに対し、
Scheme の symbol はちょっと変わった文字列でしかない。
つまり (eq? (string->symbol "foo") 'foo) => #t であることが保証されている。
ということは explicit renaming では
文脈によって意味が変わらないマクロを定義できない。
というわけで Scheme のマクロ変換の対象となるのは
マクロ変換時の情報を格納したオブジェクト(構文オブジェクト)とならざるを得ない。
で、マクロ変換時の情報って何よ？
ってなったときにどうにも合意できるものが無い。
合意できるものがないので
(datum->syntax identifier datum)
という identifier の中に隠れた(仕様書に無い)構文情報を
datum に付加できる手続きを仕様とすることでなんとなく合意された。
と推測している。
なんで scheme って、衛生的マクロに拘るの？
defmacroはbrokenだから。どう使っても確実に動くというマクロが書けない。
やだ、かっこいい・・・
72 ：
68 ：2012/02/08(水) 16:45:06.95
>>69 ごめん、よく知らないんだけど、そもそもそういう思想なの？
刃物が危ないから規制する、みたいな感じに受け取れるんだけど…。
マクロの外側では普通に、グローバル束縛をシャドウするローカル変数、って(作っちゃだめだけど)作れるんだよね？
(define (let) 10) でめっちゃめちゃだよね？
なんで defmacro だけ目の敵に…。
>>72 let を変な風に定義しなおしたとしても、何も変えてない let* とか letrec とかは今まで通り普通に動いてほしい
でも let* がマクロで let に展開されると、変な風に変えた新しい let を使うと、正しく動かなくなってしまう
自分が let を使うときは自前の定義した let を使いたいけど、 let* とかがマクロの内部で使ってる let は元々の let を使ってくれれば、素敵だと思わない？
そんな気持ち
macroは式の変形なので、普通にやると展開時の文脈で評価されてしまう。
個人的な感想だと、explicit renaming=gensym類似、syntactic closure=closure類似、syntax-case=Lispじゃない。
>>72 マクロじゃない、普通のライブラリは既にそういう分離が出来てるから。
自分のモジュールで (define car '(toyota prius)) したら、突然
標準ライブラリで内部でcarを読んでる関数が全部動かなくなる、なんてことはないよね。
(R6RS以降、もしくはR5RS+適切なモジュールシステムを使ってれば)。
マクロでもそれと同じことを保証したいけど、defmacroではできない、っていうこと。
>>72 > なんで defmacro だけ目の敵に…。
昔は手続きにも同じ問題があった(funarg問題)。
これに対してはレキシカルクロージャで一応解決した。
Scheme はマクロの方も解決しようとしている。
でもみんなが満足する解は今のところみつかってない。
>>64 >型推論するR5RS compilerが欲しいなー（チラッ
今がんばっています
Schemeの衛生マクロではアナフォリックマクロみたいな意図的に変数捕捉するマクロは書けないと聞いた。
アナフォリックマクロは無理矢理スコープをねじ曲げて作ってるのを何ヶ所かで見たことがある。
syntax-rulesでは面倒でもsyntax-caseなら普通に出来るじゃん。
>>81 defstruct みたいに prefix 付き手続きを自動生成するとか。
R6RS のマクロと defmacro の差ってことで言えば defmacro でないと出来ないことってのはほとんど無いと思うなぁ。
むしろ defmacro には出来ないことがあると思う。
一応
>>81 が期待している回答が syntax-rules と defmacro の比較と仮定すると、
>>85 の他に
マクロ展開時の数値計算みたいなのとかも syntax-rules では無理ってことになるんじゃないかな。
例えば (plus 1 2) を 3 に展開するみたいなのは無理。
(define-syntax plus
(syntax-rules ()
((_ 1 2) 3)))
みたいな感じで全ての数値の組み合わせを網羅するとかいった方法が無いでもないが非現実的だわな。
一段落目のあいまいな内容の感想文ﾜﾛﾀ
思想が違うものなので比較するのが難しい。
R6RS のマクロは defmacro に出来る大抵のことは出来るはずだけど、
展開時に使う関数は別のライブラリに分けなきゃならない制限があったりする。
(フェイズの分離がライブラリ単位。)
「defmacro は関連定義をひとつのパッケージにまとめることが出来る (が R6RS のマクロはそうではない)」
という点で能力の差と言えなくもないけど、定義したマクロを使う分には関係無いので単に記法の違いと言えなくもない。
一方で、
>>77 にあげたように「defmacro では完全に変数衝突を避けることは出来ない」というのは
定義したマクロを使う時にも注意を強いるという点で「defmacro には出来ないことがある」と考えた。
つまり、定義時の楽さや複雑さを置いといて、どれだけマクロの中に隠蔽できるか (マクロ使用時に見えないか)
で測ると
>>86 という意見になるわけだけど、そうじゃない解釈もできるので曖昧な文章になってしもたという感じ。
RacketのGUIをちょっとやってみたけど、
ふと気になったんだけど、schemeって代数幾何でいうスキームと何か関係あるの？
新宿ジュンク堂が閉店するみたいだ。残念。
ぇえー残念
ジュンク堂自体はおなじ規模でどんどん出店してるから、また新宿に出来るかもね。
後釜のビックが書籍のフロアを頑張ってくれると有難いんだが。
新宿三丁目のあたりで良いからまた店出して欲しいな。
新宿は紀伊国屋本店があるから無理じゃね？
行ったことないから判らんのだが
本店があって、（行政区画上は渋谷区だが）新宿南店もあるもんな。
>>101 一応コンピュータのコーナーだが概論的なコーナーだし
空間的に、ん？ここもコンピュータ書のコーナーなのかな？
というような微妙な位置にある。
105 ：
デフォルトの名無しさん ：2012/02/28(火) 23:26:45.58
WEB+DBの最新号、関数型言語入門を山本和彦が書いてるのを立ち読みして来た
S式（単一シンタックス）やマクロといったlispの特徴は二の次というか、あまり興味なさそう。
>>108 Clojureもjavaのコードを動的コンパイルしてreloadできれば値の変更を伴うコード書くのもたやすいんだがなぁ
CLとくらべちゃうとどもならんけど
そんな凝った事しなくてもJavaのデータ構造使えばいいじゃないか
関数型言語入門でLisp大きく取り上げてたら
関数型の利点として副作用がない事をあげてしまうと、constやimmutableが基本ですからと返される気がするのだけどな。
マクロ、型推論、パターンマッチ渡しは
独立した概念だろうと、副作用がない事は手続型への優位にはならないよ。
参照透明性についてちゃんと勉強してから偉そうなこと言えよwwwwwwww
なにそれ？
最低限でもCTMCPとか知ってれば、「副作用が無いのが優位」とまでは考えないだろうな。
「副作用（内部状態）を活用したプログラミング」「副作用に依存しないプログラミング」などがある。
副作用に依存した言語しか知らないプログラマーが、余計な副作用に悩まされるというのは判る。
大抵は
>>114 の、constなどで解決出来るから、ネイティブCでは難しいこと（DSLを作るとか）
が必要になったらLispなどが選択肢に入る、ってだけだと思う。
>>118 「ビットスライスプロセッサ」、「マイクロプログラム化」の意味ならWikipediaあたりで見てもらうとして、
意義は、ハードレベルでLisp対応マシンを作製した、という事。
現在の個人向けPCのCPUは、どちらかと言うとC言語対応。
C言語対応CPU + Cソース + Cコンパイラ
→ Lispコンパイラ + Lisp ソース
→ C言語対応CPU用実行ファイル
→ C言語対応CPUで実行、よりも
Lisp対応CPU + Lispソース
→ Lisp対応CPU用実行ファイル
→ Lisp対応CPUで実行
の方が速度的に有利だし、Lispの内部構造改善も容易。
>>119 >C言語対応CPU
そんなものがあるのか？
Cコンパイラを意識しながら進化してきてるって意味でしょ。
>>122 そんな事実はあるのか？具体例をひとつ。
どっか他所でも誰かに同じ議論吹っかけてたね。
インテルアーキテクチャでは命令をμopに分解してCPU内部で最適化したりもするらしいね。
らしい、とか、思う、とか、はず、とか言われても……
そろそろスレチ。
>>123 x86: enter命令やleave命令
SPARC: レジスタウィンドウ
MIPS: 大量のレジスタと少ないアドレッシングモード
Atmel AVR: (PIC あたりと比べて)Cで書きやすいように設計された
C だけでなく Pascal や FORTRAN あたりも視野に入ってるんだろうけど。
ARMv8 でタグ付きポインタ入らないかなと期待してるんだけど無理だろうな。
Cの実装でも用いられるスタックを使った環境フレームモデルは
山本和彦の文章立ち読みしてきたけど、まあHaskell宣伝の文章だからそっちのを
心が揺れてるなら自分の答えを得る為にやってみてもいいんじゃね？
読んで疑問に思ったんだけど、
Lispに潜在的能力があるとしても、やっぱり言語仕様にないと利用者に伝わらないんじゃない？
うん、lispやったから理解できないってのは
ある程度の宣伝口はしかたないでしょ。
>>135 >遅延評価もマイナス。
メリットを上回るデメリットって何？
「人は副作用から離れては生きられないのよ」ってことじゃねぇの？
>>136 あくまでも個人的な感想。言語の機能は目的に応じた選択だから良い悪いの評価は難しい。だからこそLispは言語が作れる言語になってる。
静的型の利点に性能をあげやすい点があるけど、デフォルトが遅延評価だとやりにくい。
もともとelisp以外にlisp書いてない人なんじゃないの?
遅延評価は結構厄介だぞ
でもまあMew作ったほどの人があれだけはっきりLISPにネガティブなこと書くという
俺らが日本語を話すときにいちいち文法を考えたりしないだろ。
>>137 副作用が良くない事のように捉える人が少なくないのに違和感あり。
そこは違和感ありだろと違和感あり
イスラム名のように違和感なく聞こえないこともない
でも、副作用については、厳密に副作用を禁止するより
たとえば薬とかの副作用は、基本、ないほうがいいものだから、手続き型ないし
説教つうと、基本悪い事した時に正座させられた上でこれでもかと聴かされるアレだから、
代入なんか言ってみればmain effectだしな。
はっきりとコードの領域を副作用と純粋に分けられるかじゃないの
副作用を目の敵にしてるんじゃなくて
> 合理的な理由があったとしても、メンタルモデルとかけ離れた言語は使い難いよ。
>>142 Haskellは知識を「体系的」と言うより数式と同じように「宣言的」に表します。
人の脳味噌にとっても宣言的に考える方が手続的に考えるより向いている場合があります。
宣言的記述である方程式を手続き的に記述すると鶴亀算になりますが、
方程式の方が鶴亀算よりずっとわかりやすいです。
>>151 はっきりとコードを手続的記述と宣言的記述に分けられるか、と言い換える事もできます。
Haskellは、その点では理想に近いですね。
>>140 だよね。
結局性能が落ちるコードを避けるために神経を使わないといけないなら、
eagerに対する利点が相殺されてるんじゃないのか、って思うわ。
個人的な印象としては、必要なときだけlazyにできれば十分。
その方が、必要なときだけeagerにするよりはずっと分かりやすい。
lazyは下手にボトムを回避しちゃうからねぇ
だからLazyじゃないMLを使ってればいいだろが。
ClojureもRacketもデフォルトlazyではないはず。
>>157 既に条件に合うLispって言語を使ってるのにML使えとか言われても。
それに、OOPを批判することとJavaを批判することが同じでないように、
Haskellを攻撃してるわけじゃないのは理解して欲しいところ。
あと、遅延でHaskellばっかり引き合いに出すと、多分Cleanさんが泣く。
WEB+DBマガジン立ち読みしたけど
はぁ？
LispがいいならLisp使ってればいいじゃない。
一応フォローしとくけど、最初から遅延評価が標準の環境の話しかしてないし、
静的単一代入なんて言語あるのか?
HaskellerがLispを否定的に評価したので、HaskellよりLispが良いと思う理由を書いただけだけど。
>>165 SSAの訳だけど、あまりプログラミング言語の分類では使わない表現だね。
関数型言語の中間表現でよく使われる形式と等価ではあるんだが。
手続き型言語のIRにも時々登場するな
関数型言語のほうはCPSね。
>>165 Haskellerがそうなんじゃないの
SSA（静的単一代入）は中間表現に対して使われるものとwikiepediaに書いてあったけど
ちなみに、C/C++とかだって最適化の途中でSSA形式の中間表現に変換される
>>170 ×Haskeller
○Haskell
>>168 むしろ現代の最適化コンパイラでは
デファクトスタンダードの中間表現
（関数型）プログラミング言語の性質としては「単一代入性」と言う。
Haskellってすごいすごい言われているけど
｜
176 ：
デフォルトの名無しさん ：2012/03/08(木) 21:29:15.66
Haskellならではの便利なプログラム手法とか教えてくれないか？
「う～～Haskell Haskell」
やめないか
λアッー！！
Λーッ!!
Haskell使っているだけで
Haskellは型安全で爆速だお
でも、実際使ったら彼女はできるし
関数言語信者って選民思想の人多すぎだよね
でも実際、PHPとかJavaとか使っていたら
使っている言語でプログラマの能力をを判断すべきじゃないよ
関数型言語の信者は中二ってことでいいけどさ、
選民思想というより、言語の選定を真面目にしない人を馬鹿にするって感じだと思うよ。
Clojure使ってるんでJavaのコードも書くよ。
プロジェクトならJava使うほうが、lispなどの関数型言語使うより
>>184 packrat parserは言語に依存する技術じゃないと思う。
Haskell以外の言語での実装も溢れてるし。
だけど、遅延評価使ってエレガントに書けるじゃん
そういう話なら、遅延評価を前提にしたコードが書けるのがHaskellならではなのであって、
MirandaでもCleanでもなくてHaskellならでは、って条件は流石に厳しくないか？
遅延評価なんて大昔から知られていた手法なのに
Miranda, Cleanは演算子ユーザ定義が無理じゃなかったかな。
>>197 一応、遅延評価デザインパターンってのはあります。
言語が直接サポートするのが少ないだけで。
>>199 それは分かるけどさ、言語が直接サポートしないのが一般的なのは
遅延評価と普通の評価のトレードオフを考えた上だろ
>>197 の主張はたとえばガベージコレクションにもそのままあてはまるよな。
Java が流行ったとたん、パッタリと消えたタイプのw
>>196 それは確かにそうかもしれない。ちょっと過敏な反応だったようで申し訳ない。
最近、何かにつけてHaskellが引き合いに出されることが多くて、ささくれだってたみたいだ。
>>200 そもそも遅延評価という選択肢を考慮すらせずに設計された言語も多いんじゃない
>>203 言語設計者がそんなに馬鹿な連中だとは思わないけど
遅延評価なんて大学で情報関係の教育を受けた人間なら知ってることだろ
>>201 遅延評価がこれから流行る可能性はゼロだけど
ほら、こういう風に図に乗る奴がすぐ出てくるんだよ
>>204 今どきの、情報教育ならね。
今現在主流の言語はほとんど、二世代三世代前の連中が設計したものがベースってことを忘れちゃいかんよ。
JavaとRubyは？
いつまでスレタイも見ずに暴れるつもりだこのバカ？
だったらスルーしろよ
その「だったら」がよくわからない
新しい言語で遅延評価が採用されてないって、ガチで言ってるならお前は帰れｗ
>>208 欠点があることは誰も否定してない。
が、採用言語が少ないことは、欠点だけが理由じゃなく、考慮されないことが多かったからって話をしている。
もちろんJavaが先行評価なのは歴史的経緯なんだろうし、RubyについてはMatz本人に聞かないと分からんけど
そういう個々の話をしてるわけじゃないだろ...
>>213 欠点が理由だよ
考慮されないのは欠点が大きすぎるから
断定して断言
欠点が欠点が、と喚くだけで、全く科学的定量的根拠が出せない奴もな
sicpから
>>219 問題はExercise 1.20
ぐぐれば問題も答えも出てくる
英語だけど
>>214 遅延評価に考慮すらされないほどの欠点があるの？ どんな？
最近の情報工学を学んだ人間なら、遅延評価は普通に考慮に入れると思うけど
それほどの欠点があるとは知らなかったよ
マクロなんて大昔から知られていた手法なのに
マクロは使われてる。S式じゃないとそれほど便利じゃないけど。
Lisp人口=Ｓ式使いたい人数か
>>224 データ構造の表現だけなら、JSONやXMLみたいな
もう少し便利な品があるからね
エディタのサポートがないと書きづらい事も普及を妨げていたと思う。
世間のビジネスの殆どは単純な事務処理だから、マクロやS式無しでも出来るだけの事。
単純な事務処理以外の分野でも
>>223 > S式が一般の言語で使われない
S式が使われた言語は LISP と呼ばれてしまうので LISP でないS式言語が存在し難いんだと思う。
>>229 汎用の言語でLispと言ったらCommonLispとSchemeとClojureくらいしか知らないんだが
そこに収斂するまでどれだけの血と汗と紆余曲折があったと思ってんだ！！
>>231 汗はなんとなく分かるけど、血と紆余曲折の具体的事例が思い浮かばない
Lispの方言の数を舐めるなよ。
234 ：
デフォルトの名無しさん ：2012/03/09(金) 15:11:04.31
Cygwin-1.7.8でGuile-2.0.5のビルドが通らない。libffiのテストが通らない。
Allegro Common Lisp (ACL) の試用版を使っています
ここschemeスレなんだけど
じゃschemeではどうやるか教えてください。
頑張れば書けるだろ
>>235 Common Lisp の闇である loop と format が大活躍する場面だな!!
Lisp族の総合スレだろ。
>>235 >>237 こんな感じかな。
(define (power-display lst)
(let loop ((acc '()) (next lst))
(cond ((null? next)
(for-each display (reverse acc))
(newline))
((list? (car next))
(for-each (lambda(x) (loop (cons x acc) (cdr next))) (car next)))
(else (loop (cons (car next) acc) (cdr next))))))
(power-display
(list "*" '(2 3 4) '(a b) "!" '(8 9 0)))
とりあえずloop系のゴリ押しか、再帰で書けそうだけど、
プログラム書いてくれるプログラムまだー
コンピュータが人間に合わせてくれるのではなく、コンピュータに合わせて人間の頭を
1960年代ではその考えは間違い。
lispのコードが読みやすいのはコード量が少なくなるから
>lispのコードが読みやすい
よって、逆ポーランド記法で書けるschemeが最も自然な流れで読めるという結論に至ったわけだが
>>247 慣れの問題なだけだからなー
XMLのタグよりよっぽど楽だし、構文の覚えやすさならLispの右に出るのってFrothくらいじゃないのか？
一語ずつ順番に読むならそうかもしれんが
(set! bar (fn1 (fn2 (fn3 (fn4 "foo"))))) <- "foo"まで読んでから視点が折り返し
>>248 schemeって逆ポーランド記法なの？
1 2 +
みたいな記述するん？
だからさー、Lispでうまく分業できる方法確立したら、
引数と関数のチェーンって逆の方向に伸びるから
ちょっと何言ってるかわからないですね
>>255 そっか、わかりづらくてごめん
でもほんとにたいした内容じゃないからスルーして
>>252 逆ポーランド記法な scheme があったら、って話だと思う
つまり、
(5 (3 4 +) *)
こういうことだよね？
案外いいかもしれない
さらに Forth のように + や * が関数だと分かってると、上のは 5 3 4 + * って書けるだろうけど
シンボル a, b, c, d に関数や数値が束縛されているとき
a b c d はどこが引数でどこが関数なのか、普通の人間には理解できないかもしれん…
メソッドチェーンは上手く表現できるんだろうけど、こんな表現を使いこなせるのは、なるほど Jedi だな
さらにもし多値を返せて、それがスタックに複数の値として残ったりなんてしたら、とてもとても…
>>257 その書き方だとマクロが悲惨なことにならない？
(((a 0))
('foo 'bar (a 1 <) if)
let)
確かに… マクロとの相性最悪ですね
映画コンタクトで解読できたのは巨大な括弧だった
>>259-260 マクロと相性が悪いというよりツリーと相性が悪いのでは？
LispはツリーであるS式が基本なので
逆ポーランド記法は採用できないと思います。
線形リスト：
ポーランド記法でまあまあ読みやすい。
逆ポーランド記法でとても読みやすい。
ツリー：
ポーランド記法でだいぶ読みにくい。インデントで改善できる。
逆ポーランド記法でかなり読みにくい。
グラフ：
ポーランド記法でとても読みにくい。
逆ポーランド記法でとても読みにくい。
言いたいことは分かる気がするけど「だいぶ」と「とても」と「かなり」の順序が分からん
>>263 グラフ同士でも読みやすさに差があるからこうですね。
＜＜読みやすさランキング＞＞
線形リスト ＋ 逆ポーランド記法
---- 壁0. 実行順の壁 ----
線形リスト ＋ ポーランド記法
---- 壁1. 一直線の壁 ----
========<< 越えられない壁 >>========
ツリー ＋ ポーランド記法
---- 壁2. 概要から詳細への壁 ----
ツリー ＋ 逆ポーランド記法
---- 壁3. 階層構造の壁 ----
========<< 越えられない壁 >>========
グラフ ＋ 逆ポーランド記法
---- 壁4. 実行順の壁 ----
グラフ ＋ ポーランド記法
グラフって何の話？
>>262 >エターナルフォースnreverseすると死ぬ
これは一体…
268 ：
デフォルトの名無しさん ：2012/03/10(土) 17:27:10.53
ｗｗｗ
>>266 > macro expansion のためには完全に前置か完全に後置かにしないと都合が悪い。
「都合が悪い」ってのは、評価時にさらに構文解析が必要になるのが問題になるってこと？
それってmacro expansionに限った話か?
>エターナルフォースブリザード
>>266 グラフ理論のグラフじゃね？
ツリーは循環のないグラフと言い換えられる（グラフはツリーを含む）
273 ：
266 ：2012/03/10(土) 22:25:57.43
>>270 macro expansion に限った話ではないです。例として挙げただけ。
「都合が悪い」のは、
例えば「第二要素がオペレータ」という決まりにしてしまうと
引数が0個のマクロを定義できなくなるとかです。
マクロ定義時にマクロ名を何番目に置くか定義できるようにすると、
(macro0 macro1)
のような式でどちらを先に展開するのか、とか。
>>272 グラフで記述された言語って何？という意味の質問でした。
BNF って構造としてはグラフだよね。
>>262 横レスだけど面白い処理だね
control stringとリストを作ってから最後にまとめるわけか
ただ、その処理だと文字列に~sや~aが現れたときにはエラーになってしまうような。
>>272 細かい話だが普通、循環のない無向グラフと無向を断わらないか。
有向だとDAGが循環はないがツリーでない判例になるから。
>>275 アイヤー。"~s"とかのこと忘れてたアルよ。無駄にnilの場合とか考慮してるのにね。
エターナルフォースnreverseは、
>>239 で闇とか言われてたので、そんなテンションだったとき、
途中で要素を共有してたのを忘れてnreverseして自分が死んだ。相手は死なない。平和。
結局loopとかformatとか良く使わないのであんま分かんなかった。アップルパイ美味しいです。
yamlに変換したら読みにくそう
>>278 S式が用意された理由は、データ構造というか構文木の表現のためだよ
だから本来のS式にとって、データ構造の表現は副次的な役割に過ぎない
逆だよ。
元のレポート読んでないけど、Wikipediaの記述ではデータ構造が先だな。
数式処理をしたい
あれ？そうなるとeval誕生前にはどうやって処理していたんだろうか
evalはインタプリタ。
当初evalは数式処理をしていたが、万能関数ではなかった。
>>285 無茶言うな。
>>287 FLPL(fortran list processing library)辺りからの経緯の話なんだけど。
その前にもNSS listとかIPLとか先駆的な仕事があるんですよ。
いきなりLispやLispコンパイラが生まれたんじゃなくて。
うーん
IPL軽視されすぎ。
>>276 うん、条件を見落としてた
ごめん
>>273 >>263 とは別人だから真意は分からないけれど
CLや特定のSRFIを含むSchemeだと#n=と#n#で循環も書けるから
念の為にグラフも比較対象に含めたんじゃないかと思う
質問です
>>292 aplly を使え。
それと hash-table の第一引数はハッシュテーブルのタイプ (比較関数) だぞ。
まちごた… aplly じゃなくて apply だ。
Gaucheなら
アップリー
Lisper 死んでも誰も困らない
リリカルLISPっていう学習ソフトで詰んだので答えて頂けるとうれしいです。
(define f cadr)
(define (f 大好き おっぱい) おっぱい)
303 ：
302 ：2012/03/19(月) 03:57:18.63
というか、俺もリリカルLISPでSchemeをはじめたんだけど
304 ：
302 ：2012/03/19(月) 04:19:41.21
なんで詰んでるんだろうと思ってリリカルLisp起動してちゃんと問題読んだ
>>300 を読み直した
恥ずかしすぎるから吊ってくる
かける言葉もないわ。コレは吊るしかない
ありがとうございます
>>306 cadrを束縛してる手続きでfを束縛するってこと。
要はcadrにfっていう別名を付けた。
(define x 10)
とかと考え方は同じ。
ちなみに
309 ：
デフォルトの名無しさん ：2012/03/19(月) 07:06:35.29
(define (cr ad sex)
310 ：
デフォルトの名無しさん ：2012/03/19(月) 08:02:33.27
;;効率的かは分からないが
×length
312 ：
デフォルトの名無しさん ：2012/03/19(月) 08:36:23.73
(define (cr ad sex)
313 ：
デフォルトの名無しさん ：2012/03/19(月) 08:44:36.90
;;やっと言いたいことを理解したが効率的ではないな
そういうのこそマクロ使うんだよ
(define (apls ls arg)
>>310 もっと積極的に (というか無闇に) Gauche の機能を使ってみた。
(define (cr a x)
($ port-for-each (cut $ update! x $ case <> ((#\d)cdr)((#\a)car)) $ cute read-char $ open-input-string $ symbol->string a)
x)
ごーしゅよくわからないけど適用順ぎゃくじゃない？
lambdaは無名関数でもありクロージャでもある
Lispスレ的には、昔のlambdaで作られる関数は動的束縛で、クロージャではなかった。
>>318 言葉の意味はとりあえず Wikipedia 見ておけばだいたいわかる。
http://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AD%E3%83%BC%E3%82%B8%E3%83%A3 >>320 を補足すると昔の方式の LISP のひとつには emacs lisp がある。
喩えば対話モードで
(lambda () 'hoge)
と入力すると
(lambda nil (quote hoge))
と返ってくる。
これは emacs lisp の中では lambda で作られる関数は単に「car が lambda というシンボルであるリスト」として表されていることを意味する。
静的な環境と結び付いていない。
あと、極論するなら Scheme の手続きは全て無名。
(define (x) 'hoge)
みたいに書いても、これは
(define x (lambda() 'hoge))
の構文糖だから。
名前は変数についているのであって関数の名前ではない。
>>322 ほれ
(define-macro (cr ad sex)
(let loop ((ad (string->list (symbol->string ad))))
(if (null? ad)
sex
(if (char=? (car ad) #\a) `(car ,(loop (cdr ad))) `(cdr ,(loop (cdr ad)))))))
(cr a '((a) b c))
=>(a)
(cr aa '((a) b c))
=>a
(cr ad '((a) b c))
=>b
(cr add '((a) b c))
=>c
SchemeとCommonLispは完全に時代遅れ
Clojureは大好きだけどそんなことはないと思う
>>325 どんなところがそんなことないと思うのですか？
common lispとschemeのコードをシンタックス・ハイライトで色づけできる
>>327 google-code-prettify なら CL や Scheme に対応してるし、 WiLiKi に導入することも簡単だよ。
>>328 ありがとう。google-code-prettifyの使い方を見てみた。
javascriptとcssのファイルの読み込みはwilikiに簡単に追加できそう。
だけど、<pre class="prettyprint linenums:4">のように
pre要素のclassに任意の文字列を渡すことはwilikiではできないのでは？
>>326 JVMやCLIのような「ホスト」環境にアクセスするのは自然な事としている所はCLやSchemeとは違うと思う
それに、共有された状態を管理する手段としてロックを推奨しないなど、まだ一般に浸透していない設計上の判断がある
その判断が良いものかどうかは別の話だけど、少なくともCからC++のように
「コンパイラを入れ替えて、多少のエラーを直せば一応移行できる。それからより良い方法を学べばいい」というわけにはいかない
俺はClojureをCLやSchemeを過去の遺物にするような何かではなく、今までも沢山あった方言の一つだと思っていて
その上でClojureが好きで、長期間続いて欲しくて、他の言語にClojureが良い影響を与えたらいいなと思う
だから「CL・Schemeは死んだ、これからはClojure」みたいな主張には頷けない
>>330 括弧のネストの深さに応じて色が変わるのは
pastebinのサイトと同じっぽいな
>>330 プロパティを追加したいだけなら
wiliki:format-page-content メソッドをオーバーロードすればいいんだよ。
next-method の結果から sxpath で pre を探して sxml:add-attr でプロパティを追加。
直接ソースコードを書き換える必要はない。
>>329 linenums に関しては記法自体を追加しないと無理かなぁ。
>>333 ありがとうございます。
いろいろいじってみます
最悪の場合でも with-module を使えばどこへでも割り込めるのでソース自体を書き換えなければいけないってことはそんなに多くない。
gaucheのfile-mtimeで取り出した時間をもとに
sys-strftime
>>338 まさにそのとおりの関数があったのですね。ありがとうございます。
340 ：
営利利用に関するLR審議中＠詳細は自治スレへ ：2012/04/03(火) 19:58:44.16
342 ：
営利利用に関するLR審議中＠詳細は自治スレへ ：2012/04/03(火) 23:42:23.42
>>341 SBCLとかclispとかでポータブルに書きたいです。
>>342 Common Lisp の話はなるべく Common Lisp スレへ行ってね。
Scheme の話は Scheme スレでね。
346 ：
営利利用に関するLR審議中＠詳細は自治スレへ ：2012/04/04(水) 00:27:53.75
Lisp SchemeスレとCommon Lisp入門スレってどういう関係なの？
>あちらはCommon Lispの初心者用スレじゃないの？
>1
>>346 そこらは歴史的経緯というやつで…。 別に Common Lisp の話が禁止というわけじゃないよ。
ただ、 Common Lisp "固有の" 話は Common Lisp スレに集約した方が話が早いのであえてこっちに書かんでも、という感じ。
複数スレチェックするのめんどいから、全部ここでいい感じ。
Common Lispとか興味ないわ
CLスレが立った経緯は・・・
RubyはLispの一種だしな
>>353 comp.lang.lispで延々怪気炎を上げ続けてるWilliam Jamesさんみたいな人ですね。分かります。
gavino もまだ暴れてるんだなスゲー。学生時代にも見た記憶あるから、10年近くtrollしてんのか。
ジャンルは違うが日本が誇る偉大なる日下部師も負けちゃいないぜ。
>>357 それはどちらでみることができるのでしょうか？
今は主にTwitterかね
はつみみです
ということにしたいのですね？
n次元のリスト1つをつくりたいです
引数が何で結果を何にしたいのか
俺以外にも
>>362 が何言ってるのか分からない人がいて安心した
(make-my-list (lambda (x) (* 2 x)) '(3 2 1))
schene素人が作ってみた
すみません
make-my-listの第一引数には一番外側のリストの順番に対して操作する関数を、
第二引数はリストをわたします。
第二引数のリストは、説明がしづらいのですが、1番目は生成されるリストのatomの数、2番目は1番目をいくつまとめるか、3番目は2番目をいくつまとめるか、という風になります
>>365 こうしたいです
>(make-my-list (lambda (x) (* 2 x)) '(3 2 1))
(
((2 2 2) (2 2 2))
)
>(make-my-list (lambda (x) (* 2 x)) '(4 2 3))
(
((2 2 2 2)(2 2 2 2))
((4 4 4 4)(4 4 4 4))
((6 6 6 6)(6 6 6 6))
)
>(make-my-list (lambda (x) (x)) '(3 2 3))
(
((1 1 1) (1 1 1))
((2 2 2) (2 2 2))
((3 3 3) (3 3 3))
)
>>367 部分的に共有構造になってるけどそれでもいいか？
(define (make-my-list p l)
(let ((n (car l))
(m (cadr l))
(z (caddr l)))
(map (lambda(x) (make-list m (make-list n (p x)))) (iota z 1))))
ありがとうございます。
質問です。プログラミングのコードって、Tabキーで解りやすくインデントがされますよね。
気にしないでいいと思いますが
>>370 このスレの住人なら emacs かそれに準ずる高機能エディタを使ってます。
それにコピペして数ストロークのコマンドでインデントは再現できます。
emacs なら C-x h でバッファ全体を選択した後に C-M-\ ですね。
なので、少なくともこのスレではあまり考えなくてかまいません。
>>371 の示す手順も掲示板のクセ次第です。
にちゃんねるでは通用しても掲示板の全てで通用するわけではないです。
見る側のブラウザやフォント指定次第では幅が合わずにやっぱり表示が崩れたりする上、
実際に実行させるために空白文字に戻す必要が生じてかえって手間だったりも。
それも数ストロークのコマンドで出来ますけど。
最近ではコードの断片を保存するサービスがいくつかあります。
そういうサイトを利用して掲示板には URL を貼り付けるといったこともよく行われています。
主なところでは、
http://ideone.com/ http://codepad.org/ http://codetter.com/ https://gist.github.com/ でしょうか。
各掲示板によって (にちゃんねるなら各スレごとに) だいたいの運用方法が暗黙に定着しているので、
過去のやりとりを参考にして下さい。
Janeで見ているなら、レス番にアンカーがあればそこを右クリック
374 ：
370 ：2012/04/17(火) 09:08:20.11
>>372 動作確認(C-M-\)をしました。感動しました。マジでありがとう。
>>370 2chでは行頭の半角スペース・Tab は何個あっても消える。
全角スペースならおk。
dat上では消えてないから、専ブラで行頭空白保存する設定で使えばインデント復元できる。
Guile 2 って Windows で動かんの？
Gauche0.9.3きちゃう？
Windows でスレッドが使えるようになったのが個人的にはかなりありがたい。
まじか。Windows環境でもスレッドうごいちゃうの？ビルド環境ないんで 0.9.3 は wktk しながら待たせてもらいます。
やだ…仕事はやい…
なにこのキモイ流れ？
河童のキモ流れ … 河童が肝を洗っているとうっかり流してしまいそのまま死ぬこと。 転じてキモがられて社会的に死ぬこと。
ユーモアの欠片もないな
すいません、質問です。
>>386 C++ や Java の感覚で表現するなら前者はリテラルで後者はコンストラクタによってオブジェクトを作ってるイメージかなぁ。
文字列と文字列の入った配列ぐらい違う
前者は処理系によっては変更不可属性を付けられてもおかしくない
392 ：
386 ：2012/04/28(土) 08:23:46.72
387みたけど、しっくりこない。
quoteは、渡されたS式をそもそもソースコードとして評価せずそのまま返す、という機能だよ
>>392 CLで書いているけどこんな形で変わってくる
ttp://ideone.com/nT1Tr quoteは読み込みのタイミングで一回だけリストを作っているけど、
listやconsなんかは評価ごとに新しいリストを作っている。
あと、もう一度symbol_1を評価してみれば分かるけど、
carやcdrはsymbol_1を変更してない。
わかんない人は処理系のソースを読もうぜ
>>392 > (car 'symbol)をやってみると、
> 1st argument symbol to car not List object っていう風に怒られます。
readした後には[ car | [ symbol | nil ]]と言う二つのcons cellになってる。
[ car | [ quote | [ symbol | nil ]]]ではない。
carの引数がsymbolというシンボルオブジェクトなのだから、リストでないと怒られて当たり前。
atomとlistとconsの違いも判ってないやつにquoteなんて教えても無駄
うん、まあ判らないだろうなということ教えてるよね
括弧で括った式
(define symbol_1 '(1 2 3 4))
carの関数適用までが終わると、
402 ：
392 ：2012/04/29(日) 14:57:46.86
わかりました。すごくありがとう。
本屋で「scheme手習い」と「scheme修行」がScalaのコーナーにあったんで
俺も分離状態にあった『手習い』と『修行』をセットにしておいた。
プログラミングGaucheがscheme関連の良書だと気付かれてないのはどうすれば良いの
>>405 第４部がつまんないからだろ?
その他の部分はありきたりの言語入門書と大して変わらんし…
ありきたりと言うが、schemeにはまっとうな言語入門書が他にないじゃん
入門書は必要ないだろ
前にも書いたような気がするが、言語そのものに関する解説はケント・ディヴィグの「プログラミング言語SCHEME」が一番まともだと思う。
「プログラミング言語SCHEME」が入門者用だと？ふざけんな！
今なら『Scheme手習い』も『Scheme修行』も本屋に行けばあるだろうが。
岩波のcommon lisp入門は持っているけど
>>410-411 手習いと修行は問題集みたいな感じだと思うけどな。
何もしらないところから手探りで問題を問いていく内に
Scheme への理解へも深まっている、というようなコンセプト。
それはそれで入門書としてよく出来てるいい本だと思うけど、
「言語」が前面に出てるのは「プログラミング言語SCHEME」
じゃないかという感じ。 やっぱ一番最初に読む本では無いかなぁ。
>>414 俺はネットで公開してる原著の方でScheme入門したけどすんなり読めたよ。
プログラミング言語そのものが初心者という人向けではないけど
Javaなり何なりわかってる人がSchemeを扱えるようになるには平易でいい。
>>378 リリースに向けた作業が大詰めに入ってる模様。
>>416 おー
msysで野良ビルドしちゃる
exeで勝手にインスコされるようなのは嫌なんよね
gaucheはぜひネイティブコンパイルを実装してほしい
以前、試しにJITコンパイラまでなら実装してみたけど、
CPUは1つじゃないからな
ネイティブコンパイル信仰者は、まずは既存のコンパイラをちゃんと調べて、
gaucheが良いけどネイティブでないのが不満なのでは。
動的型がどうしよもない
all in one な exe ファイルが欲しい、ということなら全く別の話だね
元のexe欲しいって話からは外れていっていると思うけれど、
>>424 そこに書いてある配布は、処理系自身の問題で。
>>422 の言っているのはアプリの話でしょ。
最近、スクリプト系は、
処理系自身がコード配布も含めたパッケージシステム持つのが多いよね。
WindowsもMacも、aptみたいに依存関係まで管理するオープンな機構がないから。
node.jsはnpmってのが出来た。
ただ事前にnode.js, python, gitをインストールしなければいけない。
schemeで全部書いて配布に含めることである程度解決できるんじゃないか。
R(r-project.org)は配布に含まれてる。そしてCRANからインストール。
最適化の話でなくてexeにするだけなら難易度はかなり低い
>>426 gaucheも gauche-package install <URL> で一応webから直接インストールできる。
依存関係はみてくれないみたいだし、CPANみたいに一ヶ所にまとまっててほしいけど。
やっぱり芋づる式にインストールしたいね。
処理系やライブラリをインストールしてもらうのって難しいからな。
Rは、R commandarってGUIラッパーもパッケージとして配布されてる。
py2exeならぬgo2exeか
>>426 そもそも
>>422 がネイティブコードが欲しい理由は処理系のインストールをサポートすることにネックがあると述べている。
ここではネイティブコードにするのは処理系のインストールの手間を無くす手段のひとつとしてやっているので、
処理系のインストールが充分に簡単、あるいは意識されないならばネイティブコードにする必要もなかったことになる。
確かにそれぞれ処理系の話とアプリケーションの話だけど根は同じだよ。
>>427 > 最適化の話でなくてexeにするだけなら難易度はかなり低い
> gaucheもできたような
mingw-exify だな。 コードを文字列のままくっつけるだけだけど。
速度が要る場合にはライブラリをプリコンパイルする仕組 (gencomp) を使えばちょっと速くなるし最適化も
普通にスクリプトをロードするよりはちょっと強くかかるはず。
> つーかexeにしたいなんて誰か書いたか？
exe を作らずにネイティブコンパイルする実行モデルに慣れてない人が
ネイティブコンパイル = exe を作ると理解したんじゃない？
>>432 exeじゃなくてhellじゃなかろか、extension名
mingw-exifyっての使えば数メガバイトで
>>436 Gauche のライブラリがいずれにせよ必要なので単一の exe に出来るわけではない。
windows 用 gauche のパッケージに入ってる gauche-install.exe 等は mingw-exify によって処理して
作っているのでソース読めば意味がわかるよ。
delphiだって糞でかいランタイムが必要なんだぜ
まったくだ。
むしろ、Gaucheのバイナリ用ランタイム作ればいいのに
dll 類はともかく、 scm ファイルが多すぎるな。
でも、そこまでできるようになったら
でもdllは実行時までに別ファイルになってないとならないだろ? 実行前に展開してもらう
>>433 それが困る理由は、メモ帳で改造できちゃうこと
>>444 オープンソース派から見ればむしろ望ましい。
秘密がないと金にならない
現実は厳しいんだな
ゴミみたいなネイティブコードバックエンドなら
gaucheのwilikiで
ソース配布が嫌ってだけなら今でもVMコードをdllにできるでしょ (Gauche本体のビルド時にやってる)
>>449 practocal-schemeのwilikiならこんな所に書いたりせず、Shiroさんに連絡汁
Gauche 0.9.3 キター
WinのPortable版が来るらしいぞ。配布がかなり楽になるな。
お、来たのか
おいらは今cygwinでビルド中
>>457 windowsなら
>>456 を入れれば良くない？
cygwinでmingwのgaucheを動かす弊害って何かあるのかしら。
>>458 cygwin は間に入ってファイルパスを変換する。
(cygdrive とか)
MinGW 版だとその変換が行われないので、
ファイルを見付けられないケースが起こってしまう。
む、ビルドできねえ
アドミン権限じゃないと書きこめないフォルダにインストしてるというオチだけはありませんように…
./configure --enable-multibyte=sjisにするとコケるのか
言語処理系によって文字コードの扱い方に関する思想は色々だけど、Gauche の場合は
>>465 まぁバグじゃなくてmsysのバージョンが古いせいってのもありえるから
まだまだ要検証だけどさ
slibの場所も見落としてたし
一応0.9.1とか古い奴をビルドしてみたらこっちはできたみたいだけど
なんだろうねー
>>466 私の方でも試してみる。
今回から out-of-tree build が出来るようになってるからこういう検証が楽でいいね。
>>466 再現 (?) した。
ビルド中にドキュメントの処理のところでエラーになる。
../src/gosh -q -I../src -I../lib -lgauche-init /c/home/Gauche/doc/extract -jp -o gauche-refj.texi /c/home/Gauche/doc/gauche-ref.texi
*** SYSTEM-ERROR: couldn't open input file: "[conv(utf8->SHIFT_JIS) from \"c:\\home\\Gauche\\doc\\intro.texi": Invalid argument
Stack Trace:
_______________________________________
0 (with-input-from-file (find-file file) (cut filter pattern-in patt ...
At line 60 of "c:/home/Gauche/doc/extract"
1 (with-input-from-file (car a) (^ () (if *outfile* (with-output-to- ...
At line 141 of "c:/home/Gauche/doc/extract"
>>467 out-of-tree build って何？
>>468 そうそう、それ
ひょっとしてiconv.exeが消えてるかとも思ったけどそんなことも無かったし
doc/て文書だからあんま関係ないしスキップできないの？
>>470 port-name 手続を使っているところに問題があると思う。
> PORTの名前を返します。ポートがファイルに関連付けられている場合は、ポートの名前は
> ファイル名です。そうでない場合、ポートを説明する文字列が返されます。
"[conv(utf8->SHIFT_JIS) from \"c:\\home\\Gauche\\doc\\intro.texi" というのは変換ポートを説明する文字列だ。
UTF-8 ならば UTF-8 で書かれたドキュメントを読み込むときには変換ポートを通さないのでファイル名そのものを
得られていたが、 UTF-8 から Shift JIS へ変換する変換ポートを通すときにはその変換ポートの説明を得てしまう。
よって、それを元にファイル名を付けようとすると変なことになる。
>>471 makefile をいじればとりあえず無視して進むことは出来るよ。
でも、結果的に今回はドキュメント生成スクリプトの些細な問題だったからいいけど、
Gauche 本体の問題が顕現した可能性もあるから、
いずれにせよ検証はした方がいいってこと。
>>474 shiro さんってこのスレ見てんの？
doc/のビルドに失敗って…
>>476 おまいは doc 無しで Gauche プログラミングできるのか。
Windows版はそもそもdocがない
マジで !? と思ったらあるやん。 share./info に。
shareの下なんか見ない
禅問答するためのスレではない。
infoファイルってWindowsでどうやって見るの？
色々やりかたはあるが、たぶんEmacsをインストールするのが一番簡単。
うわさのtextinfoですか？
windows用の場合info2htmlかなんかに掛けて
win使いのほとんどはオンラインのhtml見てるんじゃないかと思う
ダイアルアップ時代はネット上のHTMLをローカルに保存して見てました
そっか、ドキュメントルートをwgetしてローカルで見るのが早いわな
winでemacsでinfo-lookupです。
えっと、andoriodでも相変わらずemacsみたいな変態が幅利かせてる・・の？
Androidって何の話？
>>479 Windows版のshare/info/の下は全部gzで固まっててビルドしてくれる気すらない
あ、wiliki動かしたらlibiconv-2.dllが無いって怒られちゃった
>>493 違うよ。 それが成果物なんだよ。
元は英語、日本語を平行して記述した形式になっててそれを
Gauche で書かれたスクリプトで切り分けてその形にすんの。
>>492 gauche のソースツリーの中で doc ディレクトリに下りてから
make htmls
とすれば html 形式のドキュメントも生成してくれるよ。
>>475 わからん。 どちらかに断じることが出来る根拠はない。
ただ、ブログとかで Gauche 関連のことを書くと初心者の
しょーもない疑問にも応えに現れることがあるので、
割と広範囲に観測してはいると思う。
>>499 ありがとうございます。
うまく設定できました。
Kyoto.lisp は盛り上がりましたか？
msysの方はおｋとして
cygwinてまだメンテされてんのか
最近はandLinuxとかが普通じゃないの？
Windows との連携というか距離感というか、そのへんで選択肢は変ってくる。
>>502 ざっくりいってshibuyalispが現地参加者80人ust参加15人で、95人
kyotolispが現地35人、ust50人で、85人ってところみたいだから、大成功の部類じゃね？
andというかCoLinuxって64ｂｉｔだとまだ動かないんじゃないの？
linuxは乞食の集まりだから進化が遅い
今回のでどのプラットフォームでもglやらtkとかGUIで遊べちゃう
こんな所にpeca民が
>>511 配信なんてしませんよｗ
linuxでもwinみたいにpeercastが見たくて作っただけだからｗ
>>502 ちょっと、進行がぐだぐだだった感じはあったけど、結構おもしろかったよ
懇親会とかでも盛り上りは結構なもんだったし
lispから長らく離れてるけど、kyoto.lispなんてできてんね。
...ここを長らくチェックしてるけど、以前より元気がないよね。lisp人口が
ここに限っていえばSchemeの勢いが3、4年前をピークに現象気味なんじゃない？
Haskellもやったけど、あれは窮屈な言語だなとおもったけど
いやそもそも2ちゃんねるが斜陽なんで
底辺が広がらないと何かと面白くないのは確かだが
比較的元気なclojureが別スレだしな。
山本和彦先生もlispではだめでhaskell で初めてプログラムに開眼したみたいじゃん
もともとインターネットの人でしょ。
clojureも元気ないよ。俺が時々ネタを提供する程度だもん。
他の指標だったらhatena のlispキーワードだな。
今でもmewはメンテナンスしとるし。
clojure を Lisp とか言われても納得できない
なんで？どうみても Lisp 系じゃね。 > Clojure
528 ：
デフォルトの名無しさん ：2012/05/22(火) 23:14:10.26
ClojureはLisp風味の*何か*って感じだなぁ。俺もあれをLispと呼ぶのには抵抗ある。
例えばどういうところでしょうか。
530 ：
529 ：2012/05/22(火) 23:21:34.36
補足ですが煽りではなく、clojureでlispに興味を持ったので、諸先輩方の意見が聞きたいだけです。
>>528 MultiLispとかQlispとかPaiLispとかConnection Machine Lispとか
Multiprocessor LispとかParalation Lispとかディスってんのか、コラ。
お前がどれだけのLisp知っとるというんじゃ。
名前にLispって付かないParcelとかまだいろいろあるんじゃ。
きりないけどもう一つMultiSchemeだけ挙げとくわ。
>>531 何故に並列拡張されたlispはlispじゃないって主張だと思ったのだろうか
clojureを既存のlispと比してlispっぽくないっていってる人が考えてるんは並列かいうと違うでしょ
もっと文化的なものか慣習的なものか、言語設計的なものじゃないか
自分はClojureも別にLispにしか見えない。Arcとかも異端に見えるんだろうか。
末尾再帰の最適化がないから!! とか？
Clojure全然流行らないな
>>536 JVMを利用する言語の中じゃ本体のJava以外でもっとも人気あると思うんだが
Scalaよりも活発だし
>>523 え、じゃああのスレでネタ持ち込むのおまいさんと俺だけ？
>>528 純粋なS四季だけじゃなくて、データ構造に余計な別カッコを使うなってこと？
clojureは風変わりなLispとしては、
scheme流行ってんの?, sicpが有名なだけじゃなくて?
また俺流定義か。
>> 530
>>とレス番の間にスペースを入れるのはやめてくれないか
専ブラ使ってるのに誤爆してるしププ
>>544 かちゅ～しゃだと隙間空けられると困るのよね
かちゅーしゃってまだ現役だったのか。昔使ってたような気がする。
あ、今pecaでlispの配信やってる
Gauche0.9.3.3きた
>>550 すぐにバグフィクスしてくれるのはありがたいね。
delayとlazyの違いが今ひとつわからない
SICPスレは荒れていたのでこちらで質問します。
R5RS
SICPはもう廃れてるぞ
その著者の過去に書いた本、昔はすごいなぁと思ってたんだけど、今見ると
>>558 Schemeと書いてるから、多分手続きっぽいLispっぽいコードはほとんど
無いんじゃないだろうか。
lispのリスト処理はcdr down, cons up、分解して再構成がパターンだから
>>561 言語の違いじゃなくて、単に選択したライブラリの違いだな。
>>560 Scheme処理系は道具として利用してだけなのは、その短いアブストラクト読むだけでわかるしね。
558は文句言うだけが能のバカ。
564は日本語もまともに書けないバカ。
盛り上がってまいりました
lispはじまったな
他の本の書評みると
女王陛下「lispが駄目ならhaskellを使えばよいではないか」
お菓子言語Haskell。
schemeの方言でnullとnilを使い分けてるものなんてないよね？
大昔からnullは、引数がnilならt、でなければnilを返す関数だ
schemeならnull?じゃね？
(define nilpo? (lambda (nil) (null? nil)))
Scheme は null も nil も予約語じゃなかった記憶が
Schemeに予約語などない
一部のSchemeには#nilというものが
Schemeって begin は予約語じゃなかったっけ？
いくつか予約語があるけど、実際に予約語として扱ってる実装はあまりないんじゃないかな。
580 ：
デフォルトの名無しさん ：2012/06/15(金) 23:09:40.02
質問させてください。
make-list wの結果にlist-copyをmapするというのはどう？
>>581 循環リストに対する list-copy は停止しないよ。
(define (make-field w h)
($ circulize $ map circulize $ map list-copy $ make-list w $ make-list h 0))
$て何だよ
Haskellからの輸入だねえ
$ってマクロかなにか？
589 ：
デフォルトの名無しさん ：2012/06/16(土) 16:27:36.46
やってることは数十年前のスーパー括弧の再発明
590 ：
580 ：2012/06/16(土) 16:33:09.48
>>587 Gauche 特有と言えばそうだけど、
R5RS の範囲内で書けるマクロなので、
便利だと思ったら別の処理系で動かすことは出来るよ。
FreeBSDのportsでGaucheがコンパイル中にエラーで止まるよ
freebsdのportsをupdateしてみたけど
うちx86-64だけど、普通にビルド通るよ
素数夜曲って発売は今日なのかな？26日なのかな？
>>596 取次の日付と、書店店頭の日付の違いらしい。
八重洲ブックセンターは１９日に一冊入荷していたとか。
２１日午後に行ったら、その朝開店直後に買われてしまっていて入手できなかった。
書名のオヤジギャグが原因で回収されたのかもしれない
amazonで頼んでいるけど、発送された形跡がないんだよなあ
秋葉原の書泉に何冊かおいてあった。
買った人いないの
いないよ
そうか、居なかったんだ
いるよ
こういう人が気に入りそうな本だということはわかった
いつもの中村正三郎氏じゃないか
SICPの準備に読むのに良い本なのか。
まだ5章の途中だが、変なラブコメがない数学ガールって感じかな。
> 中学生くらいから社会人まで、一般の人がプログラムを書き、
ま、言ってる通りの内容だとすると
中村さんはアフィの為に絶賛してる感が否めなくてね。
素数夜曲はオリジナルが300ページなくて、今回のは900ページ近いからLISP
ページ当たりの価格で本の価値を判断する男の人って素敵
濡れる
自分も書店で見たときの割安感で買った。
他に読みたい本があって買っちゃったから買えなかった。
素敵夜曲かと思ってたが、よく見たら素数だった。
その手の本のどこかでつまったら
人間とは現金な物なのだよ
「虚数の情緒」もSICPも読んだし「素数夜曲」も楽しみ
せめて読んだ感想を書いてくれ
専門書、専門書ってどうせ大したもの読んでるわけじゃねえんだろw
あのボリュームで数学書で3千円台って確かにインパクトあるよな、実物見るとw
scheme でloop macroに相当するものってないのでしょうか
SRFIに...と思って検索してみたら、ないんだな
ループとは違うけど、強いて言えば srfi-42 で定義されている内包表記マクロが似たような用途で使えなくもない。
おおう、改行が…
(define hoge 0)
loopなんてミニ言語をSRFIに入れてどうする
まあ内部DSLの作りやすさはLispの特徴ではあるな
>>631 > 処理系によっては似たライブラリがある
似てるだけじゃ困るってのが、SRFIの(ry
Common Lispの奴をそのままパクればいいじゃん、って感じのものは
>>630 match の構文としては ? を使う他にない。
あらかじめ
(define (hoge? x) (= x hoge))
とでも定義しておけば
((? hoge?) #t)
と書けてちょと簡潔に見えるかも。
オブジェクトと比較するために述語として与える必要があるのは、Scheme では比較の方法が多様だから一般化が難しいという理由があると思う。
ここでは = で比較したいということだが、 string=? を使いたいときだってあるだろうし、eq? で充分だってときもある。
主要なものだけ特別に用意するという戦略も有りだと思うけど、なるべく一般化したがるのが Scheme 風だからな。
>>634 LISPが嫌だからSchemeやってるのに、オフィシャルの仕様がLISPに追従してもらったら困る
はぁ？
小学生の喧嘩かよ。
一から十まで説明しなきゃ駄目か？
美代ちゃんって何時の時代の名前だ
素数夜曲いい本だな
生協で見かけて、余りの厚さと価格で買いそうになったが、
>>635 なるほど、納得しました
丁寧な回答ありがとうございます
じゃあ初心者にはよさそうだな
amazonから届いたのでざっと目を通したが
もうちょっと持ち運びを考えた装丁にして欲しかった
Gauche か Racket/R5RS を推奨って書いてあったような。
gaucheはscheme処理系の日本の雄！って紹介して、
BiwaScheme
結構良書だな
'('(1 2 3) '(4 5 8) '(5 6 7) '(8 9 0))
(map list hoge)
653 ：
652 ：2012/07/04(水) 21:22:45.25
余談だが確かHaskellのData.Listにはそのためのtransposeという関数があったはず
654 ：
652 ：2012/07/04(水) 21:33:04.33
連投失礼
>>652 訂正
(apply map list hoge)
ですね
((1 4 5 8) (2 5 6 9) (3 8 7 0)) という結果になればいいんだろぅ？
(hogeが)よく分からなかったんですけど、
applyとmapの意味は分かってんのかと小一時間
>>655 > ;; 外側のquoteひとつだけで良いんだぜ
久しぶりにschemeを使うことになって、
忘れていました。簡易スプレットシートが
欲しいんですが、演算処理機がガラケーしか
無くて、BiwaSchemeを使っています。
659 ：
651 ：2012/07/05(木) 06:54:32.91
auアプリが死滅しているのでBiwa様には
助けられています。
回答レスして下さった
>>652 さん、
>>655 さん、ありがとうございました。
Guile 2.0.6 が来てた。
>>661 なんでいきなり創価認定なのかと思ったら大作つながりかwww
いちいちわかったアピールするほど野暮なもんもないな
rayfill: 素数夜曲、ページ数とか装丁考えたらあの価格じゃ利益どころか赤しかでないんじゃないかと心配になるレベル
そろそろページ数以外の感想も聞かせてもらいたいな
厚い方が売れるってエンタメだろ
買う側にとっては安いに越したことはないけどな。
GEBと同じで（あっちは高いけど）エンタメだろ。
>>666 前半は過去の本の内容と同じだから、労力は半分だと思う
げぶっ
p.341の注釈を見てカッコとコッカの由来をはじめてしったわ
昨日特車二科整備班人民民主戦線事務局派かっこ左派のかっことじの急進派分班何を言ってるんでしょうか？もとい「鉄目の団」に買収された「ツナギの会」の戦闘員と思しき数名に襲撃を受けて善戦むなしく袋叩きにあい負傷して意気消沈で寝込んで
仏ほっとけ神構うな
素数夜曲84ページの「愛しい単位元は唯一つ」の意味がわからん
夏休みのお供に高校の数学教師が勧めるに違いない
素数夜曲、ちゃんとSICPで挫折した人向けに、そこまでを繋ぐ役割と内容のスコープを明確にしているのはいいね。
>>677 読んでないから文脈がわからんが、
xがある代数システムGの単位元で、かつ、yもGの単位元ならば、x=y
ってことなんじゃないの?
一見あたり前のことだけど、ある性質を持つ対象は全て同一の対象である、
こういう特徴を持つことになる性質かどうかをはっきりさせることは、
数学と計算機の間を行ったり来たりする時に重要。
そういう代数的な話はスレ違い
三角形の中線は一点で交わる
パターンマッチでリストと連想リストを判別する方法はありますか？
パターンマッチは標準じゃないからどのライブラリ/処理系か書いてもらわないとわからないんだが。
>>684 ((key . val) ...)で期待する動作になりました
ありがとうございます
...を使えばよかったのですね
今さらになりますが環境はGaucheでした
元の質問が「パターンマッチで」ということなので余計なお世話かもしれないけど、
懐かしいネタだな。
ジジイは何見ても懐かしいんだよな
いや、元ネタのブログの記事掲載日時見れば分かるけど、
それが（今の）スラドクオリティ
今日はlisp2012の締切り日か
締め切り伸びたらしいな。
投稿数が少ないとか？
696 ：
デフォルトの名無しさん ：2012/07/24(火) 12:43:34.51
698 ：
696 ：2012/07/25(水) 18:38:32.62
>>697 まじですか。昔々は50万円以上してた気がして個人では買えないと諦めたんですが。
頑張れば使えそうですね。
個人で買おうとセールスにメールしたけど反応なくて困ってた人がいたね。
型を強制指定して動作速度あげれるのって
そういうのを求めてるのに何故Common Lispを使わないのか。
typed racketって動作速度のためというか、静的検査のための型システムじゃない？（速度も上がってる？）
以前ちょっと触ったときは、
typed racket ってcommon lisp の型指定と
いや、raco exe でコンパイルした奴。
racketのことは知らないんだけど、そのコードだと外部からtaraiが
(define x 12.3)
>>710 リスト使うとか
> (define x (list 12.3))
> (define lx (list x))
> (set-car! x 23.4)
> (map car lx)
サンク使うとか
> (define x 12.3)
> (define lx (list (lambda () x)))
> (set! x 23.4)
> (map (lambda (f) (f)) lx)
逆に、delay使っちゃうと、最初にforceした時点で値が確定して
それ以降の変数の変化が追えないような気が・・・
(delay (list x)) にしたって一度forceしちゃったらその後xにset!しても効かないよ。
R6RS の識別子マクロを使えばこんな表現もできる。
質問というか興味というか
つ let*
次の展開の予想。Gaucheユーザが$を推す。
>>714 俺は名前を中心に考える。
関数や、結果を格納する変数に妥当な名前を思い付く単位で分ける。
lisp(scheme)でCのpointerに相当するものはないってことでいいの？
ポインタが作れたとして
昔の統合開発環境持ったLisp処理系はpeek/poke持ったのが多かった。
(define x (list 12.3))
>>722 set-car!
すればいいのか。しかしracketはset-car!ない
Racket は mutable な構造は隔離してるからな。
よくみたら>711ですでに出ていた
びっくりしたw
>>721 今でもCL処理系なら内部的に(C言語的な)ポインタ使えるのあるよ。
速度が必要なところはそれで書いてる。GCされ得るものを指す時はGCによる移動を
禁じておかないとだめとか、型のチェックをしてくれないとか、Cのポインタより
使い勝手悪いけど。出てくるコードはまあまあ。
Scheme でも FFI をそなえた処理系はそれなりにある。
FFIは話がぜんぜん違う。
レイヤが違うので直接的には比較できないものではあるけど、
peek/poke系は
>>727 が書いているような処理系のサポートが重要。
> 小さなライブラリを用意しておくだけでメモリのどこにでも書き込めるので、
こんなんじゃどうにもならない。
そうなの？
たとえば get-addr 構文で変数のアドレスを得ることができるとする。
普通の頭ならschemeオブジェクトとRAWメモリエリアは隔離するでしょ
「変数のアドレス」っていうとまたニュアンスが変わってくるんだけどね。Cでは変数は
メモリの位置についたラベルだからそのアドレスを取ることに意味があるけど、Lisp系では
変数は値についたラベルなので、そのアドレスという概念自体がない。内部的に固定された
入れ物が用意されてればそのアドレスは取れるけど、そういうものがあるとは限らないし。
>>710 は、本当にやりたいこと(多分間接参照をかますことだろう) を「ポインタ」と言ってる
ところに混乱があるんじゃないかと思った。Lispでは間接参照には別のやり方がある。
それとは別の話で、Lispオブジェクトのアドレスを得て何かしたい、っていうのも、無くはない。
構造的なバイナリデータをLisp世界では(simple-array (unsigned-byte 8) (*)) で
扱ってて、たまにバイナリとしてアクセスしたい。しかもforeign typeのオーバヘッドを避けたい、なんて時。
もちろん処理系の内部に依存しまくったコードになる。
>>734 Schemerでldb@Common Lispは知らないとか?
今はldbをsetfできるけど、昔はsetfはldbで実装されていた。
Common Lispの歌にそう書いてある。
Lisp自身で自分を言語拡張するにはこういう機能があると便利。
737 ：
デフォルトの名無しさん ：2012/08/02(木) 11:49:34.64
>Common Lispの歌
>>736 GCと共存しつつメモリいじるなんて開発者自身ぐらいしか危なくてできないだろ
LISPの言語拡張ってそういう意味じゃないし
>>738 > LISPの言語拡張ってそういう意味じゃないし
そりゃ今時のライトユーザ感覚。
>>738 C# にだって fixed ステートメントがある。
処理系側でその程度のほんの少しの配慮があれば充分に安全にできるんじゃね？
マクロが出来る前の Lisp はあたらしい構文が必要なら処理系をいじるのは普通だったときいたことがある。
それを Lisp の上からしたくなるのは自然な流れだし、Common Lisp の仕様に逆アセンブラが含まれているのは、
アセンブリまで下りていく必要があったということを示していると思う。
そういったことが Lisp 的でないという考え方は、
十分な処理系 (とそれを動かせるだけの高性能なハードウェア) がある現代だから言えることじゃないかな。
「ほんの少し」じゃ済まないだろ。
過去形で語られてるけど、今でも普通にdisassemble使って色々調べますし。
少し古いテキストを読むと普通のPCとLISPマシンが別物のような印象を受けるけど、
それもあるけど（昔、たとえばBSDは仮想記憶があるからという理由で、Lispを
>>743 Z-80(8bitCPU)でもLispは動いてましたよ。
組み込みのエディタもあったし数式処理も出来た。
>>743 ハードウエアがLispに追いついたから。
半世紀近く掛かりました。
Lispはそもそもそんな大きいリソース使わないのも特徴なんだけど？
LispマシンてLispを効率よく実行するために設計されたハードだったけど、
LispマシンはFFIもあったけど、基本的には単一言語指向。全部Lispが万歳。
mewの人にディスられてもハスケルにはいかないのね
つまみ食いのアプリ屋なんで。
(let* (
(display y)の行はタイプミスだから無視してくれ
appendを自分で書いてみ
>>755 そういえば処理系作った本人が append のコードを思いつくのに3ヶ月かかったという話を聞いた気がする
Prologだったかも知れん
(defun append (x y) (if (null? x) (copy-list y) (cons (car x) (append (cdr x) y)))
>>753 最後のリストの複製は作らないからだよ
appendの仕様に複製かそのままかが含まれてるかは知らないけど
高速化のために専用ハードウェアやったけどRISC(とx86)の高速化についていけず
Lispはガラパゴス
Lispはあらゆる言語の進化に影響を与えた。
数式処理ではlisp最強は今も変わらない
>>753 >>758 SchemeもCommonLispも、appendの最後の引数は複製されず共有されるのが仕様。
>>760 自動プログラミングはLISP系が主流だから、コードを吐き出したプログラムまで含めれば、LISPが超主流だと思う
ガラパゴスレベルじゃなく異星人レベルだったか
ガラパゴスガラパゴス
数十年前に囓ってみたもののさっぱり分からなくて
>>765 太古の地球に異星人の船が飛来する。
地上に降り立ったLisp型宇宙人は黒い液体を飲み、
自らのDNAを地球の処理系に拡散させる
llvm って Scheme とは相性悪いの？
scheme2llvmとかいうのを1年前に見た記憶ある
Schemeのバックエンドとしてってことなら動的型付け用途には相性いいってことはない
gauche 版の plagger みたいな感じのやつってないかな。
>>765 なんせ
made by secret alien technology.
っすよ
オーム社さん邦訳は（ﾁﾗｯ
翻訳の過程で萌え絵になりました
pic.twitter.com/KZH3robx
>>771 仮にLLVMをバックエンドとしてSchemeを実装するとき、
継続はどうすればいいのだろう？
やっぱり、ネイティブスタックではなくて自前のコールスタックを
持たざるを得ないのかな？
Stalinは継続を諦めているんだっけ？
>>777 そうだろうね、自分で最適化アセンブラ書くより楽かもしれないが手間はかかると思う
以前調べたときは一旦生成したコールスタック内の関数書換も出来なかった
Stalinは知らない
Stalinはreturnに変換できる継続しか扱わないと書いてあった記憶ある
今更ながらに素数夜曲を買ったがめちゃくちゃ読みにくい、というか持ちにくい orz
でかい本はばらして読むのが常識でしょ
そんな俺々ルールをさも当然のように語られてもなあ
なら読みにくいの我慢して読めよ
>>780 スターバックスで12時間居座って読破した
迷惑な奴だな
全部データ化してiPadみたいなので読むでしょ普通
むしろ、あの量を電子化した状態で読破したら目が死なないか？
無駄口で倍に膨らませても分かりやすくなるわけではないが
トンカツでも食パンでも分厚いと喜ぶのは昭和一桁
goshをperlなどの代用として使ってる人は本当にいるのか
goshじゃないけどもっと小さい処理系で計算機の代わりにしてる
>>790 perl を使ったことがないけれども、
他の人だったら perl を使うんだろうなという用途で俺は使ってる。
アメリカのハッカーの必須言語はlispとpythonとperlらしい
もうperlじゃなくてjavascriptになってんじゃね？
待ちguile
待ちnode
Perl使うってワンライナーって話じゃなくて？
awkとsedがやってる操作を楽にやるためにperlを使う
もしかするとLEDじゃなくてネオンランプかムギ球かもw
あとパンチカードには80桁の呪いがかかってるから、LISPマシンなら紙テープかも。
さすがに 1980年代でネオンランプとかニキシー管とかはないと思う。普通の LED だろう。
>>796 国へかえるんだな おまえにも家族がいるだろう
外部記憶はフロッピーでしょ。
Lispに特化した小型携帯端末作ってほしい
>>807 カシオが昔、AI-1000ってLisp専用のポケコンだしてた。
つ CASIO AI-1000
環境に依存しないでシステムのエンディアンを判別したり特定のエンディアンで読み書きする手段はありますか？
stackoverflowみたいなLispの質問サイトが欲しいところだな。
>>807 ＳＦになるような自作ＡＩっていったいどんな・・・
お願いだからネットに繋いで世界戦争とか起こさないでよね。
RFIDタグにLISPのコードを焼き付けてほしいと思ったことはある
ラムダだっちゃ
>>812 Lisp 専門というわけではないけど、Qiita とか QA@IT とかいったサイトでは駄目かな？
Scheme なら WiLiKi もある。
ANS-prog は今までに Lisp の話題が出てないなぁ。
SFレベルのAIはないだろうけどAIってどのくらい進歩してるのさ？
>>821 分野と目的をものすごく限定すれば2001宇宙の旅のHALと同じくらいにはなってる
>>818 これがあれば万々歳なのですがR6RSはまだあまり使える環境がないというイメージがあります
実際はどうなんでしょうか
>>823 俺が把握してる R6RS 処理系は
・ Larceny
・ Mosh
・ Racket
・ IronScheme
・ Ypsilon
・ Guile (Version 2 以降)
・ Petite Chez Scheme
・ sagittarius
あたりかな。
sagittarius はマクロまわりが不完全だったり Ypsilon は多値の扱いが微妙だったりだとか、
それぞれに癖があるけど、癖を理解すれば基本的にはどれもよく出来た処理系だと思うよ。
一人で悶々とScheme処理系を作ってると脳が溶けそうになる
>>824 ありがとうございます
イメージは単なる思い違いだったようです
bytevectorを使おうと思います
大学の演習でScheme処理系をSchemeで作ったことがあるけど、そのときはS式を構文解析してevalするだけというオチだった
>>812 2ch系個人板サービスのわいわいkakiko
(規制緩めで)に一票。専用ブラウザを
使えば濃い検索もできる。
明後日から3日間休みだからラップトップパソコンと参考書だけ持って別荘に籠ってCommonLispかSchemeの勉強しようと思います
本なんかより処理系ソース読むのがいい
そうか？
まともな文章ってどれよ？
>>830 >ラップトップパソコン
懐かしい響きだな。
3日間で終わるような本はないなぁ。。
On Lisp と Let Over Lambdaでいいんじゃない？
Lispにスキルは必要ない
数式をそのまま･･･？
Haskell の方が数式そのままっぽくない？
prefix, infix, postfix, monomial, 全てfomulaです。
λ計算だろ。まあ、本当は数式＋推論だろうけど。
>>833 これわかるわー。Lisp/Schemeには実装レベルとは別の抽象化された独自の世界があるよね。
それこそが他の言語とは違うLisp/Schemeのおもしろさだと思ってる。
「この論文のS式、そのままの形でevalすればいいんじゃね？」という理由で誕生したLisp
論文上はS式でなくM式
明日はノートパソコン持ってスタバ行って開店から閉店まで粘って素数本を読破してきます
CやSQLのポエムは見たことあるけど、LISPはないな。
Common Lisp触ったことないならM. Hiroiさんのページとかよかったりしないか
xyzzy だったっけ。移植されるといいのですけど
kanrenよりもschelogの方がいろんな処理系に実装されてるのは
単純にschelogの方が古いからだろ
852 ：
デフォルトの名無しさん ：2012/08/16(木) 11:15:18.85
どこが凄いのかわからん
JavaScript上で動くというと、BiwaSchemeとか結構話題に挙がるよね。
Parenscriptはエラーチェックとかしてくれるわけじゃないし、変換されたJavascriptのコードをチェックする必要がある。
kanrenの方がschelogより使えるなら乗り換えるかな
ブラウザでLispが動くなら、テキストボックスでemacsみたいなテキスト編集ができたり、AIブラウザができたりするってこと？
IEをw3mモードでキーボード操作できるようになるのか
kanrenはcall/ccない処理系でも動くのがschelogとの違いなのね
schekyo, schetake, schetomo
kanrenよりもminiKANRENの方が開発活発みたいだ
型推論を含まない動的言語間の変換なんて
continuationやgeneratorもですか？
CPS変換はyacc で書けないことはないんじゃない？
yaccでCPS変換できない場合ってどんな場合？
>>868 ・マクロ使ってる場合
・関数としてのS式を動的生成した場合
マクロは5%以下かい
マクロは普通は展開してから変換するんじゃないの？
処理系いるがな。lex,yacc以外に。
マクロなしの処理系作って
yaccでCPS変換のみならずevalの処理系そのものまでも作ってしまうことに…
875 ：
デフォルトの名無しさん ：2012/08/19(日) 01:30:50.14
毎度お世話になります。質問させてください。
write じゃいかんの？
>>876 あ、知りませんでした。これにて解決しました。
腑甲斐無い気持になりました
ありがとうございまいした。助かりました。
今はLISPの宣伝するときに、データのパーサを作る必要がないとは言わないのか…
readした内容(A)を一旦writeして、さらにそれをreadした時(B)、
「素数夜曲」、Amazonでユーザーレビューが付かないのはなぜなの？
∧ ∧
miniKANRENの文献見てくと
リソース開いたまま関数の途中で継続渡しして、継続渡したまま関数の途中でgoshそのものを強制終了したときにリソースがどうなるか不安で夜も眠れない
眠らなければそのぶん時間をいっぱい使えるじゃないか
発想の転換とは恐ろしい
CPS変換で継続が引数の最後にくるの気持ち悪い
継続つってるけど、CPSで実際に渡してるのはクロージャだから
CPSまで活用してるのにマクロを利用しない理由を知りたい
アホは無理に加わらんでもいい。
前にCPSに変換してCコードに変換する処理系があったような
>>895 rhizome/pi とか chicken とか。
chicken は処理の各ステップで一旦止めて出力する機能があるので CPS 変換した状態のコードも見れるよ。
子飼弾がソフデのエッセイでLISPについて書いてた
898 ：
. ：2012/08/25(土) 19:24:18.59
miniKanrenで
Caroじゃなくてconsoだった
>>901 S式をTeXに変換するプログラム自作して、コピペしてる
HTML版も自作した
たぶん、その方が早いのではないかと
slatexはGaucheの豊富なライブラリをそのまま使えるぽい感じなので
slatex.scmは単に処理関数を定義するだけで実行はしないので、例えばこんなスクリプトを
905 ：
904 ：2012/08/30(木) 18:21:36.29
(add-load-path "." :relative) は slatex.scmと同じディレクトリにrun-slatex.scm
slatex動きました
むしろ文庫本サイズで売ってほしい
素数夜曲、電子書籍にしてくれんかな？
なぜここで頼む
電子書籍はいいから、ソフトカバーにしてほしい
紙ならA4版にしてほしい
900ページを電子書籍で読むと目が死ぬと思う
それ以前に２分冊に出来なかったのかねぇ。著者は個性の強そうな人っぽいけど。
>>909 これって英作文例文集としては使えるぐらいにちゃんとした文章になってるの？
>>917 それが問題になるんなら読んでみれば？
意味が分らなくてゴネてるんじゃないよな？
英作文の例文に使いたいっていうのも意味不明だけど
多分、アイちゃんだよ。
英語が読めて当然みたいな風潮ってどうにかならないのだろうか…
まあ日本は特別だよね、何かと閉鎖性が
英語が読めない時点で雑魚決定だから
戦争に負けた時点で雑魚というか奴隷だからな
そんな発想だから日本は駄目なんだよ。ちっさ
アメリカの財布だろ
みんな本当に英語読めてるの？
逆に日本語の文章読んだ時に全部の単語の意味が辞書に書いてあるみたいに分かっているだろうか？
まあでも読めるべきだと思うがな。
>>929 バイト先に中国人のバイトが4人くらいいるけど、中国人同士で言葉が通じないから日本語で話してる
いくら言語のスレだからって
英語の文法は語順つまり構造にかなり重点がある。
英語読めないとか言ってる人ほんと勿体無い
>>933 少なくとも3年間はまじめに取り組んでるはずなんだけどな…
ふと思ったけどS式を使って統語分析をするようなソフトってある？
>>935 実用Common lisp にそれっぽい例題がいくつかあるから改良すればいいと思う
>>932 語順、構造に重点がある言語しってるよ。
Lisp って言うんだ！
On LispのATN
schemeの本を読むと必ずと言っていいほどscheme処理系を自作する話が載ってるんですけど、
>>939 evalはなんでも評価
appyは関数適用のみ行う下請け関数
単純な処理系ではapplyがevalのほとんどを占めるけど、
組み込み関数のapplyやCLみたいにマクロがあれば、
applyはevalの一部にすぎないとはっきりすると思われ
「なんでも継続」を読みましたがさっぱりんこでした。
Cのlongjmpと違う点は
>>942 私は継続は納得できたけど、継続で飛んで行った後にスタックと今まで開いてたリソースがどうなるかが気になる
到達可能な場合にはコピー・保存されるし、そうでないのなら破棄される。
コピーじゃなくオリジナルそのものだよ
閉じてないリソースを残したまま違う継続に飛んだら
リソースの参照を切ってもすぐに回収はされない
後のScheme48である
そしてすぐ解散して黒歴史と呼ばれ
shameの多い生涯を送って来ました。
scm48
初日の日曜日だけなら休暇とらんでもいけるか。
Lispマシンみたいな老人が昔を懐かしむようなチュートリアルに何万も払うのか
満足感を買うようなもの
プログラマの裾野も広がったんで、
言語処理系くらい書ける人間が
ええ、あなたの知らない世界で。
Schemeの出来損ないしか作れない奴は対象外で
言うまでもなく対象外だよ？
>>961 人の必要を満たしちゃダメでしょ
こっそり自分用の言語処理系書くことで、同僚の10倍の生産量と10倍の遊び時間を保持してるんだから
>>967 大学関係は嫌でも先輩の遺産のLISPを使わされるから
luaより上というのが驚き
HaskellとLispでは
EmacsLispがある以上Haskellに勝ち目はない
>>971 大学で、LISP系のプログラムがなぜかPythonに置き換わりつつある
本屋に統計やWebアプリのPython本が並んでるからバカ学生が使ってる
LISPも記号処理以外にも数値計算とかの応用本を出すべき
>>973 コンピューターグラフィックにかなり活用されてた時期もあるので、
数値計算のノウハウだってあるはずだよな。
ノウハウがあっても、処理系のインストールの方法からガウスの消去法までコードが載ってる本が書店にないとダメだと思う
976 ：
デフォルトの名無しさん ：2012/09/15(土) 18:47:05.11
-─フ -─┐ -─フ -─┐ ヽ / ＿ ───┐. |
何故かいまごろになって「素数夜曲」→「SICP」という王道コースに相応しい
良いんじゃね。
>>973 >大学で、LISP系のプログラムがなぜかPythonに置き換わりつつある
結局LISPだとアルゴリズムとか本質的なところを学ぶ前に慣れること多すぎで
LISP知識がかえってノイズになっちゃうんだよ。
再帰やリスト操作、高階関数とかもRubyやPythonで自由に使えるしね今は。
小学校で LISP を必修に。
洗脳
さあ埋めチキンレースがはじめりです
>>979 初学だったらLispの方が覚えること少ないだろうに。
ここまで言語の文法が簡単な言語ってLispとForth位しかないと思うが？
Lisp の方が好きだけど、Forth 使いが Jedi と呼ばれるのだけは羨ましい
10進数より2進数の方が覚える文字は少ないが
うめ
>>983 その理屈でSchemeを推奨してたことがあったけど、結局、大学では記号処理以外では普及しなかった
数式処理はLisp強いのに
括弧が遺憾の意
知らないだけでしょw
LISP本は、数式処理の解説はあっても、数値計算の解説がないのはデフォ
>>983 >初学だったらLispの方が覚えること少ないだろうに。
>ここまで言語の文法が簡単な言語ってLispとForth位しかないと思うが？
碁の方が覚えることは少ないが、将棋の方がすぐ面白さがわかる
LISPは碁、Rubyなんかは将棋
schemeはオセロ
>>990 Lispで数式処理はわかるけど数値演算系ってNativeに落とし込める場合CommonLispでコンパイル時型指定バリバリとかじゃないと速度だしにくくない？
今時のマシンだったらきにしないのかもしらんけど。
ちょっとは調べろよ。
>>977 その本、前半の数学部分飛ばして読める？
>>985 僕ら人間が一歩だけコンピュータに歩み寄れば、世界はよりよくなる、そうは思えないかい？それがS式だ。
素数夜曲、前半はおまけ、後半が本題。
もう素数夜曲はいいって
>>997 ますは１０進数の代わりに２進数使うとこから始めようか
1001 ：
１００１ ：
Over 1000 Thread このスレッドは１０００を超えました。
