Lisp Scheme Part40 [転載禁止]©2ch.net

**デフォルトの名無しさん** · 2015/03/16(月) 13:45:52.92

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

■前スレ
Lisp Scheme Part39
http://peace.2ch.net/test/read.cgi/tech/1408017352/

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

■関連スレ
【入門】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】プログラミング言語 Clojure #3【JVM】
http://peace.2ch.net/test/read.cgi/tech/1380333808/
【魔法】リリカル☆Lisp【言語】
http://peace.2ch.net/test/read.cgi/tech/1183396621/

**はちみつ餃子** ◆8X2XSCHEME · 2018/02/03(土) 18:37:12.13

あー、なるほど、そういうことを聞きたかったのか。

**デフォルトの名無しさん** · 2018/02/23(金) 00:09:07.20

Lisp勉強するのに、白と黒の扉、聖霊の箱って役に立つ？

◆QZaw55cn4c · 2018/02/23(金) 00:38:20.14

>>834
amazon でみたところ、「白と黒の扉」とかは、オートマトンやチューリングマシンの話だから lisp とはあまり関係ないんじゃないかな？
いや、 lisp でオートマトンやチューリングマシンを記述したいのだったら話は別だが

この手の話は、私は手元に
https://www.amazon.co.jp/dp/4627805500/
を置いて逐次参照しています、チューリングマシンの適当な発展書があれば、教えていただけるとうれしい

**デフォルトの名無しさん** · 2018/02/23(金) 20:04:19.51

>>834
そういう目的には合ってないと思う
ある程度知ってる人が読みものとして楽しむもの

**デフォルトの名無しさん** · 2018/02/23(金) 20:31:20.28

>>835
激しくすれ違いだけど
http://www.saiensu.co.jp/?page=book_details&;ISBN=ISBN978-4-7819-9929-6&YEAR=2017
とか
http://gihyo.jp/book/2015/978-4-7741-7270-5
とか

**デフォルトの名無しさん** · 2018/02/24(土) 10:43:23.87

>>835-836
わかったそのうち読んでみる

**デフォルトの名無しさん** · 2018/02/25(日) 21:58:20.05

もねまね鳥をまねる
スマリヤン先生って去年亡くなってたのか
120歳まで生きると思ってた

**はちみつ餃子** ◆8X2XSCHEME · 2018/02/25(日) 22:22:47.90

スマリヤンって関西っぽい響きがあるよね。
スマリやん？ｗｗｗ

**デフォルトの名無しさん** · 2018/02/25(日) 23:10:56.46

>>839
あれはチューリングマシンじゃなくてコンビネータ

**デフォルトの名無しさん** · 2018/02/28(水) 22:11:14.24

>>840
ああっ昔駄洒落自動生成機を作ろうとした黒歴史を思い出した

**デフォルトの名無しさん** · 2018/03/04(日) 07:44:31.66

すまん。初心者です。教えてください。

仮に学校の比較？などを扱うプログラムを作ろうとしていて、schoolという1つの学校の情報をまとめたクラスを作るとします。
そのクラスの中に、以下のような学生の情報をまとめたテーブルの情報をぶち込みたいとして、どのようにこれらのテーブルをschoolクラス内に保存するのがいいですか。

名前整理番号性別 2ちゃんねら馬鹿橋本環奈好き年齢
taro 0 #\M t t nil 16
hanako 1 #\F nil t t 16
nagisa 2 #\L nil nil t 18
hoge
piyo
foobar
...

学校によって人数は若干違いますが、基本的にテーブルの大きさはそれほど大きくないとします。
それぞれの要素を頻繁に検索・参照する必要があります。
僕が思いつくのは、

・schoolのstudentsというスロットに、1人のデータの1つのリスト・構造体・クラスにして、そのリストとして保存。
・ハッシュテーブルをつかって、下記のような形で保存。

2CHP ((NAGISA NIL) (HANAKO NIL) (TARO T))
BAKAP ((NAGISA T) (HANAKO T) (TARO T))

ぐらいなのですが、このうちどれがおすすめとか、これら以外にもっと便利な方法などありましたら教えてください。
よろしくお願いいたします。

**843** · 2018/03/04(日) 08:03:30.14

