Lisp Scheme Part40 [転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
>>429
"foo
bar
baz"
を
"foobarbaz"
にするってこと？ >>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の開催はよくわからない 例えばリージョンを指定して
(replace-regexp "\n" "" nil (region-beginning) (region-end))
とするとか。 こういう改行を自動的にオミットしてくれるraw文字リテラルとか言語によってはあるよね。 バックスラッシュで改行をエスケープしたらできました
ありがとうございます Racketのメモリ使用効率が最近、劇的向上したと聞いたがソースが見つからない 適当なコードをプロファイラ付きで動かしてみれば自分で確かめるのも簡単にできそうに思うが scheme workshop のホームページが落ちてる python のdoctestっぽいのが
コメント領域
#|
...
|#
で囲まれた範囲に書かれている
https://github.com/JeffBezanson/femtolisp/blob/master/examples/bq.scm
こういうテストの記述方法使えるscheme処理系って他にないものでしょうか >>440
doctest ではないけど、同じファイルにテストを書ける方法がある。
SRFI-22 で、 main 手続きがあるとそこをエントリーポイントにする機能があるんだが、
Gauche では -m オプションでモジュール名を指定すると
そのモジュール内にある main (通常は実行されることはない) を実行できる。
ライブラリとして書いたものをスクリプトとしても実行できる仕組みなんだけど、
実際のところそういう使い方は普通はしないので main にテストを書いておくという使い方も出来る。
あるいは、 -F オプションの有無で cond-expand を使って分岐してテスト部分を走らせるという方法もある。 Clojureだと関数定義にmeta情報としてtestを登録できるけど
Schemeのマクロでtest呼び出し可能なdefine-with-testみたいなの作れないものなの？(あたしゃSchemeいぢった事ないのでわからん) 文字列の取出しや結合を繰り返すベンチだな。
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 の速度ってことだからな。
それらと比較して多少遅い程度で戦えてるならかなり強いんじゃね。
他の実装がどうなってるか知らんけど。 Gauche 0.9.5 のリリースが近いみたいだよ バージョン1にならないうちにプロジェクトが消滅しそう 中の人が存命な限り続くだろう
本人が使ってるんだし リリースの間隔は長いけど、かなりの頻度でコミットはされてるよ。 Gaucheはschemeである限りschemeの1処理系にしかすぎない
schemeのノロノロした規定の縛りに従っていくのもアホらしいと感じているだろう
.NETに対応して誰もを唸らせるLispやSchemeという分類を超えた新たなLISP族が誕生してもいいんじゃないっか powershelがマルチプラットフォーム＆オープンソース化して化けたしここらで標準で使えるpowerLispっぽい何かが欲しいとこだに JVM にとっての Clojure みたいな？
特定の VM に縛られる方が特定の言語仕様に縛られるよりあほらしくない？
.NET の世界でのスタンダードな LISP 系言語があったらいいなぁというのはわかるけど、
.NET なライブラリを呼び出すだけなら適当なバインディングを作れば Gauche からだって出来るので、
Scheme の仕様が足かせということはないと思う。 ttps://github.com/clojure/clojure-clr
clojureは.net版もあるね,JVM版とバージョンは一緒だけど
clojureでよく使われているプロジェクトはjavaライブラリのjarに依存してるのも多いからどうなんだろ? >>453 について意見した >>455 にもうちょっと意見を付け足し
どちらを軸にするかという問題だから、
Java の世界を軸にすれば厳密に Scheme の仕様に従おうとするといまいちなところは出てくるだろうし、
Scheme の仕様を軸にすれば Java (JVM) のデザインがクソザコに思えたりもするだろう。
Scheme からでも Java やら dotNET の機能は呼び出せるが、
単に呼び出せるというのと全体として違和感なく統合されているというのは別物なので、
dotNET ユーザにとっては dotNET の世界に合わせた LISP が欲しいというのは納得のいく意見だと思う。
でもそこで Scheme を引き合いに出されると違和感あるわ。
Gauche は別に dotNET を想定してデザインしたわけじゃないしハナから Scheme 処理系なんだから
軸足は Scheme にあるわけで dotNET 的に制約に感じられても当たり前の話。
勝手な評価軸で「アホらしい」なんてのはそれこそアホらしい。 .netはc#,f#に集約されているので、S式使った組み込みDSL向けか、replなどのユーティリティー系しか用途がない気はする。
最近はnotebook形式のツールが増えてきたので、そっちも限られてきた気はするが。 .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あたりの方がまだ活発なイメージがある。 >>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が生まれたのだけど、順序間違ってない？ フォローありがとう。
unity+clojureclrってiosで動くようになったのか。
javaの規格では末尾再帰最適化はないけど、
ibmのj9 vmでは、末尾再帰最適化してくれる。 S式はいつまで日陰なのか
なんでXMLは普及したのか
XMLの前身のHTMLはなぜS式ではなかったのか
無茶苦茶汚くなるスクリプト埋め込みやCSSとかをなぜ苦労してまで使うのか
そんなにS式が嫌か 手習いの推薦図書で興味を惹かれたんだけど
物まね鳥きちんと読むと、どうなるの？
Lispをやるのにどんなご利益があるの？ 括弧の対応わかんなくてインデントで対処したら
だったらインデントあれば括弧いらなくね？ってなって
いまでは立派なHaskeller にわかHaskellerだけど立派ではないだろ盛るのもいいかげんにしろ いつまで0.9彷徨ってんだよ
そんなハードル高く設定して何になる 今のバージョンを何と呼ぼうと手に入る機能は変わらないのに、バカなの？ ナンバーが 1 未満だと未完成という印象になっちゃうのかな？
バージョンナンバーの振り方はそれぞれのプロジェクトでのポリシーで決める話。
Gauche の場合はこういうマイルストーンが設定されてる。
http://practical-scheme.net/gauche/devinfo-j.html
たぶん作者が考える一通りの機能がこれだけということではあるんだろうけど、
バージョン 0.9.5 は 0.9.5 という完成品だし、 1 を過ぎたからってそれで終わりってわけでもない。
所詮は一区切りの目安。 セマンティックバージョニングみたいなのがあるし、最近だと1.0を出さないのは個人で開発してるとおおいのかな？
昔はtexみたく収束していく系やってる人は多かったけど、やっぱり個人かね。 というかそのドット別に小数点じゃないし・・・
混同するのは間違いないのでいっそコロンやセミコロンで区切ったほうが理解しやすいかもしれない いや、本来は小数点だったよ
「0.9の次だけどまだ未完成だから0.10にしたよー」とかやらかしたから信用を失っただけで >>474
具体的なソフト名挙げろや。普通 0.91 とかに行くだろ。 社内業務ソフトですらバージョン番号が0.xなのってざらだと思うのだけどなぁ
1.0ってほぼこれで完璧的な意味で付ける会社もあるだろうし
(売り物のくせにVer 3の倍数から完璧の会社もあるけど：老舗のOS屋さんとか)
なお、1.0以降になるとちょっと仕様が変わっただけでメジャーバージョンが上がる会社もあるけど(猫科の動物の名前付ける所とか:Ver 9までクソだったような気もするけど)
ようするにバージョン番号って作者が自由に付ける物じゃないの？ >>476
自由でいいけど、ひとつのソフトは一貫した (わかりやすい) ルールを持っておいてほしくはあるね。 まあ linux もいきなり 3.x になったり，よく分からない理由で 4.x になったり Windowsも10になったけど中身は8なんだろ？ 0-originでバージョン付けたっていいじゃない。 0.x.yは劇的な変更があっても泣くなよ、という意味合いだと思っている
個人的にはセマンティックバージョニングを付けてもらえるとありがたい
1.x.yなら、機能追加でxを1つ増やして、バグ修正でyを1つ増やすってやつ
0.a.bは開発途中だから後方互換性は無くてもいいので、開発者が試行錯誤しているうちは1未満だとはっきり分かる
firefoxやchromeの馬鹿みたいなバージョン上げはマーケティングの意味合いが強くて好きになれない つーても実際非互換変更頻繁に入るから厳格に管理する意味ないだろ 仕様バグの修正なんかだと、バグ修正でもあるし、非互換な変更でもある。
ライブラリのバージョンにセマンティックバージョニングを採用した場合、
パッチバージョンの変更があったときにそのライブラリを使うアプリケーションが本当に正しく動くのかは
厳密にいえばライブラリの個別のバージョンを確認しないとわからんだろ。
あまりあてにならない。
ライブラリにバグがあってもそのバグの挙動に依存しているアプリケーションだってありうるわけで。
目安としてセマンティックバージョニングを導入するのは賛成だけど、厳密にしきれない部分はどうしてもあるわな。
そこらへんは柔軟に対処するしかしゃあねぇべ。 >>482はJSブラウザエンジンの話な
何にしても各言語なりの界隈の慣習に則ればいい >>479
Windows8.1までは6.3とかだったけど
10は10.0が返ってくる そういうことにしちゃっただけで、実質8.xx(6.xx)みたいなもんでしょ http://lipn.univ-paris13.fr/~bennani/CSRank.html
コンピュータ関連国際会議ランキングをlispで検索すると
European Lisp Workshop
しかなかった >>492
命令セットの検討を優先したからとりあえず柔軟なS式ということにしただけで、
ずっとあれを使うつもりはないみたいだよ。 ところで R7RS-Large は Red Edition (データ構造に関する部分) がワーキンググループの Wiki に上がってる。
http://trac.sacrideo.us/wg/wiki/RedEdition
ほぼ SRFI から名前を変えてそのまま導入する形になる模様。
今のところ Sagittarius が積極的にサポートしている。
http://compassoftime.blogspot.jp/2017/01/r7rs-large.html
Larceny もライブラリの名前を除いてサポートできているとのこと。 並列処理で高速化できるlispってないの？
GPU使えるのはハーランだけ？ >>495
高速ブン回しと違うけど、Lisp Flavoured Erlangとかだめ？
ttp://lfe.io ある程度大きな単位でならバインディング作って投げてしまえばいいんだけど、
ちまちまやると境界を超える部分のオーバーヘッドで逆効果になったりするので、
本格的にやろうとすると処理系自体がサポートする必要はあると思う。 Racketのプログラムを並列化して高速化したい。ハーランに書き直すのが1番手間かからずに高速化できるのだろうか 『scheme手習い』読み始めた
この本自体はめっちゃ面白いけど実際に自分のPCでschemeを走らせる方法が全く分からないのはどうすれば >>502
ぐぐったらGaucheじゃないかってGoogleに怒られた
チュートリアルがないみたいだけど絶版の『プログラミングGauche』を買った方がいいの？ >>501
特にこだわりが無ければ、Racketが最も簡単なのでおすすめ。
ダウンロードしてインストールするだけでプログラミングに必要な環境が全て整うぞ。 >>505
簡単でいいね
言語選択はR5RSでok? 個人的にはそろそろ R7RS (の処理系) を前提にしてもいいんじゃないかと思ってるが、
総合的な開発環境の便利さとしては Racket が優勝だわな。
少なくとも初心者にすすめられるものとしては。 >>508
> 個人的にはそろそろ R7RS (の処理系) を前提にしてもいいんじゃないかと思ってるが、
R7RSはsmallの範囲は言語仕様書のドラフトが提出されたというのを何かで見た覚えがあるが
R6RSで巨大化した範囲に対応largeの部分の仕様書はドラフトでも出たのか？
あれがまとまるとは思えんのだが
それに処理系側もR7RSへの対処は結局はsmallだけへの対応で終わる…R6RSが処理系屋からほとんど無視されたように…のでは、と
個人的には予想している
そしてその予想が正しいならば、R5RS対応の処理系を使う前提で十分な気がする
（R7RSで言語仕様をsmall/largeの２階層モデルにした意図が、Come back! R5RS! Good bye R6RS! X-p にあるのは明らかだからね） >>509
Large の状況については >>494 の通り。
全部の議論が終わるのはまだかなり先のことになるだろうし、
処理系の対応がどうなるかはまだなんとも言えないところはあるのは確かだと思う。
でも、 R7RS Small については R5RS を少し拡張するにとどまったからこそ、
その程度の小さな差を導入することをためらわなくていいんじゃないかという意図だった。
R5RS でも十分といえば十分なのかもしれないけど
特にライブラリなんかは結局のところ R5RS 処理系でもそれぞれの処理系ごとに機構を持ってたりするし、
SRFI を使ったりするときに統一的な書き方ができた方が教える方もやりやすいよ。 >>510
詳しい説明どうもありがとう
なるほど、そういうことですか、了解しました ここはスレチかもしれんがGo言語の勉強兼ねてR7RS片手にScheme処理系組んでみようとしてるけどトークナイザ書くの面倒すぎて心折れそう、お前らどうやってコード書くモチベ維持してるの？ schemeレベルで面倒つったら他の演算子入りの言語じゃどうなるんだ >>512
最初から完全である必要はないよ。
数値を整数だけにして文字列や識別子のエスケープも全部省略くらいのものから始めたらいいと思う。
限定的にでも動くものが目の前にあればモチベーションを維持しやすい。 >>515
なるほど、とりあえず簡単なとこからやるか 通常のletのように使うだけでgensym済みのlet文を生成するマクロ用コードを作ったのですが、このような挙動をする関数名を教えてください。
(let ((foo (gensym))) `(let ((,foo ,x)) ...)
が
(my-let* ((foo x)) ...)
と書ける感じです。再発明でなく役立つのであればここにCC0で貼りたいです。 On Lisp に with-gensyms っていうマクロが載ってるけど、
それとは違う？ with-gensymsではたぶんこうなると思います。
(with-gensyms (foo) `(let ((,foo ,x)) ...)) 突然死しないうちにとりあえず貼りますね。
アカウントは消すのでいいものであればbase64で書き残します。
ttps://gist.github.com/lla/f9244aefb7eee18db4cd レキシカルスコープのletやlet*でgensym必要なの？
使い道が良く判らない こういう時に要ると思うのですが...。要りませんか？
ttp://www.sampou.org/scheme/t-y-scheme/t-y-scheme-Z-H-10.html#node_sec_8.2 `((lambda (foo) ...) ,x)と展開すりゃ要らないんじゃないの schemeでは衛生マクロを使うので不要だと思います。
commonlispでも仕様が中途半端なので不要だと思います。
そのまま書くのと手間が変わらないですし。 (define-macro (my-or a b) `((lambda (x y) (if x x y)) ,a ,b))
>>524 こうですか？ 副作用に対してはより良いと思いますが、関数化した時lambdaが二重になって連続使用した時嬉しくないと思います。
>>525 仕様が中途半端という点、gensymのプレフィックスがないこと以外で何か不都合の起きる文があれば知りたいです。それともgensym名の変数は込み入った文や副作用でセットすることが多く、最初に全てのシンボルに値を入れられると不便ということでしょうか？
ネストが一つ減る程度の関数は不要ですか？ そもそもgensymがなんで必要なのかを理解しているのかという ■ このスレッドは過去ログ倉庫に格納されています
