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/

**デフォルトの名無しさん** · 2016/04/27(水) 09:36:40.00

ライセンスは Apache License 2.0 か

**デフォルトの名無しさん** · 2016/05/01(日) 12:07:59.87

匿名通信（Tor、i2p等）ができるファイル共有ソフトBitComet（ビットコメット）みたいな、
BitTorrentがオープンソースで開発されています

言語は何でも大丈夫だそうなので、P2P書きたい！って人居ませんか？

Covenantの作者（Lyrise）がそういう人と話したいそうなので、よろしければツイートお願いします
https://twitter.com/Lyrise_al

ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーｗ

The Covenant Project
概要

Covenantは、純粋P2Pのファイル共有ソフトです

目的

インターネットにおける権力による抑圧を排除することが最終的な目標です。そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します

特徴

Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)

接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
7

**デフォルトの名無しさん** · 2016/05/17(火) 17:05:48.70

The Little Prover (MIT Press)
by Daniel P. Friedman et al.
Link: http://amzn.com/0262527952

**デフォルトの名無しさん** · 2016/06/17(金) 14:09:15.00

>>426
https://github.com/the-little-prover/j-bob
http://the-little-prover.github.io/

**デフォルトの名無しさん** · 2016/06/19(日) 15:31:25.37

Scheme workshopに間に合わなかった論文を投稿できる国際会議って他にないものでしょうか？

**デフォルトの名無しさん** · 2016/06/19(日) 19:41:59.96

elispで"で囲まれる文字列をエディター上で複数行にわたって一行の
文字列を作るにはどうやりますか？

**デフォルトの名無しさん** · 2016/06/20(月) 00:32:31.05

>>429

"foo
bar
baz"

を

"foobarbaz"

にするってこと？

**デフォルトの名無しさん** · 2016/06/20(月) 03:54:27.98

>>428
ACMのプログラム言語系国際会議だとここらへんに
http://www.sigplan.org/Conferences/
https://en.wikipedia.org/wiki/SIGPLAN

Scheme workshopはICFPと併設か
http://conf.researchr.org/home/icfp-2016
http://scheme2016.snow-fort.org/
Submission deadlineJune 24th, 2016

似た時期にやってるSPLASHと併設はアブストラクト提出があるみたいで締め切りがはやそう？
http://www.sigplan.org/Conferences/SPLASH/

POPLが1月、PLDIが6月みたいだけど、この時期は各種言語系の併設少ない

European Lisp SymposiumもACMと共同みたい？だけど
来年は4-6月ぐらいなのかな？
http://www.european-lisp-symposium.org/

そして、ILSの開催はよくわからない

**デフォルトの名無しさん** · 2016/06/20(月) 09:52:51.85

>>430
ということです

**デフォルトの名無しさん** · 2016/06/20(月) 10:19:02.98

例えばリージョンを指定して
(replace-regexp "\n" "" nil (region-beginning) (region-end))
とするとか。

**デフォルトの名無しさん** · 2016/06/20(月) 10:31:53.16

こういう改行を自動的にオミットしてくれるraw文字リテラルとか言語によってはあるよね。

**デフォルトの名無しさん** · 2016/06/20(月) 17:28:02.84

バックスラッシュで改行をエスケープしたらできました
ありがとうございます

**デフォルトの名無しさん** · 2016/06/22(水) 09:00:57.86

Racketのメモリ使用効率が最近、劇的向上したと聞いたがソースが見つからない

**はちみつ餃子** ◆8X2XSCHEME · 2016/06/22(水) 09:59:37.32

適当なコードをプロファイラ付きで動かしてみれば自分で確かめるのも簡単にできそうに思うが

**デフォルトの名無しさん** · 2016/06/24(金) 15:03:54.34

scheme workshop のホームページが落ちてる

**デフォルトの名無しさん** · 2016/06/24(金) 19:38:06.30

scheme on you!

**デフォルトの名無しさん** · 2016/07/11(月) 05:29:45.06

python のdoctestっぽいのが
コメント領域
#|
...
|#
で囲まれた範囲に書かれている
https://github.com/JeffBezanson/femtolisp/blob/master/examples/bq.scm

こういうテストの記述方法使えるscheme処理系って他にないものでしょうか