作ったハッシュテーブルをschoolのstudentsスロットにぶち込むと言うことです。
あと、nagisaさんは馬鹿ではありません。失礼しました。

こーいうクラスとかの設計の基本と言うか定石ってどうやって勉強したらええの？

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/04(日) 09:04:58.34

何が良くて何が悪いかなんてやってみなきゃわからんよ。
まず動くものを作ってから出来が悪いと思ったところを直していったらいい。
LISP の良さってそういうとこだろ。

**デフォルトの名無しさん** · 2018/03/04(日) 13:12:25.83

studentクラスの定義がまず先かな
あとstudentsはキーを何にするかが問題
多分名前なんだろうけど、他の項目でも取り出したいときはハッシュテーブルだと面倒だから単に配列でも良いと思うがな

**デフォルトの名無しさん** · 2018/03/04(日) 17:37:51.82

>>843
そもそもクラスは初心者向きじゃないし
Lispのような関数型言語では無理に使わなくても別にいい
多用したいならオブジェクト指向言語を使えばいい

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/04(日) 18:07:26.80

オブジェクトシステムを積極的に使うべきかどうかは確かに場合によるし使わなくても割といけるが、
関数型とオブジェクト指向は直行する概念で、関数型であるからオブジェクトシステムの価値が低いというわけじゃない。

**デフォルトの名無しさん** · 2018/03/04(日) 20:03:49.57

CLOSは初心者に分かりにくい
Lisp自体もそうだけどさらに分かりにくい

**デフォルトの名無しさん** · 2018/03/04(日) 21:45:17.24

CLOSみたいなんじゃなくてもっと言語仕様に密着したオブジェクトシステムがあればと思う
例えばコンスセルはcarとcdrをメンバーに持つクラスみたいな
Gaucheってそうなってんだっけ？

**デフォルトの名無しさん** · 2018/03/04(日) 21:49:01.63

LispでSmalltalk実装すれば解決

**デフォルトの名無しさん** · 2018/03/04(日) 22:35:38.01

オブジェクト志向うんぬんの空気読まずにカキコ

>>844
>こーいうクラスとかの設計の基本と言うか定石ってどうやって勉強したらええの？

LISPというよりも、どちらかというとデータベース設計が主題になるね
もし手早くSchemeで小規模なデータベースを実装したいのであれば、
SLIBと呼ばれるよく知られたライブラリに含まれている
データベースを使うのが最短だと思う
・The SLIB Portable Scheme Library
　http://people.csail.mit.edu/jaffer/SLIB
日本語では、以下の書籍で文献データベースを主題として丁寧に解説されている
・入門Scheme
　　- Schcme入門からXツールキットを使ったリレーショナルデータベースプログラムまで
　https://www.amazon.co.jp/dp/4879669547

もしLISP(による実装)を離れて一般的なデータベース設計そのものを勉強するなら、
たとえば定番の入門書(教科書)である以下の書籍の前半を読む
・リレーショナルデータベース入門―データモデル・SQL・管理システム・NoSQL
　https://www.amazon.co.jp/dp/4781913903

もしLISPプログラミングに自信があり、その上で広義のデータベースとして
「LISPによる知識表現プログラミング」を習得したいのなら、
遠回りになるけどSICP本の「４.4章論理プログラミング」への挑戦を勧める
　

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/05(月) 00:38:23.33

>>849
どうだろうなぁ。初心者っていうか人によるんじゃね。
俺は JavaScript のプロトタイプベースのクソさに辟易した (実利があるのはわかってはいる) けど、
Gauche の (CLOS 風の) オブジェクトシステムにはそんなに忌避感ないし。

**843** · 2018/03/05(月) 05:06:56.57

みなさん、アドバイス・参考書の紹介などありがとうございます。

いろいろ自分で試してみて、どれがいいか決めようと思います。
とりあえずの方針としては、school-baseみたいなクラスの下に、studentsクラスを作って
そこにテーブル属性ごとにスロットを作って、alist形式でぶち込むことにしました。
キーの設定やら検索の便宜やら考えた結果、alistが一番手軽そうだと言うことで。

BAKAP ((taro.t) (hanako) (nagisa.t) ... )

