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

レス数が950を超えています。1000を超えると書き込みができなくなります。
1デフォルトの名無しさん2015/03/16(月) 13:45:52.92ID:EEYZoZ1i
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/

903デフォルトの名無しさん2018/04/12(木) 05:13:34.09ID:QxuUPFoE
loop マクロを自作してみる

904デフォルトの名無しさん2018/04/12(木) 07:42:04.41ID:w4rNP/ma
実践Common Lispで覚えた
formatも同じく

905デフォルトの名無しさん2018/04/13(金) 01:48:08.55ID:UkwKelSp
ocamlでさえjavascriptにコンパイル出来るというのにschemeも頑張ろうや

906デフォルトの名無しさん2018/04/14(土) 10:00:00.96ID:BMT8UCYv
Scheme -> Clojure -> javascript の順番に変換するなら、

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

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

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

907デフォルトの名無しさん2018/04/14(土) 14:14:27.78ID:Q/hh4lYx
つうかemscriptenで幾つかの実装が動いてるよね
ただそれだけで

908デフォルトの名無しさん2018/04/14(土) 17:47:52.07ID:BMT8UCYv
emscripten で C言語 -> javascript に変換が可能だから、Chicken で Scheme -> C言語 に変換すれば、
Scheme -> C言語 -> javascript が実行できるハズか。うまく通らないコードもあるだろうけど。

909デフォルトの名無しさん2018/04/16(月) 14:28:58.54ID:rldqSGZ/
>>908
そんなチキンなやり方が許されるとでも?

910デフォルトの名無しさん2018/04/16(月) 15:10:31.47ID:cjXJGsOK
>>908 >Chicken
>>909 >チキン
日本語でおk

911デフォルトの名無しさん2018/04/16(月) 17:37:30.38ID:Ao+0rxLU
なんだそのツッコミは

912デフォルトの名無しさん2018/04/22(日) 18:59:39.73ID:kgMcoKG3
なるほどもっとキチンとやれと

913デフォルトの名無しさん2018/04/22(日) 23:13:19.09ID:vfnhSJ7e
ところで「ブラウザでCLを動的にJSにトランスパイル可能なライブラリ」って聞いたら何が思い浮かびます?

914デフォルトの名無しさん2018/04/23(月) 13:04:48.19ID:h3LGX4rw
>>913 (loop) >>901

915デフォルトの名無しさん2018/04/23(月) 16:29:52.12ID:4n233aPE
>>914
ワロタww

916デフォルトの名無しさん2018/05/02(水) 09:24:55.05ID:Ofc9Qt+3
質問です!

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

917はちみつ餃子 ◆8X2XSCHEME 2018/05/02(水) 12:49:52.49ID:g0SlpjdS
コンパイル (意味解析) 時にスタックを使えばいいんじゃないのかな。

918デフォルトの名無しさん2018/05/02(水) 13:03:03.19ID:Ofc9Qt+3
>>917
なるほど、意味解析時にスコープの構造をスタックで再現しといて
eval時に該当するスタックを参照できればいいってことですよね。

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

919デフォルトの名無しさん2018/05/11(金) 15:15:36.81ID:jYn7b+yh
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.

920デフォルトの名無しさん2018/05/13(日) 10:00:19.91ID:V4PsQf4P
David Thrane Christiansen のやっている Idris や Pie language といえば、
依存型 (dependent type) を使用した Type-Driven Development かな。
定理証明系の次の話題としては順当なところ。

921デフォルトの名無しさん2018/05/13(日) 10:10:02.10ID:fJNKI1KS
もうなんのことだかさっぱり

922デフォルトの名無しさん2018/05/13(日) 13:45:19.45ID:V4PsQf4P
依存型についてのテキストはこれまでにこういうのが出てるよ。
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 の
低レベルでの詳細が明快になると期待できる感じかな。

923デフォルトの名無しさん2018/05/23(水) 20:15:24.16ID:Au5e7VGg
僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』

VU7Z1

924デフォルトの名無しさん2018/05/23(水) 20:17:31.53ID:ddkD19I+
ちょっと聞きたいんですけど
JSONをS式で書いたらどんな書き方になると思いますか?

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

みたいな感じですか?

925デフォルトの名無しさん2018/05/23(水) 21:44:54.25ID:8jCQObxo
cl-jsonとかで読み込んでみたら