**はちみつ餃子** ◆8X2XSCHEME · 2016/07/11(月) 13:22:30.31

>>440
doctest ではないけど、同じファイルにテストを書ける方法がある。

SRFI-22 で、 main 手続きがあるとそこをエントリーポイントにする機能があるんだが、
Gauche では -m オプションでモジュール名を指定すると
そのモジュール内にある main (通常は実行されることはない) を実行できる。
ライブラリとして書いたものをスクリプトとしても実行できる仕組みなんだけど、
実際のところそういう使い方は普通はしないので main にテストを書いておくという使い方も出来る。

あるいは、 -F オプションの有無で cond-expand を使って分岐してテスト部分を走らせるという方法もある。

**デフォルトの名無しさん** · 2016/07/11(月) 13:30:48.11

Clojureだと関数定義にmeta情報としてtestを登録できるけど
Schemeのマクロでtest呼び出し可能なdefine-with-testみたいなの作れないものなの？(あたしゃSchemeいぢった事ないのでわからん)

**はちみつ餃子** ◆8X2XSCHEME · 2016/07/11(月) 13:37:54.26

>>442
出来る。

**デフォルトの名無しさん** · 2016/07/21(木) 08:53:46.11

http://ecraven.github.io/r7rs-benchmarks/benchmark.html
Chez が圧倒的なんだが、何故か string のテストだけ突出して順位低いな。

**デフォルトの名無しさん** · 2016/07/21(木) 18:52:01.52

文字列の取出しや結合を繰り返すベンチだな。
Chez の実装をおおざっぱに見てみたら、文字列はただの配列らしい。
string-append も新しくアロケーションしてコピーするだけ。

https://github.com/cisco/ChezScheme/blob/fe172bfdfbf2f606db611013e7689d6a2b117d5e/s/5_4.ss#L33

文字列が rope ならこの種類のベンチは高速になるはずなんだけど、
それはそれで string-ref などが少し遅くなるという欠点もある。
R6RS は string-ref や string-set! が定数時間と要求してるのでそっちを優先したのかも。
(要求といっても `should` はその処理系でコストが大きかったり他との兼ね合いで難しいようなら無視してよい緩い要求。)

あと、 Chez のこういった基本的な手続きは Chez 自身によってコンパイルはされるが、
C で書かれている場合と比べると遅くなると思う。
C で書かれているライブラリを呼出したら、呼出されている間は C の速度ってことだからな。
それらと比較して多少遅い程度で戦えてるならかなり強いんじゃね。
他の実装がどうなってるか知らんけど。

**デフォルトの名無しさん** · 2016/08/10(水) 14:38:28.91

>>434
どういうraw文字リテラル?

**デフォルトの名無しさん** · 2016/08/10(水) 15:57:23.41

YAML のこれ https://ja.wikipedia.org/wiki/YAML#.E6.9C.80.E7.B5.82.E8.A1.8C.E3.81.AE.E6.94.B9.E8.A1.8C.E3.81.AE.E3.81.BF.E7.B6.AD.E6.8C.81.E3.81.97.E4.BB.96.E3.81.AF.E3.82.B9.E3.83.9A.E3.83.BC.E3.82.B9.E4.B8.80.E5.AD.97.E3.81.AB.E7.BD.AE.E6.8F.9B
とか思い出した。Lisp では知らないや。

**はちみつ餃子** ◆8X2XSCHEME · 2016/08/12(金) 02:03:20.00

Gauche 0.9.5 のリリースが近いみたいだよ

**デフォルトの名無しさん** · 2016/08/12(金) 02:04:26.52

まだメンテとかしてたのか…

**デフォルトの名無しさん** · 2016/08/12(金) 09:58:06.23

バージョン1にならないうちにプロジェクトが消滅しそう

**デフォルトの名無しさん** · 2016/08/12(金) 12:09:41.03

中の人が存命な限り続くだろう
本人が使ってるんだし

**はちみつ餃子** ◆8X2XSCHEME · 2016/08/13(土) 00:53:10.41

リリースの間隔は長いけど、かなりの頻度でコミットはされてるよ。

**デフォルトの名無しさん** · 2016/08/22(月) 19:03:07.53