みたいな感じで。学生を単位にデータを作ると扱いづらそうなので。

**デフォルトの名無しさん** · 2018/03/05(月) 22:58:53.34

オブジェクト指向的には
学生ごとにインスタンスを生成して
各属性はインスタンスのスロットに入れるのが自然な実装だろう
属性が動的に変わるなら
そこをalist/plistにするか
プロトタイプ思考のOOPSを使うといい

**デフォルトの名無しさん** · 2018/03/07(水) 19:56:08.11

本屋に行ったらLittle Proverの和訳が出ててびっくりした

**デフォルトの名無しさん** · 2018/03/08(木) 00:07:13.06

Coq/SSReflectの本が発売されるらしい
https://www.amazon.co.jp/dp/4627062419

一ヶ月以上後だけど

**デフォルトの名無しさん** · 2018/03/08(木) 23:01:12.93

またkaizenさんが和歌でレビュー書いてるのかと思った

**デフォルトの名無しさん** · 2018/03/11(日) 23:12:35.97

教えてください。
cxmlで150mbぐらいのファイルをparseしようとしたら、
メモリのリミット来てるでーって怒られてダメでした。
巨大ファイルの扱い方教えてください。

**859** · 2018/03/12(月) 03:24:23.18

saxとかklacksってのを使えば良いのか。
どうやっても空白を拾ってしまう。何でだ。
いろいろ頭痛い。

**デフォルトの名無しさん** · 2018/03/12(月) 17:46:56.89

>>856
これか。字が小さいんだよなぁ。
ttps://www.amazon.co.jp/dp/4908686025

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/12(月) 19:42:56.53

>>860
空白はそのままに認識するのが XML の規約じゃなかったっけ。
空白を除去したいかどうかはアプリケーション側の裁量。
よく使われるライブラリなら何かオプションを持ってたりすることはあるかもしれんけど。

**デフォルトの名無しさん** · 2018/03/19(月) 16:28:35.15

これがLispだ！は教科書っぽくていいな
これと実践あたりを順を追って読んでみようと思う
それからSICPにいこうかな

竹内初めてのとかLand of Lispみたいなノリの本こそLispらしいのだろうが、ついていけないと嫌いになる^^;
LittleはCPSからいきなり難しくなるし、その前も背景知識ないと消化不足になる
Yコンビネータも一応流れはつかめても、自分みたいな頭良くない初学者にはあの試行錯誤から何かを掴むのは難しい
Lispは表面的な軽さと話してることが乖離している書籍が多いし、独学者にはキツイ

これらが、同時並行的にあーなるほど、となると悟ったという事になるのかな？

◆QZaw55cn4c · 2018/03/19(月) 17:56:01.30

>>863
＞LittleはCPSからいきなり難しくなるし、その前も背景知識ないと消化不足になる
おっと、いつのまにか　little schemer の読み込みが途絶えてしまっていた、今日から馬力をかけて、ぜひ読みきろう！

**デフォルトの名無しさん** · 2018/03/19(月) 19:28:13.49

CPSも紙に書いてトレースすることはできるんだけど
見た目が難しいのにご利益があまり感じられないのは俺の頭が悪いからかな？

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/19(月) 20:10:47.01

>>865
Scheme の意味論的には重要なのは確か。
そういう理屈はどうでもいいやってのなら知らなくてもいいかもしれぬ。

**デフォルトの名無しさん** · 2018/03/19(月) 21:18:53.51

>>866
それはどうしたら学べますか？
プログラム意味論とか読めばいいの？

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/19(月) 22:47:45.65

>>867
うーん、俺も理屈をきちんと学んだわけじゃなくて CPS 変換を通して理解したんだけど、
CPS 変換しても何もつかめなかったのならどうすればいいんだろう……。

CPS は継続の理解の助けになるんだよ。
入門書で CPS 変換を取り上げるのは継続を理解させるため。
CPS 変換すること自体が普段のプログラミングですごく役に立つってわけではない。

継続ってのは call/cc で取り出せるやつってだけじゃなくて、
Scheme のプログラムでは常に背後にある。
Scheme に限らずどんな言語にも、 C にだってある。
call/cc は背後にあるのを表に引きずり出す仕組みなんだ。
だから背後でやってるやつを明示的にやったらどないや？っていうのが CPS なの。
そんだけ。

