Lisp Scheme Part41 (856ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
567: デフォルトの名無しさん [sage] 2023/01/11(水) 03:33:43.09 ID:4gRHy1NM >>565 gancheは知らんけど、さすがにletはプリミティブな事が多いかと むしろ最適化で読み飛ばすならlambdaまで還元してしまってはダメで、LETをヒューリスティックに認識する必要がある 仮に評価順を示す為にバッククォートでわざとらしく書くと `(let ((,index ,(1+ stride))) ,(* index stride)) ; (LET ((0 1)) 0) (に等価な)展開とかがありがちかな 特に例に意味は無かったってオチだったりして http://mevius.5ch.net/test/read.cgi/tech/1531587928/567
568: デフォルトの名無しさん [sage] 2023/01/11(水) 03:56:23.35 ID:/IOcm4EW defmacro/macroexpand方式だと特にだけど、(let ((0 1)) 0)みたいな残骸から推論する技能はとても大事に思う 書く時もそうだけど、人が書いたモノの後始末なら前提知識が無いのでなおさら これだけ想像を膨らませてくれる貴重な(let ((0 1)) 0)すら消し飛ばされるならもうお手上げ なんて文句を言いつつ、schemeでもついslibのdefmacroに手が伸びてしまうのだが http://mevius.5ch.net/test/read.cgi/tech/1531587928/568
569: デフォルトの名無しさん [sage] 2023/01/11(水) 06:03:42.65 ID:/IOcm4EW >>565 論理的にどんなletが束縛リスト(とおそらくbodyも)を読み飛ばせるかについて補足 letフォームの評価値は最後のフォームの評価値(car (last 'let-form))のみで決まるけど、それが再束縛のできない自己評価オブジェクト(0, T/#t, :kw-symb etc)ならば、単にそれを返すだけで他を一切見る必要すら必要がない (let dont-care/maybe-invalid self-evaluating) →self-evaluating もしそれ以上簡約してしまうと、(eq 'let (car 'let-form))と(car (last 'let-form))だけを見て決められない http://mevius.5ch.net/test/read.cgi/tech/1531587928/569
570: デフォルトの名無しさん [sage] 2023/01/11(水) 06:21:34.50 ID:/IOcm4EW 一応値については正しいというだけで、もしbodyに(exit)や大域脱出が入ってても無視するのか？という問題はある ill-formedな>>560すら無視するのだから、当然well-formedな(exit)も無視するのが自然だけど、実際のところはgaucheに訊いてください http://mevius.5ch.net/test/read.cgi/tech/1531587928/570
571: はちみつ餃子 ◆8X2XSCHEME [sage] 2023/01/11(水) 17:03:18.22 ID:s0T2WgwN >>570 念のために補足しておくけど >>560 のケースは捕捉されないエラー (現時点では捕捉することを意図的に諦めているエラー) であって Gauche の仕様として正しいというわけではないよ。 結果は未定義。 直接的に書いてしまった場合にしてもマクロ展開結果でこうなるにしても あくまでも誤っているプログラムだからね。 言いたかったのは >>557 に対してで、原理的に出来てもやらない事情の例として (私は ECL のことは全然知らないので) Gauche での例を出したってだけ。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/571
572: デフォルトの名無しさん [sage] 2023/01/11(水) 17:40:33.93 ID:/IOcm4EW >>571 どうも、俺のも原理的には…という同じ意図の話だよ eclやgaucheが有名実装では最もアグレッシブな感じなのかな？ (declaim (optimize (speed 0) debug safety) が外せない俺には怖くて触れないよ http://mevius.5ch.net/test/read.cgi/tech/1531587928/572
573: デフォルトの名無しさん [sage] 2023/01/11(水) 18:02:49.87 ID:/IOcm4EW なおeclのlocked package?の件、標準の宣言を全て付けても有効な模様… http://mevius.5ch.net/test/read.cgi/tech/1531587928/573
574: デフォルトの名無しさん [sage] 2023/01/11(水) 18:12:33.46 ID:qLQaVlgq notinlineも効かないし独自機構だな http://mevius.5ch.net/test/read.cgi/tech/1531587928/574
575: はちみつ餃子 ◆8X2XSCHEME [sage] 2023/01/14(土) 01:01:49.57 ID:9ctkhBjT >>572 > 有名実装では最もアグレッシブ そんなことはないんじゃないかな。。 実行前の処理に時間をかけない (かけても総合的な性能向上にならない) という 判断でエラーチェックに消極的だけど最適化にも消極的だから。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/575
576: 本田 [] 2023/01/25(水) 23:58:21.43 ID:PahnnjBC UCB Scheme https://people.eecs.berkeley.edu/~bh/61a-pages/Scheme/ UCB Scheme is a modified version of STk 4.0.1 by Erick Gallesio. http://mevius.5ch.net/test/read.cgi/tech/1531587928/576
577: デフォルトの名無しさん [sage] 2023/01/26(木) 19:06:40.12 ID:lq03KzKz USB Schemeじゃないのか どっちかって言えばUSB Schemeが欲しいのだが http://mevius.5ch.net/test/read.cgi/tech/1531587928/577
578: デフォルトの名無しさん [sage] 2023/01/28(土) 14:07:46.81 ID:BDgiT21v nptcl https://github.com/nptcl/npt http://mevius.5ch.net/test/read.cgi/tech/1531587928/578
579: 本田 [] 2023/01/29(日) 22:24:48.67 ID:XMFhzyDs アルゴリズム言語 Scheme 報告書 四訂版 H. Suzuki訳 https://groups.csail.mit.edu/mac/ftpdir/scm/r4rs-ja.texi http://mevius.5ch.net/test/read.cgi/tech/1531587928/579
580: はちみつ餃子 ◆8X2XSCHEME [sage] 2023/01/30(月) 00:59:07.34 ID:kRDQpz8S そのリンクがどうしたっていうんだ？ 何か思うところがあるなら話題に挙げるのはかまわんが ただリンクを置いて去るのはやめて欲しいな。 ニュース系のネタならお知らせの意味で貼ったのかなと思うところだが、 そういう感じでもないみたいだしな。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/580
581: デフォルトの名無しさん [] 2023/01/30(月) 19:13:37.70 ID:prACFehy そもそもダイナミックスコープの何がだめですか Emacs lispはダイナミックスコープですが、 あちこちから呼ばれてる関数を、空関数で上書きして殺すとかできて便利です Emacs lispの感覚でGIMPのスクリプト（scheme）を書こうとすると なにか何でもかんでもラッパー渡し（いちいちcarをひとつ辿る）って感じです ちなみにLispは普通の手続き型言語としてしか使ったことないです そんな奴への説教とかあったら聞きたいです マクロとか、「確かにif文を関数として実装するのは無理かもしれないし、 そういう時に使うのかな」くらいにしか解ってないです http://mevius.5ch.net/test/read.cgi/tech/1531587928/581
582: デフォルトの名無しさん [sage] 2023/01/30(月) 19:45:34.45 ID:w7gs7hNq >>581 全然ダメじゃないよ。でも誰か(昨日のオレ)が余計なことをやって不審な挙動をしてるけど原因がさっぱり分からないというのは起こりやすいかもしれない。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/582
583: デフォルトの名無しさん [sage] 2023/01/31(火) 01:40:41.84 ID:t9l1A9G+ Lispではたまたまうまく動いてるように見えるけど変数宣言の無い言語でダイナミックスコープやると死ぬ http://mevius.5ch.net/test/read.cgi/tech/1531587928/583
584: はちみつ餃子 ◆8X2XSCHEME [sage] 2023/01/31(火) 10:19:46.67 ID:XA5Y5Qfu >>581 元のプログラムを書き換えずに影響を差し込むことが出来るってのはアプリケーション拡張用として便利だけれど 元のプログラムが想定してない滅茶苦茶なことも出来ちゃうということと最適化が困難になるのが深刻な問題だと思う。 ユーザーが変な使い方をして変なことを起こす分には自業自得といえるにしても 今ではパッケージをネット上からダウンロードしてインストールまで自動だから 悪意あるコードが他のパッケージを好きなように変更できるようだと影響範囲が大きい。 たとえばウェブブラウザのアドオンなんかだど各アドオンは通信によって協調は出来るが 環境は共有しないようにすることで影響力を制限している。 参照しているものがことごとくいつでも変更される可能性があると インライン化や畳み込みといったごく基本的な (しかし効果が高い) 最適化すらできない。 現代的な言語処理系に対して数十倍単位で遅いのはさすがに困る。 ものごとの良し悪しにはトレードオフがある。 どちらの問題もコードが小規模ならどうということはないので利点のほうが上回っていたのかもしれないが、 時代を経て巨大になりすぎた。 疎結合を意識した構成にしないと手に負えない。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/584
585: デフォルトの名無しさん [sage] 2023/01/31(火) 10:34:59.12 ID:tSjB9eWW グローバル&ダイナミックは罠になり得るけど、対話的に使うコマンド言語(シェル)は大体そうだし利便性の問題、新しいpwshでももそう 定義をテキストとして全てダンプして、読み戻せる利点がある cl/scheme(fluid-letとかそんな名前の拡張)のように基本レキシカルで、ローカル&ダイナミックは宣言が必要なら意図せず使う事は稀なはず (form-in-scope? (declare (special x)) form-in-scope) (locally (declare (special x)) (form-in-scope)) 面倒だけど(declare…)が外、つまり同じレベルのフォームに影響する場合があるのが気持ち悪いから、明示的な後者を好む http://mevius.5ch.net/test/read.cgi/tech/1531587928/585
586: デフォルトの名無しさん [sage] 2023/01/31(火) 10:56:14.75 ID:tSjB9eWW レキシカルな情報を取り込んでしまう(暗黙にクロージャを作る)クロージャにはテキスト表現が無いから、ダンプが出来ないのは致命的な欠点 よってダイナミックスコープ一択になる pwshだと gci function: bashだとdeclare -f (多分、よく知らん) でダンプ、出力されるテキストを読み直せば(大体)環境が復元できる pwsh方式だと{code}.GetNewClosure()でクロージャは明示的に得る http://mevius.5ch.net/test/read.cgi/tech/1531587928/586
587: デフォルトの名無しさん [sage] 2023/01/31(火) 11:08:10.67 ID:tSjB9eWW >>581 guileだっけ？ あれ変な拡張山盛りだから出来るんじゃない？fluid-letみたいな名前がないかaproposしてみたら http://mevius.5ch.net/test/read.cgi/tech/1531587928/587
588: はちみつ餃子 ◆8X2XSCHEME [sage] 2023/01/31(火) 11:28:43.20 ID:XA5Y5Qfu >>587 GIMP の Scheme (Script-fu) は TinyScheme が使われている。 (昔は SIOD だった。) まあ fluid-let くらいなら自分で書いてもたいした手間じゃないけどね。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/588
589: デフォルトの名無しさん [sage] 2023/01/31(火) 11:31:05.15 ID:cAwVb56Q #<closure ...>が嫌ならいにしえのfunargを使えばok 別にレキシカル環境をリストで持ったって構わないわけで、印字表現が不透明なlispはインクリメンタルコンパイルやリストより効率の良いデータ構造を選んだ結果 厳密にはダイナミックスコープでないけれど、コード注入なら'ラムダ式を渡して廻っても同等の自由が得られる(call by name) 既存のコードの方でも準備が必要だけど http://mevius.5ch.net/test/read.cgi/tech/1531587928/589
590: デフォルトの名無しさん [sage] 2023/01/31(火) 11:33:22.79 ID:tSjB9eWW >>588 ええ…gnu公式の拡張言語とは一体なんだったのか http://mevius.5ch.net/test/read.cgi/tech/1531587928/590
591: はちみつ餃子 ◆8X2XSCHEME [sage] 2023/01/31(火) 12:23:06.03 ID:XA5Y5Qfu >>590 アプリケーションに特有の機能はアプリケーション側で用意されたものを呼出して使うわけだし 言語側のライブラリはほどほどで足りるんで小さい処理系のほうが面倒がないというのはあるかも。 Guile はビルドするだけで面倒くさいが TinyScheme はファイル数個の簡単構成だし。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/591
592: デフォルトの名無しさん [sage] 2023/01/31(火) 12:38:01.83 ID:mFP57axK ローカルにダイナミックな束縛をやるなら、それ専用のprogvフォーム(clにある)はどう思われてるんだろ？ (progv 変数リスト 値リスト body) let系列の (変数 値)リスト慣習を転置(zip)した記法だけど、束縛が多くても縦にスペースを取らない let慣習では変数 値はsetq/set!だけど、progvの変数リストは評価されるから、リード時にバッククオートでシンボルを埋め込むようなハックが不要 動的束縛を活用するようなメタな場面では特にだけど、埋め込む為だけにわざわざリーダを何度も通すのが歯痒い 多分に個人的な好みだと思うけど http://mevius.5ch.net/test/read.cgi/tech/1531587928/592
593: デフォルトの名無しさん [sage] 2023/01/31(火) 13:07:01.68 ID:tSjB9eWW >>592 転置されてるのと束縛リストの実行時評価は、おそらくlet風のマクロを書く時に便利だからかな mapcar #'list let-like-binding-list がprogvに渡せて、あと欠損値も勝手にnilで埋まる あと機械的に名前を処理するならgensymもお忘れなく http://mevius.5ch.net/test/read.cgi/tech/1531587928/593
594: デフォルトの名無しさん [sage] 2023/01/31(火) 13:18:26.31 ID:tSjB9eWW 例が悪かった 単にlistをmapcarするだけでは、let形式のリストをそのまま渡した方が早い 不定数の引数を取ってリストを返す関数で、自明なlist以外をmapcarするならかなり楽が出来るはず しかし何に便利か今すぐ具体的な例は思い付かない() http://mevius.5ch.net/test/read.cgi/tech/1531587928/594
595: デフォルトの名無しさん [sage] 2023/01/31(火) 14:00:30.21 ID:tSjB9eWW >>591 俺環ではインストール(展開後)で50MBのディスク容量占めてるな 実験的なelisp対応(編集機能無しで一体何の意味が？)とか 興味深いけど謎な方向に突き進んでるね http://mevius.5ch.net/test/read.cgi/tech/1531587928/595
596: デフォルトの名無しさん [sage] 2023/01/31(火) 14:46:13.56 ID:CmTey6Bh GNUは昔から他人の成果物の丸パクリしか脳が無い団体だよ http://mevius.5ch.net/test/read.cgi/tech/1531587928/596
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 260 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s