Gaucheはschemeである限りschemeの1処理系にしかすぎない
schemeのノロノロした規定の縛りに従っていくのもアホらしいと感じているだろう
.NETに対応して誰もを唸らせるLispやSchemeという分類を超えた新たなLISP族が誕生してもいいんじゃないっか

**デフォルトの名無しさん** · 2016/08/22(月) 19:06:35.37

powershelがマルチプラットフォーム＆オープンソース化して化けたしここらで標準で使えるpowerLispっぽい何かが欲しいとこだに

**はちみつ餃子** ◆8X2XSCHEME · 2016/08/23(火) 12:58:56.94

JVM にとっての Clojure みたいな？
特定の VM に縛られる方が特定の言語仕様に縛られるよりあほらしくない？

.NET の世界でのスタンダードな LISP 系言語があったらいいなぁというのはわかるけど、
.NET なライブラリを呼び出すだけなら適当なバインディングを作れば Gauche からだって出来るので、
Scheme の仕様が足かせということはないと思う。

**デフォルトの名無しさん** · 2016/08/23(火) 19:12:17.79

ttps://github.com/clojure/clojure-clr
clojureは.net版もあるね,JVM版とバージョンは一緒だけど
clojureでよく使われているプロジェクトはjavaライブラリのjarに依存してるのも多いからどうなんだろ?

**はちみつ餃子** ◆8X2XSCHEME · 2016/08/24(水) 15:03:29.26

>>453 について意見した >>455 にもうちょっと意見を付け足し

どちらを軸にするかという問題だから、
Java の世界を軸にすれば厳密に Scheme の仕様に従おうとするといまいちなところは出てくるだろうし、
Scheme の仕様を軸にすれば Java (JVM) のデザインがクソザコに思えたりもするだろう。

Scheme からでも Java やら dotNET の機能は呼び出せるが、
単に呼び出せるというのと全体として違和感なく統合されているというのは別物なので、
dotNET ユーザにとっては dotNET の世界に合わせた LISP が欲しいというのは納得のいく意見だと思う。

でもそこで Scheme を引き合いに出されると違和感あるわ。
Gauche は別に dotNET を想定してデザインしたわけじゃないしハナから Scheme 処理系なんだから
軸足は Scheme にあるわけで dotNET 的に制約に感じられても当たり前の話。
勝手な評価軸で「アホらしい」なんてのはそれこそアホらしい。

**デフォルトの名無しさん** · 2016/08/24(水) 18:47:43.67

.netはc#,f#に集約されているので、S式使った組み込みDSL向けか、replなどのユーティリティー系しか用途がない気はする。

最近はnotebook形式のツールが増えてきたので、そっちも限られてきた気はするが。

**デフォルトの名無しさん** · 2016/08/24(水) 18:56:20.06

.netはDLRが出た時に.net言語の実装増えたけど、利用者少ないし、ほとんどがメンテできてないんじゃないかな
JVMだと使える処理系としてkawa、abclもメンテされてるはず。
それとリッチ・ヒッキーは.netでscheme実装やってみたけど、意図的にclojureからjvmに移行したという記憶が。

clojureは組み込みデータ型がJVMに寄ってるので、cljsもclojureclrも組み込みのデータ型で苦労してるし、clrは特にサードパーティーのライブラリが対応してなくて苦労してる。
ただ、ニュートラルにするとshenとかFantomみたいにあんまり他の言語と相互利用できなくなる。
clrは、unity使えるけどスマホで使えないし、WPF対応させたりしてるけどクロス環境では使えないみたいな話も。

JVMは末尾再帰辛いけどindyやgraalvm+truffleみたいにネタが増えてて実装オタク向けの新しい題材が増えてるし、他のVMでも.netよりもerlangのvmや、llvmあたりの方がまだ活発なイメージがある。

**デフォルトの名無しさん** · 2016/08/24(水) 22:03:15.08

>>459
> clojureは組み込みデータ型がJVMに寄ってるので、cljsもclojureclrも組み込みのデータ型で苦労してるし、clrは特にサードパーティーのライブラリが対応してなくて苦労してる。

なんでそういう勘違いしてるのか気になるな
clojureの組み込みリテラルは数値、シンボル,キーワード、文字列、キャラクタ、list、vector、dictionary(map)とsetでCLRでも問題無い奴しか無いよ