**デフォルトの名無しさん** · 2018/03/19(月) 23:21:42.83

CPS変換はCLとかelispでジェネレータの実装に使われてるよね

**デフォルトの名無しさん** · 2018/03/20(火) 11:33:11.49

>>868
> CPS は継続の理解の助けになるんだよ。

その通り

> CPS 変換すること自体が普段のプログラミングですごく役に立つってわけではない。

まあ普通のプログラミングではCPS変換なんて必要ないわな

> 継続ってのは call/cc で取り出せるやつってだけじゃなくて、
> Scheme のプログラムでは常に背後にある。
> Scheme に限らずどんな言語にも、 C にだってある。

上の３行はもちろん間違っていないんだけれども補足しておくと、
Cなどの通常のgoto文（やCのbreak文等のような制限されたgoto文）とか例外処理を有する命令型プログラミング言語の意味論（正確には表示的意味論）を語る上でこそ継続が不可欠になる

Schemeからcall/ccを除けば（call/ccやそれを含むライブラリ手続きの類を一切使わない範囲でしかSchemeを利用しない人は）継続を使わない意味論で考えても何も問題ない

例えば、命令型言語でも制御構文としてif文とwhile文しかない（goto文やbreak文等のジャンプは含まない）言語…しばしば「While言語」とか呼んで手続き型言語の表示的意味論の
説明用としてに最初に取り上げられるミニチュア言語（一応、万能ね）…の意味を与えるだけなら継続は必要ない

そういう単純な（いわゆる「構造的」な）制御フローしか許さない言語では、個々の文（命令）の意味は状態から状態への写像（つまり文の表すものは一つの状態変換関数）として考えれば済む

goto文や例外処理のような構文に関して制御の流れが（文の構文構造について）構造帰納的でなくなる制御フローを生み出してしまうものを含んだ言語の意味論を考えようとすると継続が不可欠になる
もはや、個々の文を状態変換関数（そして個々の式を状態の集合から値の集合への一つの関数）として考えるような直感的に分かり易い意味の与え方は通用しない

表示的意味論の生みの親のStracheyが、compositionalつまり大雑把には構造帰納的に意味を与える表示的意味論において構造帰納的でない制御フローを生み出すgoto文の意味を
如何に与えるかで悩んだ末に発明した概念こそが正に継続なんだ
（因みに日本語の表示的意味論の教科書でやや古いものは“continuation”の訳語として「継続」でなく「接続」という言葉を使っている場合があるが両者は全く同じ）

**デフォルトの名無しさん** · 2018/03/20(火) 12:19:35.96

何時からこんな長文のレスが出来るようになったのかと

**デフォルトの名無しさん** · 2018/03/20(火) 23:23:33.89

>>865
簡単なスタックマシンにコンパイルしてみてはどうか?

**デフォルトの名無しさん** · 2018/03/20(火) 23:24:33.08

>>872
継続がない言語からね
CSPありとなしで比較して

**デフォルトの名無しさん** · 2018/03/21(水) 11:51:20.10

継続ってラムダ計算にもあるの？

**デフォルトの名無しさん** · 2018/03/25(日) 00:56:23.32

CPSは必ずしも再帰で使う必要はないということでいいのかな
リトルのCPSが消化不良なのは前の章までの理解が足りてないってことか

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/25(日) 01:16:25.39

再帰とは関係なく全ての計算に関わってるよ。

**デフォルトの名無しさん** · 2018/03/25(日) 23:02:19.40

再帰の際に、例えば階乗計算で終端条件から戻ってきて
1*2*3*.......*(n-2)*(n-1)*nと掛けられるものも継続ですか？

**デフォルトの名無しさん** · 2018/03/26(月) 04:28:41.05

>>877
再帰はなくても
関数からのreturn実行が
継続の適用そのものです

**デフォルトの名無しさん** · 2018/03/26(月) 14:01:22.69

>>878
ああ、その説明は見事ですね

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/26(月) 14:19:29.21

C ではアドレスが継続だと思えばだいたい合ってる。
環境が保存されないから Scheme より限定的だけども。

