Lisp Scheme Part41

**デフォルトの名無しさん** · 2018/07/15(日) 02:05:28.62

Common Lisp、SchemeをはじめとするLisp族全般のスレです

■前スレ
Lisp Scheme Part40
http://mevius.5ch.net/test/read.cgi/tech/1426481152/

■テンプレ
ttp://wiki.fdiary.net/lisp/

■関連スレ
【Lisp】プログラミング言語 Clojure #4【JVM】 [無断転載禁止]©2ch.net
http://mevius.5ch.net/test/read.cgi/tech/1483498849/
【GNU】スクリプト言語 Guile【scheme】
http://mevius.5ch.net/test/read.cgi/tech/1239985829/
【入門】Common Lisp その11【質問よろず】
http://peace.2ch.net/test/read.cgi/tech/1411307361/
【Scheme】Schemeインタプリタ Mosh Part1【Lisp】
http://peace.2ch.net/test/read.cgi/tech/1272469779/
【魔法】リリカル☆Lisp【言語】
http://peace.2ch.net/test/read.cgi/tech/1183396621/
Lisp@UNIX版
http://mevius.5ch.net/test/read.cgi/unix/1019926525/

**デフォルトの名無しさん** · 2018/07/15(日) 03:57:54.29

乙

**デフォルトの名無しさん** · 2018/07/15(日) 04:45:43.53

(Lisp 笑)

**デフォルトの名無しさん** · 2018/07/17(火) 22:34:02.03

>>1乙

**はちみつ餃子** ◆8X2XSCHEME · 2018/07/29(日) 18:08:39.36

Racket の 7.0 が出た。
コアを chez に置き換える方向で進んでるんだね。

◆QZaw55cn4c · 2018/09/08(土) 00:00:46.97

a little schemer／「scheme 手習い」 https://www.amazon.co.jp/dp/4274068269/
を読んでいます（ずいぶんと時間がかかっています）が、次のプログラムがさっぱり理解できなくて困っています

第5章「*すごい* 星がいっぱいだ」
この章の最初の方までは困難を伴いながらも、なんとか理解できました、この章でのこんな感じのコードを、仕様をみて独力で書きおこすことはできています https://ideone.com/fPHC2z

ところが、p.92 から

＞Q: eqlist? はなんですか。
＞A: 2つのリストが等しいかどうかを決める関数です。…①

＞Q: eqlist? は、その引数についていくつ質問をしますか。
＞A: 9つです。…②

＞Q: なぜ 9 つの質問があるか説明できますか。
＞A: 自分の言葉で説明すると次のようになります。
＞「各引数は次のいずれかです。・空リスト・アトムがリストに cons されたもの・リストが別のリストに cons されたもの
＞たとえば、最初の引数が空になるのと同時に、2番目の引数は、空リストか、car の位置に1つのアトムまたはリストを持っています。…③

＞Q: eqan? を使って eqlist? を書きましょう
＞A: https://ideone.com/vjYCZ5

この解答例がさっぱりです、実は②からよくわかっていません
コードのコメントは私がつけたのですが、最後の方は混乱してしまって…何がわからないかわからない状況です。
何か理解するための手がかり足がかりヒントはないでしょうか？

**SCHEME餃子** ◆8X2XSCHEME · 2018/09/08(土) 01:10:14.26

>>6
私はその本を持ってないのでそのあたりの問題を取り上げたブログ記事を見ながら説明しようかと思ったが、
その Q&A の通りとしか言いようがないんで、何がわからないのかよくわからない。困ったな。

リストの先頭を見た時にあり得るパターンが 3 通りで、
l1 が 3 通りと l2 が 3 通りなら組合せは 9 通り。

9 通りのパターンは 3 種類に分類できて、

・ l1 と l2 の先頭が空リストなら真
・ l1 と l2 の先頭が一致すれば次の要素に対して再帰的に同じ処理をする
・ l1 と l2 の先頭が一致しないなら偽

となる。

実際のコードにするにあたって、空リストに car, cdr 手続きは適用できないんで、チェックの順番を気にするくらいかな。

**デフォルトの名無しさん** · 2018/09/08(土) 05:07:37.63

引数が2つあり、それぞれは3通りの場合があるわけだから
引数の組み合わせとしては3×3=9通りの場合がある。
※引数はリスト(空リストを含む)と仮定していいようだ。

愚直にこの9通りの場合分けを展開するとこの表↓のようになるので、それをそのままコードにしたのがその解答例。

A B 等しい?
() () #t
() (アトム . リスト) #f
() (リスト . リスト) #f

(アトム . リスト) () #f
(アトム . リスト) (アトム . リスト) (and アトム同士が等しいリスト同士が等しい)
(アトム . リスト) (リスト . リスト) #f

(リスト . リスト) () #f
(リスト . リスト) (アトム . リスト) #f
(リスト . リスト) (リスト . リスト) (and carのリスト同士が等しい cdrのリスト同士が等しい)

**デフォルトの名無しさん** · 2018/10/07(日) 02:51:53.80

他のソフトウェアに組み込むスクリプト環境でTinySchemeを使おうかと思っているんですが
スクリプトの中からファイルIO関係の機能は使えないようにしたいです。
この場合、走らせるスクリプトの前に、open-input-file等のIO関係の関数を無害な関数で再定義する部分をくっつけてしまえばOKでしょうか?

**SCHEME餃子** ◆8X2XSCHEME · 2018/10/07(日) 14:31:36.10

>>9
なんらかの方法で元の定義にアクセスできたら脆弱性になっちゃうから、
要らないなら削除する方が確実だと思う。

どのくらい確実にするかってのは程度問題だけど
削除する分にはそんなに手間でもないし。

**デフォルトの名無しさん** · 2018/10/07(日) 16:22:54.47

>>10
ありがとうございます。
削除というのは、その機能をSchemeのソースから削除して再コンパイルするということですか？

**SCHEME餃子** ◆8X2XSCHEME · 2018/10/07(日) 19:43:40.12

>>11
そう。

**デフォルトの名無しさん** · 2018/10/08(月) 11:15:35.46

>>12
ありがとうございます、やってみます！

**デフォルトの名無しさん** · 2018/10/09(火) 08:07:54.35

依存型についてのテキストが出てるよ。
Daniel P. Friedman, David Thrane Christiansen "The Little Typer"
Boro Sitnikovski "Gentle Introduction to Dependent Types with Idris"
Edwin Brady "Type-Driven Development with Idris"
Adam Chlipala "Certified Programming with Dependent Types"
Aaron Stump "Verified Functional Programming in Agda"
Idris と Pie言語ではλ関数とπ関数が同じように導入されているので相互に勉強できるのがいい。

**デフォルトの名無しさん** · 2018/10/09(火) 15:29:09.16

π算法
Robin Milner "Communicating and Mobile Systems: The Pi Calculus"
Davide Sangiorgi, David Walker "The Pi-Calculus: A Theory of Mobile Processes"
Matthew Hennessy "A Distributed Pi-Calculus"
π算法はもともとCCSの拡張としてRobin Milnerらによって考案された、並行計算（π算法はλ算法の並行版）を表すモデルであり、プロセス計算の一種。

**デフォルトの名無しさん** · 2018/10/11(木) 04:45:55.72

A Little Taste of Types - Code Mesh 2017 - David Christiansen
https://www.youtube.com/watch?v=3z9nISI4ppw
A Little Taste of Dependent Types 2018 - David Christiansen
https://www.youtube.com/watch?v=1BWYy2-WM-o