> clrは、unity使えるけどスマホで使えないし、WPF対応させたりしてるけどクロス環境では使えないみたいな話も。
スマホはiOSが実行時評価禁止してるからunity上でのclojure.clrは制限があるのは事実だけど、これも誤解が入っていると思うぞ

> JVMは末尾再帰辛いけどindyやgraalvm+truffleみたいにネタが増えてて実装オタク向けの新しい題材が増えてるし、他のVMでも.netよりもerlangのvmや、llvmあたりの方がまだ活発なイメージがある。
JVMは末尾再帰を完全に保証できないからclojureのrecurが生まれたのだけど、順序間違ってない？

**デフォルトの名無しさん** · 2016/08/25(木) 03:01:28.74

フォローありがとう。
unity+clojureclrってiosで動くようになったのか。

javaの規格では末尾再帰最適化はないけど、
ibmのj9 vmでは、末尾再帰最適化してくれる。

**デフォルトの名無しさん** · 2016/09/12(月) 17:44:10.20

S式はいつまで日陰なのか
なんでXMLは普及したのか
XMLの前身のHTMLはなぜS式ではなかったのか
無茶苦茶汚くなるスクリプト埋め込みやCSSとかをなぜ苦労してまで使うのか
そんなにS式が嫌か

**デフォルトの名無しさん** · 2016/09/12(月) 18:18:05.53

手習いの推薦図書で興味を惹かれたんだけど
物まね鳥きちんと読むと、どうなるの？
Lispをやるのにどんなご利益があるの？

**デフォルトの名無しさん** · 2016/10/08(土) 11:21:36.68

>そんなにS式が嫌か
はい

**デフォルトの名無しさん** · 2016/10/08(土) 12:09:44.18

括弧の対応わかんなくてインデントで対処したら
だったらインデントあれば括弧いらなくね？ってなって
いまでは立派なHaskeller

**デフォルトの名無しさん** · 2016/10/08(土) 17:17:37.57

ごめんなさい、殺さないで

**デフォルトの名無しさん** · 2016/10/08(土) 20:59:11.69

にわかHaskellerだけど立派ではないだろ盛るのもいいかげんにしろ

**はちみつ餃子** ◆8X2XSCHEME · 2016/10/08(土) 21:05:09.85

Gauche 0.9.5 出たよー

**デフォルトの名無しさん** · 2016/10/09(日) 01:16:51.64

いつまで0.9彷徨ってんだよ
そんなハードル高く設定して何になる

**デフォルトの名無しさん** · 2016/10/10(月) 23:42:14.48

今のバージョンを何と呼ぼうと手に入る機能は変わらないのに、バカなの？

**はちみつ餃子** ◆8X2XSCHEME · 2016/10/13(木) 14:55:07.45

ナンバーが 1 未満だと未完成という印象になっちゃうのかな？
バージョンナンバーの振り方はそれぞれのプロジェクトでのポリシーで決める話。
Gauche の場合はこういうマイルストーンが設定されてる。
http://practical-scheme.net/gauche/devinfo-j.html

たぶん作者が考える一通りの機能がこれだけということではあるんだろうけど、
バージョン 0.9.5 は 0.9.5 という完成品だし、 1 を過ぎたからってそれで終わりってわけでもない。
所詮は一区切りの目安。

**デフォルトの名無しさん** · 2016/10/13(木) 19:48:53.96

セマンティックバージョニングみたいなのがあるし、最近だと1.0を出さないのは個人で開発してるとおおいのかな？
昔はtexみたく収束していく系やってる人は多かったけど、やっぱり個人かね。

**デフォルトの名無しさん** · 2016/10/14(金) 01:22:40.11

というかそのドット別に小数点じゃないし・・・
混同するのは間違いないのでいっそコロンやセミコロンで区切ったほうが理解しやすいかもしれない

**デフォルトの名無しさん** · 2016/10/14(金) 10:16:22.13

いや、本来は小数点だったよ
「0.9の次だけどまだ未完成だから0.10にしたよー」とかやらかしたから信用を失っただけで

**デフォルトの名無しさん** · 2016/10/14(金) 18:32:55.43

>>474
具体的なソフト名挙げろや。普通 0.91 とかに行くだろ。