C だと実引数と一緒にリターンアドレスもプッシュするじゃん？
それと同じように Scheme でも戻ってくる継続を暗黙に渡してるんだよ。
Scheme の call/cc は gcc 拡張の __builtin_return_address みたいなもん。

**デフォルトの名無しさん** · 2018/03/26(月) 16:22:01.20

俺Cわかんないんだよね^^;

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/26(月) 16:54:52.93

そっか～

**デフォルトの名無しさん** · 2018/03/26(月) 20:38:59.41

>>877はあってますか？
終端から戻ってきた値が、入れ子の外側、つまり継続に渡されて
さらに外側の継続に渡されて
継続がなくなったら値がプリントされる
というイメージなんだけど

**デフォルトの名無しさん** · 2018/03/26(月) 22:41:49.50

Cで継続を保存しようとしたら、setjmpで保存してるもの(全レジスタの状態)とスタックの内容のコピーだろ(場合によってはかなりのサイズになるが)

◆QZaw55cn4c · 2018/03/26(月) 23:22:44.68

>>884
setjmp/longjmp は、スタックポインタは保存してもスタックの内容のコピーはしない、だからネストの浅いところから深いところにジャンプできない

**デフォルトの名無しさん** · 2018/03/27(火) 09:40:09.76

>>885
ん？だからsetjmpの内容とスタックの内容をコピーすると思いっきり書いたつもりだったが…

**デフォルトの名無しさん** · 2018/03/27(火) 21:44:25.00

C++ coroutinesだとスタック全コピーも実装の有力な候補だな

**デフォルトの名無しさん** · 2018/03/27(火) 22:03:59.18

というか、おととし最後に聞いたときには>>884の言う通りでほぼ決まりみたいな話だった
C/C++では何と、スタックの中を書き換えることができるのだ！

**デフォルトの名無しさん** · 2018/03/28(水) 07:06:35.26

Smalltalkならスタックフレームもオブジェクト

**デフォルトの名無しさん** · 2018/03/28(水) 23:58:25.75

Smalltalkって業務で使ってるとこあるのかな
LISP系よりはありそうなんだが

**デフォルトの名無しさん** · 2018/03/29(木) 06:38:02.92

ヨーロッパや南米での事例が多いとか

https://medium.com/@newapplesho/今時-2017-のsmalltalkの始めかた-93c044820e1b

日本にも地味に仕事あるらしいけど守秘義務で見えにくい

スーパーの古いレジ（POSシステム）で使われているのを見かけたのはNEC系のこれか？

http://tech.nikkeibp.co.jp/it/members/NT/JIREI/20011220/1/

比較的最近の話題はLispばりにスタートアップに活用されたこと

http://web.archive.org/web/20171111102557/https://thepedia.co/article/1068/

**デフォルトの名無しさん** · 2018/03/29(木) 21:46:13.19

>>890
> Smalltalkって業務で使ってるとこあるのかな
> LISP系よりはありそうなんだが

少なくともアメリカでは実アプリをSmalltalkで作ってるケースはほとんどないんじゃないと思うが
プロトタイプをSmalltalkでちゃっちゃと作ってしまい動作確認をするってのはアメリカでも昔からさほど珍しくないそうだが

ちなみにCommon Lispはアメリカでは以前から実用アプリの記述言語としてそれなりの頻度で使われてるよ

**デフォルトの名無しさん** · 2018/03/30(金) 01:39:43.69

>>880
スタックも含まないと継続にはならない

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/30(金) 04:37:04.64

>>893
Scheme 用語で言う「環境」のことな。
それを含まないから限定的と説明しているわけ。

**デフォルトの名無しさん** · 2018/03/30(金) 07:19:01.27

>>894
Cではと限定してんだから、普通にsetjmpと言ってほしいんだが…
IP(インストラクションポインタ)だけを指して限定的な継続言われても逆に分かりにくいと思うが

**デフォルトの名無しさん** · 2018/03/30(金) 07:29:31.52

環境をあえて使わない継続の応用はあっても
環境を含むことができない機構を（「限定的」と断ったとしても）継続だと言い張るのはオカシイよ