926はちみつ餃子 ◆8X2XSCHEME 2018/05/24(木) 00:45:42.66ID:jqqWnK8Z
>>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 に関してはまだ揺らぎがある。

927デフォルトの名無しさん2018/05/24(木) 01:13:53.62ID:NR1AW6HZ
素直に連想配列にした方が良いのか、それだと巨大なデータの時にアクセス効率が悪いからハッシュテーブルやdefstructした方が良いのかとか、一筋縄では行かないだろう

928はちみつ餃子 ◆8X2XSCHEME 2018/05/24(木) 01:32:06.19ID:jqqWnK8Z
Expat みたいな方式で、オブジェクトの構築はユーザまかせにするってのもひとつの案かな。
まあ、 JSON が必要な場面は設定ファイルとかウェブ API の類とかだと思うので、
極端に巨大な JSON を仮定する必要はあまりないと思うが……。

929デフォルトの名無しさん2018/05/27(日) 13:45:27.94ID:mYmUirqO
JSONをS式で書くといっても、いろいろやり方はあるよね。
Pie language みたいにDSLを使って、Name型、Age型、users型を定義すれば、
型推論、Type-Driven Development を導入できる。

9309242018/05/27(日) 13:52:56.50ID:zSa68/cd
ほえー、難しいですな

931デフォルトの名無しさん2018/05/27(日) 20:34:52.73ID:4TYKeuy0
結局pieてなに?

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

933デフォルトの名無しさん2018/05/28(月) 11:59:02.93ID:IqAZvII/
荒っぽく言うと、英文作成時にtypo checkerとgrammar checkerを併用すると、
正しい英文が簡単に書けてしまう。そのプログラミング言語版みたいなものかと。

934はちみつ餃子 ◆8X2XSCHEME 2018/05/28(月) 13:09:03.51ID:wEzLaTj/
既存の XML や Json のデータからスキーマを構築するやつはどっかで見たことある。

935デフォルトの名無しさん2018/05/28(月) 13:24:15.03ID:IqAZvII/
>>934
JSONスキーマつかってvalidationするやり方は、テスト駆動開発だからミスリード。

936デフォルトの名無しさん2018/05/28(月) 18:05:56.53ID:Wvf3e53c
初心者なんだけど、qiitaでlispの勉強ブログやるのどう思う?
ブログとか自分の趣味ではないんだけど、勉強はかどるかと思って。

937はちみつ餃子 ◆8X2XSCHEME 2018/05/28(月) 23:57:23.63ID:wEzLaTj/
>>936
いいと思うよ。
ただ、 Qiita はブログホスティングサービスではなく、
「知識を共有する」ということをコンセプトにしたサイトだから、
やったことを箇条書きにするだけとかコードが貼っているだけみたいなのではなく、
自分に続く人に参考になるような書き方を心がけてね。

938デフォルトの名無しさん2018/05/29(火) 21:14:19.67ID:BqokYjF9
数行のコードをコンパイルしてみた
chickenでとても小さいバイナリが生成されて満足したあと
Racketが生成するバイナリの大きさに驚いた
そしてSBCLでやってみたらさらに5倍以上も大きくてビックリだわ

それぞれに理由があるのは分かるけど

939デフォルトの名無しさん2018/05/30(水) 09:11:29.12ID:qfpDXvj8
実行ファイルのサイズがでかくても役に立つアプリだったらいいんじゃないの
役に立たないアプリだからサイズが小さくないとまずいって話かな

940デフォルトの名無しさん2018/05/30(水) 09:15:45.84ID:PA9GXtrJ
ばかか?

941デフォルトの名無しさん2018/05/30(水) 09:59:21.93ID:+JLqa4/r
SBCLで「ビックリ」したのはこれ

(eq 'abc 'abc) ;=> T
(eq 'アイウエオ 'アイウエオ) ;=> T
'アイウエオ ;=> アイウエオ
'㌰㌰ ;=> ピコピコ

(setf (sb-ext:readtable-normalization *readtable*) nil) すれば変換されなくなる
http://www.sbcl.org/all-news.html#1.2.5

9429242018/05/30(水) 10:14:13.23ID:yDgT1YjT
皆様に質問です!

JSCLみたいに「サーバサイドもクライアントサイドもlispで!」みたいな思想のやつって他にもありますか?

単にトランスパイラというわけでなく、ブラウザでevalできるのが理想なんですけど...