**デフォルトの名無しさん** · 2016/10/14(金) 19:07:47.56

社内業務ソフトですらバージョン番号が0.xなのってざらだと思うのだけどなぁ
1.0ってほぼこれで完璧的な意味で付ける会社もあるだろうし
(売り物のくせにVer 3の倍数から完璧の会社もあるけど：老舗のOS屋さんとか)
なお、1.0以降になるとちょっと仕様が変わっただけでメジャーバージョンが上がる会社もあるけど(猫科の動物の名前付ける所とか:Ver 9までクソだったような気もするけど)

ようするにバージョン番号って作者が自由に付ける物じゃないの？

**はちみつ餃子** ◆8X2XSCHEME · 2016/10/14(金) 19:53:07.72

>>476
自由でいいけど、ひとつのソフトは一貫した (わかりやすい) ルールを持っておいてほしくはあるね。

**デフォルトの名無しさん** · 2016/10/14(金) 21:35:46.95

まあ linux もいきなり　3.x になったり，よく分からない理由で 4.x になったり

**デフォルトの名無しさん** · 2016/10/14(金) 21:53:32.26

Windowsも10になったけど中身は8なんだろ？

**デフォルトの名無しさん** · 2016/10/15(土) 10:14:21.43

0-originでバージョン付けたっていいじゃない。

**デフォルトの名無しさん** · 2016/10/15(土) 21:27:25.53

0.x.yは劇的な変更があっても泣くなよ、という意味合いだと思っている

個人的にはセマンティックバージョニングを付けてもらえるとありがたい
1.x.yなら、機能追加でxを1つ増やして、バグ修正でyを1つ増やすってやつ
0.a.bは開発途中だから後方互換性は無くてもいいので、開発者が試行錯誤しているうちは1未満だとはっきり分かる

firefoxやchromeの馬鹿みたいなバージョン上げはマーケティングの意味合いが強くて好きになれない

**デフォルトの名無しさん** · 2016/10/15(土) 22:15:44.10

つーても実際非互換変更頻繁に入るから厳格に管理する意味ないだろ

**はちみつ餃子** ◆8X2XSCHEME · 2016/10/16(日) 02:21:56.19

仕様バグの修正なんかだと、バグ修正でもあるし、非互換な変更でもある。
ライブラリのバージョンにセマンティックバージョニングを採用した場合、
パッチバージョンの変更があったときにそのライブラリを使うアプリケーションが本当に正しく動くのかは
厳密にいえばライブラリの個別のバージョンを確認しないとわからんだろ。
あまりあてにならない。
ライブラリにバグがあってもそのバグの挙動に依存しているアプリケーションだってありうるわけで。

目安としてセマンティックバージョニングを導入するのは賛成だけど、厳密にしきれない部分はどうしてもあるわな。
そこらへんは柔軟に対処するしかしゃあねぇべ。

**デフォルトの名無しさん** · 2016/10/16(日) 09:37:20.54

>>482はJSブラウザエンジンの話な
何にしても各言語なりの界隈の慣習に則ればいい

**デフォルトの名無しさん** · 2016/10/16(日) 18:47:56.29

>>479
Windows8.1までは6.3とかだったけど
10は10.0が返ってくる

**デフォルトの名無しさん** · 2016/10/17(月) 06:02:40.67

そういうことにしちゃっただけで、実質8.xx(6.xx)みたいなもんでしょ

**デフォルトの名無しさん** · 2016/11/15(火) 14:34:16.46

http://lipn.univ-paris13.fr/~bennani/CSRank.html
コンピュータ関連国際会議ランキングをlispで検索すると
European Lisp Workshop
しかなかった

**デフォルトの名無しさん** · 2016/11/15(火) 22:07:24.81

https://en.m.wikipedia.org/wiki/International_Conference_on_Functional_Programming
時代の流れにより96年にFPCAとLFPがICFPに置き換えられた。

**デフォルトの名無しさん** · 2016/12/07(水) 03:48:27.70

これがリストのランクcにすら入ってないのは何故
もうじき締め切りだけど
http://www.european-lisp-symposium.org/

**デフォルトの名無しさん** · 2016/12/07(水) 10:57:02.71

何か革新的な話題無いの？

**デフォルトの名無しさん** · 2016/12/08(木) 08:26:21.07