**デフォルトの名無しさん** · 2018/03/30(金) 13:49:13.71

別に「限定継続/delimited continuation」ってものもあるしな
話がややこしくなるだけで理解の助けにならない

**はちみつ餃子** ◆8X2XSCHEME · 2018/03/30(金) 16:49:52.67

Racket で escape continuation って言ってるやつと近いかな。

**デフォルトの名無しさん** · 2018/04/08(日) 19:00:53.26

schemeをjsに変換してreactやるとかelectronでGUIアプリ作るとかいう話ない？

**デフォルトの名無しさん** · 2018/04/08(日) 19:55:46.10

scheme->jsの変換は簡単そうだね
継続使ってなければ

**デフォルトの名無しさん** · 2018/04/11(水) 08:57:34.76

そもそもJSにトランスパイルできる
まともなscheme処理系が無いだろう

**デフォルトの名無しさん** · 2018/04/12(木) 03:16:46.76

loopがマジでわからん。
どうしたらいい？

**デフォルトの名無しさん** · 2018/04/12(木) 05:13:34.09

loop マクロを自作してみる

**デフォルトの名無しさん** · 2018/04/12(木) 07:42:04.41

実践Common Lispで覚えた
formatも同じく

**デフォルトの名無しさん** · 2018/04/13(金) 01:48:08.55

ocamlでさえjavascriptにコンパイル出来るというのにschemeも頑張ろうや

**デフォルトの名無しさん** · 2018/04/14(土) 10:00:00.96

Scheme -> Clojure -> javascript の順番に変換するなら、

Clojure -> javascript はすでに自動変換だし、

Scheme -> Clojure も define -> def 等、機械的な置き換えである程度出来るから、

単純なプログラムを変換することは出来るけど、それほど需要がないから無いんじゃないの。

**デフォルトの名無しさん** · 2018/04/14(土) 14:14:27.78

つうかemscriptenで幾つかの実装が動いてるよね
ただそれだけで

**デフォルトの名無しさん** · 2018/04/14(土) 17:47:52.07

emscripten で C言語 -> javascript に変換が可能だから、Chicken で Scheme -> C言語に変換すれば、
Scheme -> C言語 -> javascript が実行できるハズか。うまく通らないコードもあるだろうけど。

**デフォルトの名無しさん** · 2018/04/16(月) 14:28:58.54

>>908
そんなチキンなやり方が許されるとでも？

**デフォルトの名無しさん** · 2018/04/16(月) 15:10:31.47

>>908 ＞Chicken
>>909 ＞チキン
日本語でおｋ

**デフォルトの名無しさん** · 2018/04/16(月) 17:37:30.38

なんだそのツッコミは

**デフォルトの名無しさん** · 2018/04/22(日) 18:59:39.73

なるほどもっとキチンとやれと

**デフォルトの名無しさん** · 2018/04/22(日) 23:13:19.09

ところで「ブラウザでCLを動的にJSにトランスパイル可能なライブラリ」って聞いたら何が思い浮かびます？

**デフォルトの名無しさん** · 2018/04/23(月) 13:04:48.19

>>913 (loop) >>901

**デフォルトの名無しさん** · 2018/04/23(月) 16:29:52.12

>>914
ワロタww

**デフォルトの名無しさん** · 2018/05/02(水) 09:24:55.05

質問です！

動的スコープってスタックに積み上げるだけで実現できるじゃないですか
静的スコープってどうやって実装すればいいんですか？ヒント下さい

**はちみつ餃子** ◆8X2XSCHEME · 2018/05/02(水) 12:49:52.49

コンパイル (意味解析) 時にスタックを使えばいいんじゃないのかな。

**デフォルトの名無しさん** · 2018/05/02(水) 13:03:03.19

>>917
なるほど、意味解析時にスコープの構造をスタックで再現しといて
eval時に該当するスタックを参照できればいいってことですよね。

なんだか、ソースマップみたいですね。ひとつひとつのAtomに該当するスコープの参照を持たせるとなると、なんか重くなりそうですね

**デフォルトの名無しさん** · 2018/05/11(金) 15:15:36.81

