Lisp Scheme Part41

61(1): デフォルトの名無しさん [sage] 2019/03/09(土) 18:08:55.14 ID:AFl9pnGp(1) AAS
研究者や企業による実験段階＋アルファまでAI
商品化され一般に流通したらIT

64(1): はちみつ餃子 ◆8X2XSCHEME [sage] 2019/03/23(土) 23:08:12.36 ID:ByL/s3eU(1) AAS
>>63
μKanren のことはよくしらないけど、
assp は R6RS (※1) では rnrs lists ライブラリに含まれるので、
R6RS 処理系ではこのライブラリを import すると使えるようになる。
R6RS 以外には無い。

自分で書くとしたら SRFI-1 (※2) を使える状況なら
こんな感じで書くなぁ

(define (assp proc alist)
(find (lambda(x)(proc (car x)))
alist))

※1
　RnRS は Scheme の仕様書の通称。
　n に改定番号が入る。

※2
　小さい言語である Scheme では日常的に使うにはライブラリが足りなさげなので、
　ユーザーコミュニティとしてライブラリの仕様を考えて文書化したものの集合体が SRFI 。
　(RFC みたいな感じ？)
　SRFI-1 はその最初期のもので、リスト操作系のライブラリ。
　仕様の一部ではないので処理系によって SRFI の採用の程度は色々だけど、
　実用嗜好の処理系は主要なものはまあまあ取り込んでいる。
　今では仕様の検討の前段階として一旦 SRFI にしたりもしている。

192(1): デフォルトの名無しさん [sage] 2020/04/29(水) 06:44:54.55 ID:bLWOmnfL(1) AAS
>>187
処理系によって(A B C)の評価順序が
(1 2 3)だったり(3 1 2)だったり(3 2 1)だったりするから
mapのようなリストで処理結果を返すような関数のクロージャ内では原則副作用は起こさないことが求められる
for-eachみたいな初めから副作用を期待する関数はどう並べようが問題は起きない

191(2): デフォルトの名無しさん [sage] 2020/04/29(水) 03:18:21.69 ID:ALOjMFFX(1/2) AAS
>>189
> 私は R5RS (など) と言い回しが違うという点に引きずられていましたが、
> "from the first elements to the last" というフレーズ単体で見ると範囲のニュアンス
> で捉える方が自然ですかね。

いや、違う。
R5RSとRacket Reference v7.6とでのmapが手続き(proc)を適用する要素の順番に関して言及しているのは
各々、以下の箇所だが、両者では明らかに全く異なる。

R5RS＞The dynamic order in which proc is applied to the elements of the lists is unspecified.

Racket＞Applies proc to the elements of the lsts from the first elements to the last.

R5RSは>>187で君が述べていた通り、リストの要素への適用順序はunspecifiedだと明確に書いてある。

これに対してRacket v7.6ではprocをlstsの最初の要素から最後の要素へと適用すると書いてある、
つまりリストlstsの要素の並びの順番に手続きprocを適用して行くと明記している。
だからprocとして受け取った値を標準出力に書き出す手続きを渡せば、R5RSでは表示される要素の順番はどんな順序でも良いのに対して
Racket v7.6では元のリストlstの要素の並び順に必ず表示せねばならない。

これは私の想像だが、R5RSでmapが手続きを適用する要素の順番を規定しないと明記しているのは長大なリストに対する並列処理を可能にするためだろう。
逆に言えば手続きの適用順序を確実に把握したい場合にはmapでなくfor-eachを使えというのがR5RSを定めたチームの言語設計上の意図だろう。

>>190
> 保証とはどういうことを指しているのだろう

その言語仕様書のそのバージョンに準拠していると宣言している言語処理系は、それを守らねばならない（守っていなければバグだ）という意味だよ。
だから今の例では、Racket Reference v7.6準拠と処理系が宣言したら、その処理系はmapで手続きを適用する要素の順番を必ずリストの並び順に
する義務が生ずる（Racket v7.6の定める言語仕様＝Racket v7.6ユーザとの約束の順守を保証せねばならない）、ということだ。

当然ながら、言語仕様書のバージョンが変われば約束（つまり言語仕様による規定の内容）も変更され得る。

338(2): デフォルトの名無しさん [sage] 2021/03/18(木) 21:03:14.59 ID:jgE2sGe4(1) AAS
連投してスレ汚しすんませんでした

こんなのあるんだね
外部ﾘﾝｸ:en.scratch-wiki.info
Snap!: Scheme Disguised as Scratch
動画ﾘﾝｸ[YouTube]

774(1): デフォルトの名無しさん [] 2025/07/09(水) 23:21:02.31 ID:cmuoaTCa(10/10) AAS
>>773
リッチでない処理系がこの最適化ひとつでリッチ同然になる