Anything.el再起動と革新的話題では？

**デフォルトの名無しさん** · 2016/12/15(木) 23:40:28.38

>>462
つ WebAssembly

**デフォルトの名無しさん** · 2017/01/25(水) 16:59:16.79

>>492
命令セットの検討を優先したからとりあえず柔軟なS式ということにしただけで、
ずっとあれを使うつもりはないみたいだよ。

**デフォルトの名無しさん** · 2017/01/25(水) 17:18:28.01

ところで R7RS-Large は Red Edition (データ構造に関する部分) がワーキンググループの Wiki に上がってる。

http://trac.sacrideo.us/wg/wiki/RedEdition

ほぼ SRFI から名前を変えてそのまま導入する形になる模様。
今のところ Sagittarius が積極的にサポートしている。

http://compassoftime.blogspot.jp/2017/01/r7rs-large.html

Larceny もライブラリの名前を除いてサポートできているとのこと。

**デフォルトの名無しさん** · 2017/02/12(日) 07:48:00.04

並列処理で高速化できるlispってないの？
GPU使えるのはハーランだけ？

**デフォルトの名無しさん** · 2017/02/13(月) 18:51:16.49

>>495
高速ブン回しと違うけど、Lisp Flavoured Erlangとかだめ？
ttp://lfe.io

**デフォルトの名無しさん** · 2017/02/13(月) 19:49:20.99

これはclojureの資料だけど、いまのところfloatをSSE2に投げるみたいな、なんでもGPUに投げるみたいな仕組みはないんじゃないかな。

http://dragan.rocks/talks/EuroClojure2016/clojure-is-not-afraid-of-the-gpu.html

**SCHEME餃子** ◆8X2XSCHEME · 2017/02/13(月) 20:41:00.93

ある程度大きな単位でならバインディング作って投げてしまえばいいんだけど、
ちまちまやると境界を超える部分のオーバーヘッドで逆効果になったりするので、
本格的にやろうとすると処理系自体がサポートする必要はあると思う。

**デフォルトの名無しさん** · 2017/02/17(金) 09:12:11.58

Racketのプログラムを並列化して高速化したい。ハーランに書き直すのが1番手間かからずに高速化できるのだろうか

**デフォルトの名無しさん** · 2017/02/23(木) 05:43:04.17

Scheme:Schemeプログラマのレベル10

http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3AScheme%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9E%E3%81%AE%E3%83%AC%E3%83%99%E3%83%AB10

**デフォルトの名無しさん** · 2017/03/04(土) 17:46:48.41

『scheme手習い』読み始めた
この本自体はめっちゃ面白いけど実際に自分のPCでschemeを走らせる方法が全く分からないのはどうすれば

◆QZaw55cn4c · 2017/03/04(土) 17:50:05.86

>>501
goche を入れればよい

**デフォルトの名無しさん** · 2017/03/04(土) 18:14:56.86

>>502
ぐぐったらGaucheじゃないかってGoogleに怒られた
チュートリアルがないみたいだけど絶版の『プログラミングGauche』を買った方がいいの？

**デフォルトの名無しさん** · 2017/03/04(土) 19:28:05.44

プログラミングGaucheはそろそろ次版が欲しい

**デフォルトの名無しさん** · 2017/03/05(日) 09:40:39.32

>>501
特にこだわりが無ければ、Racketが最も簡単なのでおすすめ。
ダウンロードしてインストールするだけでプログラミングに必要な環境が全て整うぞ。

**デフォルトの名無しさん** · 2017/03/05(日) 15:16:43.40

>>505
簡単でいいね
言語選択はR5RSでok?

**デフォルトの名無しさん** · 2017/03/05(日) 18:35:17.08

>>506
オッケー

**SCHEME餃子** ◆8X2XSCHEME · 2017/03/06(月) 19:02:32.45

個人的にはそろそろ R7RS (の処理系) を前提にしてもいいんじゃないかと思ってるが、
総合的な開発環境の便利さとしては Racket が優勝だわな。
少なくとも初心者にすすめられるものとしては。

**デフォルトの名無しさん** · 2017/03/07(火) 15:34:16.05

>>508
> 個人的にはそろそろ R7RS (の処理系) を前提にしてもいいんじゃないかと思ってるが、

