Lisp Scheme Part41

**デフォルトの名無しさん** · 2021/07/13(火) 08:34:35.37

named-lambdaならalexandriaにある

**デフォルトの名無しさん** · 2021/07/13(火) 10:27:19.42

Schemeで、

(+ '3 3)

を評価すると

6

が返ります。

'3 は「3」というシンボルを表わすのではないんですか？

**はちみつ餃子** ◆8X2XSCHEME · 2021/07/13(火) 11:05:03.90

>>413
クウォートは評価を抑制するという仕組み。
データ (S式) の世界がプログラムの世界にマッピングされるときにデータの世界のままで留め置く感じ。

識別子はデータの世界ではシンボルなので、(変数として) 評価しなければシンボル自体となる。
3 はデータの世界でも数値の 3 であり、数値はプログラムの世界で評価すると
それ自体になるという自己評価 (self-evaluating) という規則の対象なので
3 はクウォートを付けても付けなくても評価結果は数値の 3 。

ちなみにベクタリテラルが自己評価の対象になるかどうかは変更があったので注意が必要。
R5RS/R6RS では自己評価の対象ではないのでクウォートが必要だが R7RS では自己評価になる。
まあほとんどの処理系は適当に許容したりもするんだけど。

**デフォルトの名無しさん** · 2021/07/13(火) 16:32:31.52

number?で#tなだけで数値をシンボルで実装した処理系もあるかもしれん

**はちみつ餃子** ◆8X2XSCHEME · 2021/07/13(火) 17:10:19.73

小さい数値はヒープアロケーションせずにワードに詰め込む (ことで GC 削減して高速化を図る)
ような実装が一般的だったり、同じ内容の文字列リテラルを統合したりすることがある。

eq? が数値や文字列について処理系依存になっているのは
おそらくそういった最適化を許すための配慮なんだけど、
処理が遅くなってでも一貫した扱いをするというデザインを選んだなら
内部的に数値とシンボルと統合することも選択肢としてはあるかもね。

そうしてもユーザー視点ではたいして得なことはないんだけど、
アプリケーションに組み込んで拡張用言語として使うとか
だったらアプリケーション側の事情と馴染みやすいかどうかみたいな視点もあるし。

**デフォルトの名無しさん** · 2021/07/13(火) 19:58:17.06

数字はreadした時点でnumberになる
それをquoteしてもnumberのまま
quoteするとはevalされないということだ
もちろんnumberをevalしてもnumberのままだ

**デフォルトの名無しさん** · 2021/07/14(水) 06:57:41.65

あっそうか
末尾再帰が仕様にないからloopを使うようになってるのかな？

**デフォルトの名無しさん** · 2021/07/15(木) 04:52:42.37

逆やね末尾再帰でloopを代替できるからイキって仕様からloopを消したったのがｓchemeやからユーザーもイキるやで

**デフォルトの名無しさん** · 2021/07/15(木) 06:43:25.74

末尾呼び出しの最適化が至高の技術のように思っていた時期が僕にもありました

**はちみつ餃子** ◆8X2XSCHEME · 2021/07/15(木) 11:32:01.61

末尾呼出し最適化はあくまでもセマンティクスの話であって、
ループ構文を避ける強い流れがあるわけじゃないよ。

do や named let くらいしか繰り返し構文が用意されてないのは
皆が合意できる仕様をまとめられていないという非常に単純な理由だよ。

R7RS-Large に入れるループ構文の候補としては
・ SRFI-42 (https://srfi.schemers.org/srfi-42/srfi-42.html)
・ foof-loop (http://wiki.call-cc.org/eggref/5/foof-loop)
・ chibi loop (http://synthcode.com/scheme/chibi/lib/chibi/loop.html)
が挙がっている。

まあまだちゃんと議論されてないので他の候補が出るかもしれないし、
結局何も入れないということもあるかもね。

**デフォルトの名無しさん** · 2021/07/15(木) 16:04:48.23

アキュムレータ加えて末尾再帰で書くよりはdoを好むわ
ロジックとしては全く等価だし、見やすい方がいい

**デフォルトの名無しさん** · 2021/07/15(木) 16:12:57.83

loopキーワードは:を付けてlisp keywordにすればビジュアル的に随分見やすくなるね

ところでloopの独特の言い回しはAlgol由来だと最近知った、downtoとか
esacやfiまで取り入れてたら投げ捨てるけど

**デフォルトの名無しさん** · 2021/07/15(木) 16:15:28.68

>>412
sbclが内部でnlet使ってるね
::で参照したりコピペしたりしてるわ

やっぱclに入れた方が良かったな

**デフォルトの名無しさん** · 2021/07/15(木) 16:34:32.82

loopしなくてもdestructuring bindやwithの為にloop使うのは我ながら良くないと思う
値を集める節がハマると簡潔に書けるのでつい

**はちみつ餃子** ◆8X2XSCHEME · 2021/07/15(木) 17:45:11.96

慣れた Scheme ユーザーなら末尾呼出し (末尾再帰) になっているかどうかは空気のように判断できるけど、
do で書けるものなら do で書いたほうがそういう判断をする必要さえないわけで、
なるべく抽象度の高い構文 (または手続き) を使うに越したことはない。

大事なのは抽象化で、繰り返しをしているところなら繰り返しに見えるように書くのが筋だろ。
(繰り返しに do という名前を当てるのがどうなんだ……とも思うけど Fortran 由来らしい。)

そういう意味では >>425 が loop をループ以外の用途に使うのは確かに良くは無いんだが、
場合によってはそういうのもイディオムとして定着していることがあるから
意味に忠実にするために冗長になるくらいならイディオムに頼るほうが「わかりやすい」場合もある。

どちらがいいというわけでもなくて全体の匙加減だから難しいよね。

**デフォルトの名無しさん** · 2021/07/15(木) 19:48:28.17

末尾呼出し最適化をいかした書き方というのは確かにあるのだけれど named let はシンプルな loop に特化していて中途半端なのだよなあ

**デフォルトの名無しさん** · 2021/07/15(木) 21:29:35.37

named let 嫌いだわ、構文として紛らわしいだけ
あれはgotoとでも名乗るべき

**デフォルトの名無しさん** · 2021/07/16(金) 08:09:46.64

>>428
おいらはすき。letなんてどうせシンタックスシュガー。

**デフォルトの名無しさん** · 2021/07/18(日) 09:56:21.45

書き捨てなら抽象度は低い方がよいのが原則じゃないか？
高いほうがいいのは使い回すケース、例えば数列計算関数に項を計算する関数を渡して特殊化したい場合
carがdoなら、何がしたいのか一目で分かるよね

あとclでも普通ループへの展開はしてくれると思うけど、保証はされてないから神経質な人は、より確実に等価なコードに展開されるだろうdoの方がいいかも
いやさすがに気にし過ぎか

**はちみつ餃子** ◆8X2XSCHEME · 2021/07/18(日) 10:09:27.74

>>430
> 書き捨てなら抽象度は低い方がよいのが原則じゃないか？

手間とのトレードオフで抽象化層をわざわざ作るのを避けるという意味ならそうだけど、
多様な語彙 (標準ライブラリ、またはそれに近いもの) がすでに揃っている中
から選べるなら状況をより適切に表しているものをピックアップしたほうが
わかりやすいし手間も少ないでしょ。

**デフォルトの名無しさん** · 2021/07/18(日) 10:13:20.17

ポエムだけど、状態機械ともロジックは等価だよね

二項漸化式を例に
仮引数-呼び出し
末尾再帰
a b accum - b (next b) accum'
do
a b result - b (next b) result'
状態機械
a b state - b (next b) state'

状態機械は普通遷移テーブルを与えて考えるけど、制御構造で動的に割り振れば前の二者になる
状態を引数で受け渡すことで、ステートフルな計算を実現する

**デフォルトの名無しさん** · 2021/07/18(日) 10:18:13.98

>>431
その文章には賛同するけど、その線引は深入りすると宗教戦争になりそうなやつだな…

忘れてくれ

**デフォルトの名無しさん** · 2021/07/18(日) 10:31:34.34

'formをテーブルに書き込んでしまえば…

**デフォルトの名無しさん** · 2021/07/18(日) 10:43:00.23

状態機械の定義にそぐうかは詳しくないので分からないけど、表で管理するのは見やすそう
でもデータ構造中に保持する限り反復に翻訳される可能性は皆無だろうな

**デフォルトの名無しさん** · 2021/07/18(日) 22:30:22.92

do構文は何がどこかすぐ忘れる
named letはうる覚えでもなんとかなる
ただのletの亜種だから断然読みやすい

**デフォルトの名無しさん** · 2021/07/18(日) 22:33:40.35

×うる覚え
○うろ覚え

**デフォルトの名無しさん** · 2021/07/20(火) 02:01:05.64

すみませんscheme初心者なのですが累乗を求めるプログラムが動きません
http://www.nct9.ne.jp/m_hiroi/func/abcscm04.html
を参考に、let と cond を使って書いてみたのですが let で局所変数を導入した瞬間に動かなくなりました
何が間違っているのか指摘していただけると幸いです
(define (pow x y)
　　(let ((z (pow x (quotient y 2))))
　　　　 (cond ((zero? y) 1)
　　　　　　　 ((zero? (modulo y 2)) (* z z))
　　　　　　　 (else (* x z z))
　　　　 )
　　)
)

**デフォルトの名無しさん** · 2021/07/20(火) 02:30:15.19

infinite recursion

**デフォルトの名無しさん** · 2021/07/20(火) 03:11:09.60

(z (pow x...)) の評価が ((zero? y) 1) の前に起きてるのが原因なんですね
z に (pow x..) を束縛だけして評価しないみたいなことって出来るんですかね?
(define (pow2 x y)
　(if (= y 0)
　　　1
　　　(let ((z (pow2 x (quotient y 2))))
　　　　(if (= (modulo y 2) 0)
　　　　　　(* z z)
　　　　　　(* x z z)))))
みたいに if 文に分解して (= y 0) 1 を (let ((z (pow2 x ..) の前に出すしかないんでしょうか
let と cond を一緒に使うとスッキリ書けそうなのですが…

**デフォルトの名無しさん** · 2021/07/20(火) 09:22:43.66

(define (pow x y)
　　(let ((z (lambda()(pow x (quotient y 2)))))
　　　　 (cond ((zero? y) 1)
　　　　　　　 ((zero? (modulo y 2)) (* (z) (z)))
　　　　　　　 (else (* x (z) (z))))))

**デフォルトの名無しさん** · 2021/07/20(火) 10:43:12.24

計算量悪化してない？

**デフォルトの名無しさん** · 2021/07/20(火) 11:23:57.77

(define (pow x y)
　　(let ((z (lambda()(pow x (quotient y 2)))))
　　　　 (cond ((zero? y) 1)
　　　　　　　 ((zero? (modulo y 2)) (set! z (z)) (* z z))
　　　　　　　 (else (set! z (z)) (* x z z)))))

**デフォルトの名無しさん** · 2021/07/20(火) 12:21:34.41

ifとletを使うのが一番いいと思う

(define (pow1 x y)
(let ((z (delay (pow1 x (quotient y 2)))))
(cond ((zero? y) 1)
((zero? (modulo y 2)) (* (force z) (force z)))
(else (* x (force z) (force z))))))

(define (pow2 x y)
(let ((z #f))
(cond ((zero? y) 1)
((begin
(set! z (pow2 x (quotient y 2)))
(zero? (modulo y 2)))
(* z z))
(else (* x z z)))))

**デフォルトの名無しさん** · 2021/07/20(火) 12:42:50.05

>>443
なるほどアリティ0の無名関数として束縛してやれば定義時に評価されずに済むんですね
評価したいときはリストにすれば評価されると
めちゃくちゃ為になりました
ありがとうございます

**デフォルトの名無しさん** · 2021/07/20(火) 13:00:13.21

>>444
やはり自然なのはifとlet使った書き方なんですかね
そもそも明示的に遅延評価を表すシンタックス形式(delay)があるんですね勉強になります
ありがとうございました

**はちみつ餃子** ◆8X2XSCHEME · 2021/07/20(火) 16:19:35.74

計算量のことを言うなら繰り返し二乗法を使うのがスマートやろ。

**デフォルトの名無しさん** · 2021/07/20(火) 17:16:38.64

force 使うの大袈裟すぎない？
440で全く問題ないと思ったけど

**はちみつ餃子** ◆8X2XSCHEME · 2021/07/20(火) 17:33:51.23

元になる数式をなるべく形式を変えずに書きたいみたいな要求はあるんじゃないの？
プログラマ的視点で見れば >>440 の形に不自然さは感じない (むしろ比較的自然だと思う) けど、
理論家がコードに書き起こすときにはコードを変形させるよりは
遅延を明示したほうがすっきりと感じることだってあるだろう。

そこらへんは何が正しいとは言えないけど、
現時点で Scheme を学習中の人みたいなので色々な方法に触れておけば
どれかは役にたつこともあるかもね。

**デフォルトの名無しさん** · 2021/07/20(火) 17:41:31.79

こんなんでもいいんじゃない

(define (pow2 x y)
　(if (= y 0) 1
　　(let ((z (pow2 x (quotient y 2))))
　　　(* (if (= (modulo y 2) 0) 1 x) z z))))

**はちみつ餃子** ◆8X2XSCHEME · 2021/07/21(水) 23:35:17.25

Racket 8.2 がリリースされておった。
https://blog.racket-lang.org/2021/07/racket-v8-2.html

**デフォルトの名無しさん** · 2021/07/29(木) 12:26:00.90

トイプログラムをチューニング合戦やめーや

**はちみつ餃子** ◆8X2XSCHEME · 2021/07/29(木) 14:35:36.73

簡単な場合をよく考えられないなら応用的状況ではもっと出来ないよ。
応用ができるようになってからなら枝葉は後回しにすべきだけど。
(いわゆる「早すぎる最適化は諸悪の根源」ってやつ。)

あと、単にこのスレってあまり話題ないから。

**デフォルトの名無しさん** · 2021/08/29(日) 19:48:00.40

Parenscriptとclojurescriptのメリットとデメリットどこかにまとまってないかな
主力をcLかclosureのどっちにするかで悩んでる

**デフォルトの名無しさん** · 2021/09/01(水) 11:05:24.22

racket から　pythonのtensorflowとか使いたいのに
まともなpython ffiが見つからない

racket死んでる？

**デフォルトの名無しさん** · 2021/09/03(金) 17:00:38.92

フリーランスに立ちはだかる「常駐」の壁。慣例を打ち壊し、
“テレワーク”案件3割→8割へと成長を遂げた「クラウドテック」の軌跡
https://prtimes.jp/story/detail/DBnPOktyljr
テレワークの一般化により、11月にはテレワーク可能案件83.7%へと増加。
2021年、フリーランスのトレンドは「移住＆テレワーク」と予測
https://prtimes.jp/main/html/rd/p/000000045.000050142.html
リモートワーク求人専門サイト「プロリモート」がリニューアルオープン、業務委託契約の求職者と企業をマッチング
https://www.value-press.com/pressrelease/262778
1/3以上が採用につながる高マッチング率、リモートワーク×エンジニア・デザイナー専門の
人材紹介サービス「ReworkerAgent」正式リリース場所からも時間からも自由な働き方を実現！
https://www.nishinippon.co.jp/item/o/713384/
新潟県、移住してきたテレワーカー／フリーランスに最大50万円を支給
https://internet.watch.impress.co.jp/docs/news/1287094.html
茨城県日立市、県外からの「テレワーク移住者」に最大151万円の助成金
https://internet.watch.impress.co.jp/docs/news/1281120.html
長野市、市内に移転・事業所設置し、移住することで最大550万円の支援金を支給
https://internet.watch.impress.co.jp/docs/news/1274735.html
フリーランスが活用できる「最大1,000～3,000万円・補助率50%～75%」の
『ものづくり・商業・サービス補助金』とは？概要や条件を解説
https://freenance.net/media/money/4255/
『ReWorks（リワークス）』リモートワーク特化型転職サイトとして 3月5日リニューアル
https://prtimes.jp/main/html/rd/p/000000051.000010457.html

**デフォルトの名無しさん** · 2021/09/04(土) 12:17:58.77

hy一時期話題になったけど今は誰も使ってない

**デフォルトの名無しさん** · 2021/09/04(土) 13:00:17.62

春頃にLispマシンの話題になっているが、
TAOのコードは結局Public Domainに出来ないのかな
https://www.nue.org/nue/tao/celis/index.html

**デフォルトの名無しさん** · 2021/09/04(土) 17:09:55.40

だいぶん昔にjaistでtaoのイベントがあったが同様の質問が出たが権利問題が解決できないらしく関係者にさえ配布できない状況らしい
lispの勉強会で遭遇した人の話なので風の噂レベルでスマンがガッカリしたのを思い出した．エミュレーションもデモしたらしい

**デフォルトの名無しさん** · 2021/09/05(日) 06:20:35.31

quickdocs復活してるな

**デフォルトの名無しさん** · 2021/09/07(火) 20:50:21.97

Scheme版のcl-ppcreは何処いったんだ？

**はちみつ餃子** ◆8X2XSCHEME · 2021/09/07(火) 21:18:49.39

>>461
srfi-115

**デフォルトの名無しさん** · 2021/09/10(金) 16:25:34.83

政治闘争で頻繁に互換性ないアップデートを繰り返して死んだ
hy

次はclojureで同じ政治闘争が始まりそうという噂が

**はちみつ餃子** ◆8X2XSCHEME · 2021/09/10(金) 17:54:13.80

hy くらいの新興処理系でどんどん変更が入るのは普通のことだと思うが。
つってももう登場から 8 年なのか。

**デフォルトの名無しさん** · 2021/09/11(土) 14:53:00.01

>>462
いやそこにある実装は知ってるけど必要なのは>>461
もしかして自分で変換して使ってたのかな？

**デフォルトの名無しさん** · 2021/09/11(土) 20:38:39.26

スレに書き込む前に妄想と現実の区別がついていることをよく確認しましょう

**デフォルトの名無しさん** · 2021/09/11(土) 21:45:04.20

自分で変換した不確かな正規表現ライブラリなんて使いたくねーな

**デフォルトの名無しさん** · 2021/09/11(土) 23:37:54.18

いやそれは移植元にテストケースがあるからテストが完走すればだいじょぶっしょ
しかしそもそもschemeにもpcreライブラリは沢山あるだろうけど

**デフォルトの名無しさん** · 2021/09/15(水) 04:41:28.63

妄想も噂も似たような言い換えみたいなものなのに
何でそんな強い口調で言い換えを強要してくるんだ

**デフォルトの名無しさん** · 2021/09/15(水) 04:43:02.67

何でそんな強い口調で言い換えを強要してくるんだ

**デフォルトの名無しさん** · 2021/09/16(木) 00:32:04.26

()に包めば言い換えないでも柔らかさを演出できる
()はすごいのだ

**デフォルトの名無しさん** · 2021/09/16(木) 02:34:55.53

465から別の話題になってて468まででひとつの会話の流れ．
つまりお前が勝手に被弾してるわけよ‥

**デフォルトの名無しさん** · 2021/09/16(木) 07:32:28.90

クオートしてエバらなければよろしい

**デフォルトの名無しさん** · 2021/10/09(土) 23:58:58.03

sbcl2.1.9 windows版(amd64)入れてみたけど今まで起動直後に表示されてたWARNING(win版はスレッドまわりが壊れやすいけどそんなの対応してらんない！みたいなやつ)が表示されなくなって地味にうれしい

**デフォルトの名無しさん** · 2021/10/10(日) 10:54:30.08

スレッド周りはpthreadのエミュレーションを自前で実装してたのを、直接Win32のAPIを呼ぶようになった
コードが一気にシンプルになったし、その時にバグの修正も行ったのだろう

**デフォルトの名無しさん** · 2021/10/28(木) 23:14:45.49

hhk限定モデル注文した
これでlisp書きまくるぞ

**デフォルトの名無しさん** · 2021/10/29(金) 10:04:04.19

[ )* ]
このキートップを作って売ったら儲かる！

**デフォルトの名無しさん** · 2021/11/04(木) 15:30:13.66

()と［］は入れ替えてる
スペースカデットの模造品とかないんだろうか

**デフォルトの名無しさん** · 2021/11/19(金) 06:28:29.94

roswell環境で.roswell/local-projects/が認識されないんだけど原因分かる人いない？

**デフォルトの名無しさん** · 2021/11/28(日) 23:37:15.25

roswell emacs

**デフォルトの名無しさん** · 2021/11/29(月) 20:25:25.48

roswellは複雑すぎて分からん

**デフォルトの名無しさん** · 2021/11/30(火) 11:59:55.55

LISPマシン
https://youtu.be/4c8qJGlG9Ik

**デフォルトの名無しさん** · 2021/12/01(水) 00:08:54.18

quicklispとかroswellとか、全部一体化されたら使うわ

**デフォルトの名無しさん** · 2021/12/08(水) 02:22:37.34

https://mevius.5ch.net/test/read.cgi/tech/1333015632/688

**デフォルトの名無しさん** · 2021/12/15(水) 14:51:19.13

Lispworks 8でた！

**はちみつ餃子** ◆8X2XSCHEME · 2021/12/15(水) 16:19:54.21

Chicken Scheme 5.3.0 が先月リリースされてたのに気づいてなかったわ。

**デフォルトの名無しさん** · 2021/12/18(土) 20:20:58.46

Lispworksのpro版購入してる人いますか?

＿ · 2021/12/27(月) 16:17:35.40

Release of LispWorks 8.0
http://www.lispworks.com/news/news39.html

LispworksってSBCL みたいなSIMDサポートありますか？

**デフォルトの名無しさん** · 2021/12/27(月) 23:09:52.29

週2日出社、週2日在宅の週4日勤務が最高の働き方だと提唱したい

週休3日制になったら給料を減らされる？？そんな考えだからいつまで経っても貧乏なんだよ...

サラリーマンが副業でプライベートカンパニーを設立するメリット

Webマーケターに転職して、セミリタイアを実現させる方法

【朗報】「在宅勤務OK」の求人、コロナ前と比べて7 7倍に上昇！

【悲報】「会社員に戻りたい！」というフリーランス、全体の3%しかいないw

【悲報】副業が解禁されても、副業を見つけられずに困窮する会社員が続出...
日頃から副業をやっておくことの重要性を再認識しよう

【驚愕】5人に1人は本業よりも副業収入の方が多いことが判明w　本業よりも稼げる副業とはなんなのか？？

**デフォルトの名無しさん** · 2021/12/27(月) 23:20:39.96

家でゲームやってる方が100倍楽しい

**デフォルトの名無しさん** · 2021/12/28(火) 14:24:25.81

Gauche 0.9.11 リリース

**デフォルトの名無しさん** · 2021/12/29(水) 00:16:33.25

>>491
でも来年も1.0は出ないんでしょう？

＿ · 2022/01/04(火) 06:23:02.11

>>491
Gauche 0.9.11-p1 リリース
Windows での問題修正のみみたい。

>>492
1.0に向けての作業入られているようだけど
今年中に出るかは判らんなぁ

**デフォルトの名無しさん** · 2022/01/04(火) 09:25:24.58

>>492
https://mevius.5ch.net/test/read.cgi/tech/1426481152/471

**デフォルトの名無しさん** · 2022/01/04(火) 18:09:56.39

>>494
それでも1.0はやっぱり大きな節目じゃないかな
それでなくてもマイナー言語を採用する
障壁は大きいのに、まだ安定版じゃ無い、
とか難易度が高い

**デフォルトの名無しさん** · 2022/01/05(水) 01:55:05.36

1.0 で Stabilize と書いてはいるが、別に現状の動作が不安定で落ちたりするという意味じゃなくて
API の試行錯誤とかをやってたのを 1.0 では「とりあえずの」決定版にしようねという話であって、
後にもたまには大きな変更だってあるだろうし、そのへんの感覚は番号だけ見てもわからんのだよな。
むしろメジャーバージョンが変わった直後は不安定という通説もあるし。
メジャーバージョンがクソデカでも信用ならんものなんて腐るほど見てきただろう？

心理的な障壁というのはわかるんだけど、逆に言えば気分の問題でしかない。
検証した上でやっぱりアカンとなったならしょうがないんだけど、
バージョンナンバー「だけで」判断してるのならよい態度ではないよね。

**デフォルトの名無しさん** · 2022/01/05(水) 09:05:38.61

1.0をだしたら、これまでできなかったあんあことやこんなことをやってみて、がんがん不安定化させるということだよね。もう飽きたからメンテナンスフェーズにはいるじゃないよね。

**デフォルトの名無しさん** · 2022/01/08(土) 17:42:20.32

Gauche は作者自身が仕事で使うための道具でもあるから
万人向けではない方向にデザインされるということはあるかもしれんが、
(まあそもそも Scheme が万人向けではないが……)
常に作者によって使われているので大きく壊れることはたぶんあんまりない。

**デフォルトの名無しさん** · 2022/01/09(日) 03:10:06.49

forkすりゃいいじゃん

**デフォルトの名無しさん** · 2022/01/09(日) 09:17:46.18

無理

**デフォルトの名無しさん** · 2022/01/09(日) 19:19:41.13

gaucheはr7rs対応したときに2.0になっていてもよかったのではとおもう

**デフォルトの名無しさん** · 2022/01/10(月) 19:38:26.99

俺はscmは遊ぶ用だけどguileがいい感じ、イントロスペクションがつよいので掘って遊べる

まだまだあんどきゅめんてっどなelモード探索も楽しい

**デフォルトの名無しさん** · 2022/01/15(土) 20:48:11.65

今度のMSXはCとLispとPythonが動くんだぞ
https://www.4gamer.net/games/999/G999905/20220113106/

**デフォルトの名無しさん** · 2022/01/16(日) 15:41:52.89

ことしのlisp的抱負をひとつ...

**デフォルトの名無しさん** · 2022/01/16(日) 17:06:35.43

>>504
今一度！
3度目の挑戦ですが、sheme 手習いを読む、読み通す！！

**デフォルトの名無しさん** · 2022/01/16(日) 22:33:47.36

同じく
あと、リスト遊び読む

**デフォルトの名無しさん** · 2022/01/16(日) 22:57:05.20

あくまで個人的感想だが、そういう風に勉強のために勉強するみたいなのは結局は上手くいかんのじゃないかと思う。

**デフォルトの名無しさん** · 2022/01/16(日) 23:41:32.77

じゃあ、GAFAを超えるものを作るために勉強する！

**デフォルトの名無しさん** · 2022/01/17(月) 05:54:03.53

>>507
仕事で使えば直ぐに覚えられるね
だがSchemeの仕事は無い

**デフォルトの名無しさん** · 2022/01/17(月) 10:07:54.20

成果物として作るんでなくてもちょっとした前処理程度のことをするときに使えばいいよ。
使い捨てるものを何で作ろうが文句は言わせん。
プライベートで使うんでもいいしな。

**デフォルトの名無しさん** · 2022/01/17(月) 10:10:54.91

ツール類は自分の慣れた言語で作ってしまうw

**デフォルトの名無しさん** · 2022/01/17(月) 10:32:49.23

俺は Scheme が一番慣れた言語だから……

こういうのがニワトリタマゴってやつかね。
慣れるために使いたいのに慣れてないから使わないってのでは
何も進まんでないか。

**デフォルトの名無しさん** · 2022/01/17(月) 22:29:08.40

scheme使いなら自作の処理系の1つや2つは持ってるよね

**デフォルトの名無しさん** · 2022/01/18(火) 01:32:42.02

いいえ。

**デフォルトの名無しさん** · 2022/01/18(火) 23:30:17.32

黒板とノートという万能処理系なら

**デフォルトの名無しさん** · 2022/01/19(水) 12:17:51.13

なにか作ろうと思うと結局cffiでcライブラリを呼び出して使ってるので、糊みたいな使い方しかしてないなぁ

**デフォルトの名無しさん** · 2022/01/20(木) 02:19:42.06

Ruby でも JavaScript でも Python でもだいたいそんなもんだろ。

**デフォルトの名無しさん** · 2022/01/20(木) 19:02:36.89

scheme修行読んだら処理系書けるかな？
ちょっと読んでちっともわからなくて挫折したけど

**デフォルトの名無しさん** · 2022/01/20(木) 21:08:50.31

処理系作りたいなら下手な本より既存の処理系のソース読みまくるのが近道

**デフォルトの名無しさん** · 2022/01/22(土) 21:58:31.48

俺の気持ちを代弁してくれてたポエム
https://gist.github.com/phoe/7d24bdb1f2be76a02fecba8cfecbef38

＿ · 2022/01/24(月) 12:23:44.52

>>520
斉藤由貴バージョンの
夢の中へ
が脳内再生された。

**デフォルトの名無しさん** · 2022/01/24(月) 20:39:39.47

ちゃんとエンドユーザー様までデプロイするのはめんどいのは確か

グラフィックス叩いたりするライブラリに依存するのはやむ無しだけど、純lispなライブラリはライセンスの許す限りスニペットに切り出して同梱してる

**デフォルトの名無しさん** · 2022/01/24(月) 21:07:29.09

継続が凄いって話は、かれこれ10年くらい聞いてたんだけど、結局は限定継続で十分だよね、
限定継続もあんまり応用ないね、って感じに落ち着いたのかな？

**デフォルトの名無しさん** · 2022/01/25(火) 11:38:40.17

継続が凄いってなんだよ
継続ベースのlisp実装をschemeと言うのだから、そういう意味では凄い応用例だよ

**デフォルトの名無しさん** · 2022/01/25(火) 12:33:26.79

非限定継続ってjmcのambとかが該当するのか？
動作としてはバックトラックするだけだから特に継続概念が必須というわけではないけど、なんか楽しい

**デフォルトの名無しさん** · 2022/01/28(金) 01:56:11.96

形式定義できるのが継続の便利なところなんだよ。
バックトラックするだけとはいうが「バックトラックってなに？」というのを突き詰めていったときに「継続をこんなふうに受け渡してるでよ」と言えるの。

**デフォルトの名無しさん** · 2022/01/28(金) 23:35:03.31

でも実際はambはただの愚直な探索だから遅いんじゃないの？

**デフォルトの名無しさん** · 2022/01/28(金) 23:54:45.12

原理的にはバックトラックと同じ速さ。
それが遅いというのならバックトラックでも遅い。
バックトラックより速い方法があってチューニングの手間をかけていいならそうすりゃいい。

**デフォルトの名無しさん** · 2022/02/09(水) 12:03:16.04

>>522
久々にscm書いてみたんだけどsrfi1とMITとr6rsでfold, fold-left, reduce fold-right, reduce-right(とそのpair-版)が初期値の畳まれる位置や引数の左右スワップとか違ってて混乱した

とっくに誰かやってると思ったけど今後の為に:initial-valueと:from-endを取るcl式reduceを移植しました…

**はちみつ餃子** ◆8X2XSCHEME · 2022/02/09(水) 12:14:56.74

scm はキーワード型がないけどキーワード引数をどういう風に渡すの？

**デフォルトの名無しさん** · 2022/02/09(水) 12:36:09.65

restに'symb突っ込んで泥臭く拾ってます
srfiにちゃんとした機構あった気がするけど、小道具レベルで依存はしたくないので

**はちみつ餃子** ◆8X2XSCHEME · 2022/02/09(水) 23:48:43.20

ところで scm を使うのはなにか理由があるの？
単なる好みならそれはそれでいいんだけど
このスレで言及される Scheme 処理系は Gauche, Racket, Chicken あたりが多いので
scm 使いは珍しいなーと思った。

**デフォルトの名無しさん** · 2022/02/10(木) 00:36:07.94

guile使ってるけど#:で自己評価シンボルになるな
よく見かける:の方はデフォルトで有効じゃなくて、オプション切り替えだったり

**はちみつ餃子** ◆8X2XSCHEME · 2022/02/10(木) 11:27:44.77

Guile のキーワードはシンボルとは別の型。
(symbol? #:foo) は #f を返す。

**デフォルトの名無しさん** · 2022/02/10(木) 20:51:58.38

CLの掟とか知らないから名前付き引数はマクロでシコシコやってた思い出

**デフォルトの名無しさん** · 2022/03/22(火) 22:52:38.10

https://www.meti.go.jp/press/2021/03/20220322006/20220322006.html

**デフォルトの名無しさん** · 2022/03/22(火) 23:07:01.10

Lispエイリアンｗｗ

**デフォルトの名無しさん** · 2022/03/23(水) 05:57:57.32

ほんまや

＿ · 2022/04/03(日) 20:41:08.96

LLVMベースの Common Lisp Clasp が1.0 になったよー
https://github.com/clasp-developers/clasp/releases/tag/1.0.0

**デフォルトの名無しさん** · 2022/04/04(月) 01:15:26.65

ｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!

**デフォルトの名無しさん** · 2022/04/04(月) 15:23:18.85

>>539
新興？処理系もまだ増えてるのね
良きことだ

**でーちゃんじゃないけど** · 2022/06/25(土) 21:10:35.30

github.com/Soldier-B/ns.js/blob/master/ns.js#L3

**デフォルトの名無しさん** · 2022/06/26(日) 13:26:40.20

さとばん

**デフォルトの名無しさん** · 2022/11/07(月) 12:52:23.10

svigiはなんて読めばいいの

**デフォルトの名無しさん** · 2022/11/07(月) 12:52:44.37

木曽路的な

**はちみつ餃子** ◆8X2XSCHEME · 2022/11/07(月) 13:59:37.65

>>544
アイスランド語で括弧の意味だというのはあのキャラの作者が発表している公式な情報だから
Wikipedia でアイスランド語の表記から調べてみた。
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%82%A4%E3%82%B9%E3%83%A9%E3%83%B3%E3%83%89%E8%AA%9E%E3%82%A2%E3%83%AB%E3%83%95%E3%82%A1%E3%83%99%E3%83%83%E3%83%88
たぶんこの場合の g は英語でいうところの y みたいな発音。
あえてカタカナで表すと「スヴィーイィ」みたいな感じ。

アイスランド語の辞書サイトで音を聞いてみた感じでも外してないと思う。
https://islenskordabok.arnastofnun.is/ord/40650

**デフォルトの名無しさん** · 2022/11/07(月) 16:54:40.26

>>546
ありがとう
音素と発音記号は手堅いね

**デフォルトの名無しさん** · 2022/11/07(月) 20:41:51.67

>>546
ここでアイスランド語が言及されるとは驚きました、アイスランド語は実に濃ゆい言語ですね
教科書（Johns Hopkins) を買ったけれども、当然 1 ワードも読めませんでした

**デフォルトの名無しさん** · 2022/12/12(月) 12:44:02.44

「命の輝き君」がマンホールの蓋に　　轢死体と見分けがつかなくなってしまう [725951203]
https://hayabusa9.5ch.net/test/read.cgi/news/1670487647/

**デフォルトの名無しさん** · 2023/01/08(日) 12:42:17.07

schemeはじめましたなんだけど
[lisp1.0+]label, [cl]labels = letrec + let name
[cl]flet ((f (args) fletbody)) body = let ((f (lambda (args) body)) letbody)
って理解でいいの？

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/08(日) 17:21:31.97

おおよそ似た雰囲気では書けたりするのかもしれないけど
単純に対応してるわけじゃなかったりもするからいいかどうかは状況によるんじゃないの。

**デフォルトの名無しさん** · 2023/01/08(日) 18:49:11.56

まんまじゃね？
とりあえず(macroexpand 'sb-int:named-let)はそのまんまlabelsに展開されたのでお試しあれ
どの処理系でも似たような定義が大体あるはず

1958年のオリジナルlispのlabelは、scheme界隈ではlet1という名前で見掛ける
当然だけど、ローカル定義が一つなので(自明には)相互再帰はできない

触って気付いたけど
(flet ((cons (a d) (list :cons a d))) (cons :a :d))
; (:CONS :A :D) clisp, sbcl
; (:A . :D) ecl

eclのこれバグ？

**デフォルトの名無しさん** · 2023/01/09(月) 03:51:35.47

触ったことないのでeclがどの程度cltl/ANSI/clhs等の標準をリスペクトしてるのかも分からないのだが
とりあえずgoogle play storeからeclのandroidポートらしいeql5 replを入れてみた

(list ;; attempt to shadow cl:cons
(flet ((cons (x y) (cons y x)))
(cons 'co '?ns))
(let ((cons (lambda (x y) (cons y x))))
(funcall cons 'co 'ns)))

((CO . NS) (NS . CO))

fletは謎挙動だね…
* shadowしない名前(xcons)ならok
* (flet ((cons (x) (1+ x))) (cons 42))がアリティ不一致で怒られる
から推測するに、普通cl packageの関数なんて弄られないだろうと踏んで、関数の名前解決を手抜きして最適化してるんだろう

値の名前解決は特に弄る意義もないので、scheme風にlambdaをletで値として束縛して呼べば問題ない
clを名乗る以上はオプションで切れるくらいの配慮はあるだろうから、eclにこだわるならマニュアル読んでみては

少なくともclhsはリスペクトしてないね
...flet can locally shadow a global function name, ...
http://www.lispworks.com/documentation/HyperSpec/Body/s_flet_.htm

**デフォルトの名無しさん** · 2023/01/09(月) 16:15:24.76

　　 |　　彡⌒ミ
　　　＼ (´･ω･`)名前のシャドウ化辺りって自分で処理系実装した子はわかると思うけどハゲる要因だから絶対関わらない方がいいと思う
　　　　　(|　　　|)::::
　　　　　(γ　/:::::::
　　　　　　し＼:::

**デフォルトの名無しさん** · 2023/01/09(月) 16:36:52.10

eclは有名だけど、embeddableの名前通りの用途で1MBちょいな処理系だから、そういうものと割り切って使うべき

funcallが冗長ならletのbodyにfuncallをconsするだけのmy-fletを作ればいいじゃない
(さらなる災禍を招きそう)

**デフォルトの名無しさん** · 2023/01/09(月) 16:57:44.09

eclのlocked packageなる概念やcompile-timeの意味論に関連しそうなissue
2 yeas agoだけど
https://gitlab.com/embeddable-common-lisp/ecl/-/issues/574

**デフォルトの名無しさん** · 2023/01/10(火) 02:33:32.35

>>553
特定の名前の解決を決め打つ言語は多いし、そういうポリシーもありだと思う
普通でないのはcondition(warning)を挙げないところ

決め打つ名前(locked package?)が分かってる限りは、flet/labelsのレキシカル束縛リストから拾った名前がbody内の呼び出しformのcarに存在するか、ランタイムコストの無い自明な静的解析でconditionを挙げられるはず

**デフォルトの名無しさん** · 2023/01/10(火) 03:18:54.37

>>550
等価と思って良いよ
伝統的なlisp(とcl)のように(let ((x '())) ...)を(let (x) ...)と略記できない、だとか細かい差異はあるけど

百聞は一見にしかずなので、構文の対応を見るのが手っ取り早い
あとeclのname collisionの件、consの例(>>553)はさすがにcontrived-exampleだと思うので、ついでにeclで破綻するように

letrec/nlet/labels で定義するラベルとして、所謂accumulatorイディオムにloop(他にはlp, iterとか)を使うのが慣例だけど、eclではcl:loopと読まれるのでは？と予想

;;; cl -- ok: cmucl, sbcl, clisp, gcl err:ecl (的中)
(defun fact (n)
(labels ((loop (k acc)
(if (= k 0)
acc
(loop (1- k) (* k acc)))))
(loop n 1)))

;;; scheme -- ok: guile
(define (fact n)
(letrec ((loop (lambda (k acc)
(if (= k 0)
acc
(loop (1- k) (* k acc))))))
(loop n 1)))

pcでテストはしたけど、スマホから手打ちなので変だったらごめん

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/10(火) 13:31:12.96

>>557
スクリプト言語 (処理系) 的な想定だと実行開始時にテキストの解釈から毎回やるので
静的解析もランタイムの一部みたいな感じになる。
この場合に限って言えばどちらにせよ名前のルックアップはやるのだからそのときにわかるだろうとは思うけど
静的解析を頑張らないという方針はあり得るんじゃないの。

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/11(水) 00:38:29.47

Gauche で検出されないエラーで (let ((0 1)) 0) みたいなのがあって、
実際にはオプティマイザが消去してしまうんだそうな。

文法の解析で通したものをオプティマイザがエラーとして弾くのも変な話だし、
オプティマイザが走査することがわかっているものを前段階でもチェックするのは二度手間だし、
オプティマイザを密結合してしまうのも保守しづらいし……
という葛藤があるのはわかる。

まあそれぞれに事情があるので原理的に可能だからといってそうすべきだとも言えない気がする。

**デフォルトの名無しさん** · 2023/01/11(水) 00:49:38.31

0はシンボルじゃないから、文法解析を通しちゃ駄目だろw

**デフォルトの名無しさん** · 2023/01/11(水) 01:29:07.80

そういう手では絶対書かないだろう変なコードも、マクロ書いてるとまれによく発生するから困る

**デフォルトの名無しさん** · 2023/01/11(水) 01:59:04.27

カウンタ変数を捕捉更新しようとして、うっかり評価してしまったケースとか

**デフォルトの名無しさん** · 2023/01/11(水) 02:21:26.04

多分(let ((i (+ i 1))) i)が化けたのかな

**デフォルトの名無しさん** · 2023/01/11(水) 02:34:55.34

letの時点でオプティマイザに通してんのかな
let系はlambdaまで落として((lambda(i) i) (+ i 1))とすれば間違えようがないと思うのだが

**デフォルトの名無しさん** · 2023/01/11(水) 02:44:32.93

エスパー大会か？
(let ((i (+ i 1)))
(another-macro i))

another-macroは副作用目的で自明にiに展開したか、乗法的な関数を呼んだ(iの初期値0*n=0)

**デフォルトの名無しさん** · 2023/01/11(水) 03:33:43.09

>>565
gancheは知らんけど、さすがにletはプリミティブな事が多いかと
むしろ最適化で読み飛ばすならlambdaまで還元してしまってはダメで、LETをヒューリスティックに認識する必要がある

仮に評価順を示す為にバッククォートでわざとらしく書くと
`(let ((,index ,(1+ stride))) ,(* index stride))
; (LET ((0 1)) 0)

(に等価な)展開とかがありがちかな
特に例に意味は無かったってオチだったりして

**デフォルトの名無しさん** · 2023/01/11(水) 03:56:23.35

defmacro/macroexpand方式だと特にだけど、(let ((0 1)) 0)みたいな残骸から推論する技能はとても大事に思う
書く時もそうだけど、人が書いたモノの後始末なら前提知識が無いのでなおさら
これだけ想像を膨らませてくれる貴重な(let ((0 1)) 0)すら消し飛ばされるならもうお手上げ

なんて文句を言いつつ、schemeでもついslibのdefmacroに手が伸びてしまうのだが

**デフォルトの名無しさん** · 2023/01/11(水) 06:03:42.65

>>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))だけを見て決められない

**デフォルトの名無しさん** · 2023/01/11(水) 06:21:34.50

一応値については正しいというだけで、もしbodyに(exit)や大域脱出が入ってても無視するのか？という問題はある

ill-formedな>>560すら無視するのだから、当然well-formedな(exit)も無視するのが自然だけど、実際のところはgaucheに訊いてください

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/11(水) 17:03:18.22

>>570
念のために補足しておくけど >>560 のケースは捕捉されないエラー
(現時点では捕捉することを意図的に諦めているエラー) であって
Gauche の仕様として正しいというわけではないよ。結果は未定義。

直接的に書いてしまった場合にしてもマクロ展開結果でこうなるにしても
あくまでも誤っているプログラムだからね。

言いたかったのは >>557 に対してで、原理的に出来てもやらない事情の例として
(私は ECL のことは全然知らないので) Gauche での例を出したってだけ。

**デフォルトの名無しさん** · 2023/01/11(水) 17:40:33.93

>>571
どうも、俺のも原理的には…という同じ意図の話だよ

eclやgaucheが有名実装では最もアグレッシブな感じなのかな？
(declaim (optimize (speed 0) debug safety)
が外せない俺には怖くて触れないよ

**デフォルトの名無しさん** · 2023/01/11(水) 18:02:49.87

なおeclのlocked package?の件、標準の宣言を全て付けても有効な模様…

**デフォルトの名無しさん** · 2023/01/11(水) 18:12:33.46

notinlineも効かないし独自機構だな

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/14(土) 01:01:49.57

>>572
> 有名実装では最もアグレッシブ

そんなことはないんじゃないかな。。
実行前の処理に時間をかけない (かけても総合的な性能向上にならない) という
判断でエラーチェックに消極的だけど最適化にも消極的だから。

本田 · 2023/01/25(水) 23:58:21.43

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.

**デフォルトの名無しさん** · 2023/01/26(木) 19:06:40.12

USB Schemeじゃないのか
どっちかって言えばUSB Schemeが欲しいのだが

**デフォルトの名無しさん** · 2023/01/28(土) 14:07:46.81

nptcl
https://github.com/nptcl/npt

本田 · 2023/01/29(日) 22:24:48.67

アルゴリズム言語 Scheme 報告書四訂版
H. Suzuki訳
https://groups.csail.mit.edu/mac/ftpdir/scm/r4rs-ja.texi

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/30(月) 00:59:07.34

そのリンクがどうしたっていうんだ？
何か思うところがあるなら話題に挙げるのはかまわんが
ただリンクを置いて去るのはやめて欲しいな。

ニュース系のネタならお知らせの意味で貼ったのかなと思うところだが、
そういう感じでもないみたいだしな。

**デフォルトの名無しさん** · 2023/01/30(月) 19:13:37.70

そもそもダイナミックスコープの何がだめですか
Emacs lispはダイナミックスコープですが、
あちこちから呼ばれてる関数を、空関数で上書きして殺すとかできて便利です
Emacs lispの感覚でGIMPのスクリプト（scheme）を書こうとすると
なにか何でもかんでもラッパー渡し（いちいちcarをひとつ辿る）って感じです

ちなみにLispは普通の手続き型言語としてしか使ったことないです
そんな奴への説教とかあったら聞きたいです
マクロとか、「確かにif文を関数として実装するのは無理かもしれないし、
そういう時に使うのかな」くらいにしか解ってないです

**デフォルトの名無しさん** · 2023/01/30(月) 19:45:34.45

>>581
全然ダメじゃないよ。でも誰か(昨日のオレ)が余計なことをやって不審な挙動をしてるけど原因がさっぱり分からないというのは起こりやすいかもしれない。

**デフォルトの名無しさん** · 2023/01/31(火) 01:40:41.84

Lispではたまたまうまく動いてるように見えるけど変数宣言の無い言語でダイナミックスコープやると死ぬ

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/31(火) 10:19:46.67

>>581
元のプログラムを書き換えずに影響を差し込むことが出来るってのはアプリケーション拡張用として便利だけれど
元のプログラムが想定してない滅茶苦茶なことも出来ちゃうということと最適化が困難になるのが深刻な問題だと思う。

ユーザーが変な使い方をして変なことを起こす分には自業自得といえるにしても
今ではパッケージをネット上からダウンロードしてインストールまで自動だから
悪意あるコードが他のパッケージを好きなように変更できるようだと影響範囲が大きい。
たとえばウェブブラウザのアドオンなんかだど各アドオンは通信によって協調は出来るが
環境は共有しないようにすることで影響力を制限している。

参照しているものがことごとくいつでも変更される可能性があると
インライン化や畳み込みといったごく基本的な (しかし効果が高い) 最適化すらできない。
現代的な言語処理系に対して数十倍単位で遅いのはさすがに困る。

ものごとの良し悪しにはトレードオフがある。
どちらの問題もコードが小規模ならどうということはないので利点のほうが上回っていたのかもしれないが、
時代を経て巨大になりすぎた。疎結合を意識した構成にしないと手に負えない。

**デフォルトの名無しさん** · 2023/01/31(火) 10:34:59.12

グローバル&ダイナミックは罠になり得るけど、対話的に使うコマンド言語(シェル)は大体そうだし利便性の問題、新しいpwshでももそう
定義をテキストとして全てダンプして、読み戻せる利点がある

cl/scheme(fluid-letとかそんな名前の拡張)のように基本レキシカルで、ローカル&ダイナミックは宣言が必要なら意図せず使う事は稀なはず
(form-in-scope? (declare (special x)) form-in-scope)
(locally (declare (special x)) (form-in-scope))
面倒だけど(declare…)が外、つまり同じレベルのフォームに影響する場合があるのが気持ち悪いから、明示的な後者を好む

**デフォルトの名無しさん** · 2023/01/31(火) 10:56:14.75

レキシカルな情報を取り込んでしまう(暗黙にクロージャを作る)クロージャにはテキスト表現が無いから、ダンプが出来ないのは致命的な欠点
よってダイナミックスコープ一択になる
pwshだと gci function:
bashだとdeclare -f (多分、よく知らん)
でダンプ、出力されるテキストを読み直せば(大体)環境が復元できる

pwsh方式だと{code}.GetNewClosure()でクロージャは明示的に得る

**デフォルトの名無しさん** · 2023/01/31(火) 11:08:10.67

>>581
guileだっけ？
あれ変な拡張山盛りだから出来るんじゃない？fluid-letみたいな名前がないかaproposしてみたら

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/31(火) 11:28:43.20

>>587
GIMP の Scheme (Script-fu) は TinyScheme が使われている。 (昔は SIOD だった。)
まあ fluid-let くらいなら自分で書いてもたいした手間じゃないけどね。

**デフォルトの名無しさん** · 2023/01/31(火) 11:31:05.15

#<closure ...>が嫌ならいにしえのfunargを使えばok
別にレキシカル環境をリストで持ったって構わないわけで、印字表現が不透明なlispはインクリメンタルコンパイルやリストより効率の良いデータ構造を選んだ結果

厳密にはダイナミックスコープでないけれど、コード注入なら'ラムダ式を渡して廻っても同等の自由が得られる(call by name)

既存のコードの方でも準備が必要だけど

**デフォルトの名無しさん** · 2023/01/31(火) 11:33:22.79

>>588
ええ…gnu公式の拡張言語とは一体なんだったのか

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/31(火) 12:23:06.03

>>590
アプリケーションに特有の機能はアプリケーション側で用意されたものを呼出して使うわけだし
言語側のライブラリはほどほどで足りるんで小さい処理系のほうが面倒がないというのはあるかも。
Guile はビルドするだけで面倒くさいが TinyScheme はファイル数個の簡単構成だし。

**デフォルトの名無しさん** · 2023/01/31(火) 12:38:01.83

ローカルにダイナミックな束縛をやるなら、それ専用のprogvフォーム(clにある)はどう思われてるんだろ？
(progv 変数リスト
値リスト
body)

let系列の (変数値)リスト慣習を転置(zip)した記法だけど、束縛が多くても縦にスペースを取らない
let慣習では変数値はsetq/set!だけど、progvの変数リストは評価されるから、リード時にバッククオートでシンボルを埋め込むようなハックが不要
動的束縛を活用するようなメタな場面では特にだけど、埋め込む為だけにわざわざリーダを何度も通すのが歯痒い

多分に個人的な好みだと思うけど

**デフォルトの名無しさん** · 2023/01/31(火) 13:07:01.68

>>592
転置されてるのと束縛リストの実行時評価は、おそらくlet風のマクロを書く時に便利だからかな
mapcar #'list let-like-binding-list
がprogvに渡せて、あと欠損値も勝手にnilで埋まる

あと機械的に名前を処理するならgensymもお忘れなく

**デフォルトの名無しさん** · 2023/01/31(火) 13:18:26.31

例が悪かった
単にlistをmapcarするだけでは、let形式のリストをそのまま渡した方が早い
不定数の引数を取ってリストを返す関数で、自明なlist以外をmapcarするならかなり楽が出来るはず

しかし何に便利か今すぐ具体的な例は思い付かない()

**デフォルトの名無しさん** · 2023/01/31(火) 14:00:30.21

>>591
俺環ではインストール(展開後)で50MBのディスク容量占めてるな
実験的なelisp対応(編集機能無しで一体何の意味が？)とか
興味深いけど謎な方向に突き進んでるね

**デフォルトの名無しさん** · 2023/01/31(火) 14:46:13.56

GNUは昔から他人の成果物の丸パクリしか脳が無い団体だよ

**デフォルトの名無しさん** · 2023/01/31(火) 15:18:25.22

emacsの膨大なテキスト処理関数群に依存していない純ロジックのみのelispコードなら資産になる
そんなの指折り数える量だろう

**デフォルトの名無しさん** · 2023/01/31(火) 15:38:47.41

ライセンス問題でどうしてもコードを触りたくないなら別だけど
何らかのlisp書きであれば、コピペしてその方言に適合するよう手直しする程度は自明な作業でしょう

**はちみつ餃子** ◆8X2XSCHEME · 2023/02/01(水) 01:45:17.62

>>598
ダイナミックスコープとレキシカルスコープでは埋めがたい差があるし、モジュールやフェイズの方針なども大きな差だ。
伝統的に方言と称してはいるが個々に定義された別の言語なのでそんなに簡単に修正は出来ないよ。
私自身はそこそこ Scheme には習熟している自信があるが Common Lisp も Clojure も全然わからん。

C と JavaScript の外観はなんとなく似せてあるが静的型と動的型の違いという根本的な部分で違うからそう簡単に移植はできないのと同じような感じ。

**デフォルトの名無しさん** · 2023/02/01(水) 06:05:03.14

いっそ Emacs そのまま組み込んじゃうとかそんな方向に進まないかな…
近頃の環境ならそんなに重くないはずだし。

**デフォルトの名無しさん** · 2023/02/01(水) 14:47:30.69

>>600
やってできなくはないのかもしれないよ
昔、zlibがまだなかった時代にDOSでzオプションの利くtarを使いたくて、
仕方なくtarとgzipをまとめて一つのバイナリにリンクしてしまって、
スタートアップでヒープを半分に割って、スタックをそれぞれに割り振って、
あとはバッファが一杯になるたびにtar側とgzip側をsetjmpとlongjmpで行ったり来たり、
解凍は問題ないんだけど圧縮がどうしても同じ結果にならなくて、発表せず一人で使ってた

**デフォルトの名無しさん** · 2023/02/11(土) 19:10:46.38

オレオレSchemeでMineSweeper
ソースがSchemeで書かれている
ttp://ujip.ninja-web.net/schemeonjs/minesweeper.html

**デフォルトの名無しさん** · 2023/02/11(土) 20:04:34.26

だからなんやねん
つか何年前から来たの？ってレベルの話だろ

**デフォルトの名無しさん** · 2023/02/15(水) 12:56:30.42

目くじら立てることかよ

**デフォルトの名無しさん** · 2023/03/05(日) 13:42:32.16

オンラインでuLisp動かしてみようかとTinkerCADのArduonoUnoにソースコード流し込んでみたけどさすがに5000行は許してもらえないみたいだな。

**デフォルトの名無しさん** · 2023/04/24(月) 08:39:19.08

最適化されたCLは最適化されていないCよりは速い
昔Common LispでCより速いHTTPパーサを書いたとか言ってたのを見かけた
コードを見るとnodejsのCで書かれたHTTPパーサをパクったみたいな感じなのに
比較対象はなぜかどっかの個人がCで書いたHTTPパーサだった
その個人が晒してたソースのMakefileはデフォルトでは最適化なし
なぜ比較する前にCの方を最適化することを思いつかなかったのだろうか
というかなんでnodjsの方と比較しなかったんだ？
誰か理由わかります？

**デフォルトの名無しさん** · 2023/04/24(月) 08:46:06.25

なぞなぞかな

**デフォルトの名無しさん** · 2023/04/25(火) 20:39:53.26

おじいちゃんそろそろマクロを飲む時間ですよ

**デフォルトの名無しさん** · 2023/05/24(水) 21:31:48.49

氏のイキリ芸でしょ

**デフォルトの名無しさん** · 2023/06/20(火) 13:38:32.61

scheme処理系作ったりSICPで悟り開いたりしたけど今の使い方は実質電卓
スペース区切りの値そのまま貼り付けられて便利なんよなー

**デフォルトの名無しさん** · 2023/08/18(金) 02:03:46.68

John Cowan 氏が R7RS-large の議長の座を降りることを表明した模様。
これからの体制については現時点は決まっていない。