Have you ever read The Little Schemer? => #t
Have you ever read The Seasoned Schemer? => #t
Have you ever read The Reasoned Schemer? => #t
Have you ever read The Little Prover? => #t
Have you ever read The Little Typer? => #f
What's The Little Typer? => Pie language book.

**デフォルトの名無しさん** · 2018/05/13(日) 10:00:19.91

David Thrane Christiansen のやっている Idris や Pie language といえば、
依存型 (dependent type) を使用した Type-Driven Development かな。
定理証明系の次の話題としては順当なところ。

**デフォルトの名無しさん** · 2018/05/13(日) 10:10:02.10

もうなんのことだかさっぱり

**デフォルトの名無しさん** · 2018/05/13(日) 13:45:19.45

依存型についてのテキストはこれまでにこういうのが出てるよ。
Edwin Brady "Type-Driven Development with Idris"
Adam Chlipala "Certified Programming with Dependent Types"
Aaron Stump "Verified Functional Programming in Agda"

Edwin Brady と David Thrane Christiansen は協力して Idris を作ったひとで、
今回、Christiansen が Racket 上で Pie language を実装したみたい。
Pie languageの実装を理解させる本が出ることで Type-Driven Development の
低レベルでの詳細が明快になると期待できる感じかな。

**デフォルトの名無しさん** · 2018/05/23(水) 20:15:24.16

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

VU7Z1

**デフォルトの名無しさん** · 2018/05/23(水) 20:17:31.53

ちょっと聞きたいんですけど
JSONをS式で書いたらどんな書き方になると思いますか？

(users . (
((Name . John)
(Age . 25))
((Name . Mike)
(Age . 24))
))

みたいな感じですか？

**デフォルトの名無しさん** · 2018/05/23(水) 21:44:54.25

cl-jsonとかで読み込んでみたら

**はちみつ餃子** ◆8X2XSCHEME · 2018/05/24(木) 00:45:42.66

>>924
Gauche だとこんな感じにマッピングされる。
https://practical-scheme.net/gauche/man/?l=ja&;p=parse-json

Sagittarius だとこう。
http://ktakashi.github.io/sagittarius-online-ref/section753.html

XML だと SXML でほぼ統一されてるけど、JSON に関してはまだ揺らぎがある。

**デフォルトの名無しさん** · 2018/05/24(木) 01:13:53.62

素直に連想配列にした方が良いのか、それだと巨大なデータの時にアクセス効率が悪いからハッシュテーブルやdefstructした方が良いのかとか、一筋縄では行かないだろう

**はちみつ餃子** ◆8X2XSCHEME · 2018/05/24(木) 01:32:06.19

Expat みたいな方式で、オブジェクトの構築はユーザまかせにするってのもひとつの案かな。
まあ、 JSON が必要な場面は設定ファイルとかウェブ API の類とかだと思うので、
極端に巨大な JSON を仮定する必要はあまりないと思うが……。

**デフォルトの名無しさん** · 2018/05/27(日) 13:45:27.94

JSONをS式で書くといっても、いろいろやり方はあるよね。
Pie language みたいにDSLを使って、Name型、Age型、users型を定義すれば、
型推論、Type-Driven Development を導入できる。

**924** · 2018/05/27(日) 13:52:56.50

ほえー、難しいですな

**デフォルトの名無しさん** · 2018/05/27(日) 20:34:52.73

結局pieてなに？

**デフォルトの名無しさん** · 2018/05/28(月) 11:53:10.90

PIE には、元々「インド・ヨーロッパ祖語」(Proto-Indo-European language) という意味があるらしい。
そこから転じて Type-Driven Development の祖語たれかし云々。
Pie言語のような Type-Driven Development と J-Bob(ACL2) の定理証明器の組み合わせによって、
新しいプログラミング・サイクルがもたらされる。
[1] 型を定義する（自動的に型チェックもされる）だけで、
[2] Type-Driven Development 環境が型定義から実行可能なプログラムの雛形を生成してくれる。
[3] プログラムの雛形に実装部分を書き加える。
[4] 書き加えた実装部分の数学的正しさを定理証明器でチェックする。
こんな感じで開発するだけでプログラムの正しさが保証付きで出来上がる。もちろんOOPでもOK。
将来、ほとんどの言語がこういう機能を持つと思われる。