R7RSはsmallの範囲は言語仕様書のドラフトが提出されたというのを何かで見た覚えがあるが
R6RSで巨大化した範囲に対応largeの部分の仕様書はドラフトでも出たのか？
あれがまとまるとは思えんのだが

それに処理系側もR7RSへの対処は結局はsmallだけへの対応で終わる…R6RSが処理系屋からほとんど無視されたように…のでは、と
個人的には予想している
そしてその予想が正しいならば、R5RS対応の処理系を使う前提で十分な気がする
（R7RSで言語仕様をsmall/largeの２階層モデルにした意図が、Come back! R5RS! Good bye R6RS! X-p にあるのは明らかだからね）

**はつみつ餃子** ◆8X2XSCHEME · 2017/03/07(火) 15:59:23.09

>>509
Large の状況については >>494 の通り。
全部の議論が終わるのはまだかなり先のことになるだろうし、
処理系の対応がどうなるかはまだなんとも言えないところはあるのは確かだと思う。
でも、 R7RS Small については R5RS を少し拡張するにとどまったからこそ、
その程度の小さな差を導入することをためらわなくていいんじゃないかという意図だった。

R5RS でも十分といえば十分なのかもしれないけど
特にライブラリなんかは結局のところ R5RS 処理系でもそれぞれの処理系ごとに機構を持ってたりするし、
SRFI を使ったりするときに統一的な書き方ができた方が教える方もやりやすいよ。

**デフォルトの名無しさん** · 2017/03/07(火) 16:36:42.01

>>510
詳しい説明どうもありがとう
なるほど、そういうことですか、了解しました

**デフォルトの名無しさん** · 2017/03/27(月) 00:34:43.57

ここはスレチかもしれんがGo言語の勉強兼ねてR7RS片手にScheme処理系組んでみようとしてるけどトークナイザ書くの面倒すぎて心折れそう、お前らどうやってコード書くモチベ維持してるの？

**デフォルトの名無しさん** · 2017/03/27(月) 11:59:36.16

schemeレベルで面倒つったら他の演算子入りの言語じゃどうなるんだ

**デフォルトの名無しさん** · 2017/03/27(月) 12:19:08.00

トークナイザなら特に変わらん

**はつみつ餃子** ◆8X2XSCHEME · 2017/03/27(月) 13:04:02.91

>>512
最初から完全である必要はないよ。
数値を整数だけにして文字列や識別子のエスケープも全部省略くらいのものから始めたらいいと思う。
限定的にでも動くものが目の前にあればモチベーションを維持しやすい。

**デフォルトの名無しさん** · 2017/03/27(月) 16:27:52.97

>>515
なるほど、とりあえず簡単なとこからやるか

**デフォルトの名無しさん** · 2017/04/02(日) 12:22:30.38

通常のletのように使うだけでgensym済みのlet文を生成するマクロ用コードを作ったのですが、このような挙動をする関数名を教えてください。
(let ((foo (gensym))) `(let ((,foo ,x)) ...)
が
(my-let* ((foo x)) ...)
と書ける感じです。再発明でなく役立つのであればここにCC0で貼りたいです。

**デフォルトの名無しさん** · 2017/04/02(日) 12:34:36.86

On Lisp に with-gensyms っていうマクロが載ってるけど、
それとは違う？

**デフォルトの名無しさん** · 2017/04/02(日) 12:49:44.85

with-gensymsではたぶんこうなると思います。
(with-gensyms (foo) `(let ((,foo ,x)) ...))

**デフォルトの名無しさん** · 2017/04/02(日) 13:06:11.52

突然死しないうちにとりあえず貼りますね。
アカウントは消すのでいいものであればbase64で書き残します。
ttps://gist.github.com/lla/f9244aefb7eee18db4cd

**デフォルトの名無しさん** · 2017/04/02(日) 19:23:02.31

レキシカルスコープのletやlet*でgensym必要なの？
使い道が良く判らない

**デフォルトの名無しさん** · 2017/04/03(月) 10:05:01.53

こういう時に要ると思うのですが...。要りませんか？
ttp://www.sampou.org/scheme/t-y-scheme/t-y-scheme-Z-H-10.html#node_sec_8.2

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

要るよ