よろしくおねがいします!

943デフォルトの名無しさん2018/05/30(水) 12:19:21.28ID:3TWGIpcw
>>942 (loop) >>901

944デフォルトの名無しさん2018/05/30(水) 12:35:36.42ID:4OOLz1vE
>>939
自分はFDDの時代から使ってるような老害なので、バイナリは機能なりの大きさのほうが自然に感じるよ
まあ本体が小さくても巨大なランタイムが別にあるんだから同じだろと言われればそれまでだけど

945デフォルトの名無しさん2018/05/30(水) 12:43:43.30ID:ExxmvTi1
スマホで無駄にデカイバイナリーは迷惑だけどPCアプリのサイズなんて気にしない。
昔はユーザーもアプリサイズやメモリー使用量に敏感だったけど、今はそんなこと気にしてないみたいだし。

9469242018/05/30(水) 14:05:50.32ID:jr7ON4yo
>>943
なるほど、ありがとうございました。

947デフォルトの名無しさん2018/05/30(水) 14:20:42.30ID:jr7ON4yo
すみません、LISP初心者ですが、追加の質問させてください!

JSCLを試してみようとgithubのGetting StartedとBuildの項目に挑戦しています。
https://github.com/jscl-project/jscl

サーバでnpm install -g jsclしたあと、jscl-replコマンドを打つことでreplが動くところまではできたのですが
GithubのBuildの項目のところでつまずいています。

git clone https://github.com/jscl-project/jscl.git
することでnode_modulesやpackage.jsonなどが存在するプロジェクトディレクトリ上部に
jsclディレクトリが作成されたのですが(一体これはなんでしょう?サンプルプログラム集なのでしょうか)

replで(jscl:bootstrap)を評価しても
ERROR: The symbol `"BOOTSTRAP"' is not external in the package #<PACKAGE JSCL>.
と表示されてしまい、次のステップに進むことができません。

このステップは、githubのreadme.mdで
「あなたのLispにjscl.lispをロードし、ブートストラップ関数を呼び出して実装自体をコンパイルします」
「ソースツリーの最上部にjscl.jsファイルが生成されます。 これで、ブラウザでjscl.htmlを開いて使用できます。」
と記載があるので、(jscl:bootstrap)を実行することによりgit cloneで落としたプロジェクトをコンパイルし
出力されたjscl.htmlにApacheなど使ってアクセスできるようにすれば、bootstrap?とかいうサンプルアプリが動くと思っているのですが
何がいけないのでしょう??

マニアックな質問で申し訳ないのですが、ぜひお助け願います。
(ところでbootstrapってなんでしょうか?cssフレームワークのTwitter bootstrapのことでしょうか?)

948デフォルトの名無しさん2018/05/30(水) 19:57:16.76ID:EPh+XEfw
SBCLは実行ファイルを圧縮して作成できる
40MBが10〜15MB位になるはず
それでもデカイけどね
ちなみに起動時間は全く変わらない

9499472018/05/30(水) 23:32:16.24ID:jr7ON4yo
よく考えたらスタックオーバーフローとかで質問するべきだったかもしれません(´・ω・`;)

950はちみつ餃子 ◆8X2XSCHEME 2018/05/31(木) 00:05:36.49ID:wCoAkDam
>>947
> 「あなたのLispにjscl.lispをロードし、ブートストラップ関数を呼び出して実装自体をコンパイルします」

マニュアルの文章は、あなたが使っている LISP 処理系の上で jscl.lisp をロードした上で (jscl:bootstrap) を評価せよという意味だと思うんだけど、
あなたがやっているのは jscl-repl を起動した中で (jscl:bootstrap) を評価しているように読める。
そうだとしたらそんなものは無いので無いというエラーになるのはわかる。

9519472018/05/31(木) 10:01:35.83ID:eRJFRV4/
>>950
ご回答ありがとうございます!

つまりCLISPかなにか、適当な処理系をサーバにインストールして
そこから呼び出せばいいのですね!?

試してみます!

952デフォルトの名無しさん2018/06/01(金) 08:07:57.22ID:vYR603xM
Land of Lispはおもしろいですか?

953デフォルトの名無しさん2018/06/01(金) 08:38:48.29ID:pJKbzob1
マンガは面白い

新着レスの表示
レス数が950を超えています。1000を超えると書き込みができなくなります。
レスを投稿する