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/

**デフォルトの名無しさん** · 2015/12/16(水) 14:27:37.96

(管リスト)

**デフォルトの名無しさん** · 2015/12/17(木) 08:55:39.39

Schemeを勉強しだす→「なんてシンプルかつエレガントなんだ！これさえあれば何でもできそうだ！」
Schemeで何か作ろうとしだす→「なんて面倒なんだ！CommonLispみたいに統一してくれよ！」

「R{5,6,7}RS準拠だぞ」
「けどここは各実装で好きにしていいぞ」
「皆自分でSchemeを作るんだぞ」

**デフォルトの名無しさん** · 2015/12/17(木) 19:15:09.86

Scheme は「俺自身が Scheme になる事だ」が奥義だから

**デフォルトの名無しさん** · 2015/12/17(木) 23:13:43.49

(もしもし？もしもし？ただいま留守にしておりますお掛けになった電話番号は)

**デフォルトの名無しさん** · 2015/12/18(金) 00:12:22.66

> 俺自身がscheme
それは違うが

**デフォルトの名無しさん** · 2015/12/18(金) 02:10:52.71

真の Scheme は世界で俺だけだもの

**デフォルトの名無しさん** · 2015/12/18(金) 02:18:32.82

「俺の母語はschemeだぞい」とかいうなら分かるんだけど。
俺がschemeってどういうことよ？もっと具体的に。

**デフォルトの名無しさん** · 2015/12/18(金) 06:05:40.32

俺がガンダムだ！的な。

**デフォルトの名無しさん** · 2015/12/18(金) 11:39:18.75

今度生まれる時は側溝に生まれたい的な

**デフォルトの名無しさん** · 2015/12/18(金) 12:10:58.73

マジレスするとオサレマンガの台詞

**デフォルトの名無しさん** · 2015/12/18(金) 21:41:51.11

> 俺自身がscheme
これは自分にはかなり納得がいく言い方だった。
自分はC++が主なんだけど、schemeを学んでから、その知見を取り入れて、
C++のスキルが顕著に上がったと思う。
自分の書くコードの質も、先輩の書いたコードに対する読解力も。
なんというか、schemeで考えてC++で書くようになったというか。

**デフォルトの名無しさん** · 2015/12/20(日) 20:34:16.08

lispの入門書って何がおすすめなん？Land of Lisp？The little schemer(scheme手習い)？

**デフォルトの名無しさん** · 2015/12/20(日) 20:39:06.04

>>292
(質問スレに書くべきだったけど許して)

**デフォルトの名無しさん** · 2015/12/20(日) 21:58:56.19

Realm of Racketの翻訳って誰かやってんのかな？shiroさん？

**デフォルトの名無しさん** · 2015/12/20(日) 22:10:47.02

>>292
漠然とした本なんかより処理系のソースコード
かといってgcc級の糞でかいの読めっても無理だろうから規模がちっこいやつね
ついでにその処理系で動作確認もできるし

**デフォルトの名無しさん** · 2015/12/20(日) 22:36:57.89

>>295
ありがとうございます

**デフォルトの名無しさん** · 2015/12/20(日) 22:38:45.09

>>292
プログラミングGauche

**デフォルトの名無しさん** · 2015/12/21(月) 02:08:17.88

>>292
前者は読んでておもしろい、後者はまじめに勉強にはなる
お金あるならどっちも読むと良いよ

あとは上の方に書かれてるけどソースコードはとっても勉強になるけどこれは結構しんどいと思うな(割と時間かかるから)。

**はちみつ餃子** ◆8X2XSCHEME · 2015/12/21(月) 04:18:41.62

基本的な考え方くらいはおさえとかないとソースから意図を読むのは難しいと思うよ。

**デフォルトの名無しさん** · 2015/12/21(月) 06:40:36.36

>>298
>>299
ありがとうございます、やはりソースをそのまま読むのは辛いですよね…

**デフォルトの名無しさん** · 2015/12/21(月) 23:04:52.99

ttp://www.amazon.co.jp/dp/B018KXY55Y/
「ＬＩＳＰでわかる！プログラミング・自由に生きるための英語学習法」
何この…何これ?
kindleでサンプル見たんだけど、これで理解できる初学者いるの?

**デフォルトの名無しさん** · 2015/12/22(火) 00:34:26.45

一人称が予な著者らしい
https://twitter.com/tadachika_j

**デフォルトの名無しさん** · 2015/12/22(火) 04:34:23.25

個人出版のデジタル本で1200円は高いな。
50円なら買ったかもしれないのに。

**デフォルトの名無しさん** · 2015/12/22(火) 16:23:19.45

>>301
Kindle出版のオナニー書籍にしか見えないんだけど内容どうだった？(prime会員だからタダでよめるんだけどなんか触るのイヤな感じ)

**デフォルトの名無しさん** · 2015/12/23(水) 14:03:22.77

miniKanrenの日本語解説本
誰も書かないなら個人出版で出しちゃうぞ

**デフォルトの名無しさん** · 2015/12/23(水) 14:48:16.43

>>304
サンプルの範囲では
「○○が出来ます」＋コードサンプル
で１㌻
それが延々続いてた
目次見るとそこそこ解説もコードも書かなきゃいけなさそうなことも取り扱っているはずなんだが

**デフォルトの名無しさん** · 2015/12/27(日) 21:55:10.69

自分もサンプル版を読んでみたけど、言語の解説という雰囲気ではなく、自分の勉強した内容を箇条書きっぽく書いてあるように感じた。
サンプルは最初の方しか読めないから、LISPそのものの説明のところだけしか読めてないけど、後半の応用部分は面白くなる可能性はあるかもしれないな。

英語学習法の部分については、
http://primitive-lisp.blog.so-net.ne.jp
独学でこのくらい書けるようになるのであればスゴイと思うし、ブログを日本から発信するのには十分かと。
でもネイティブの人はカタコトのように感じるレベル。

**307** · 2015/12/27(日) 21:56:57.03

英語学習法の部分はサンプルに入ってないので、自分テキトーなことを言ってるぜ！？

**デフォルトの名無しさん** · 2015/12/28(月) 08:21:49.27

Lispの別スレ出来てる

**デフォルトの名無しさん** · 2015/12/28(月) 09:49:46.17

キチガイコテスレじゃん

**デフォルトの名無しさん** · 2015/12/31(木) 23:31:36.96

Deep Learningの人達はpythonフレームワークを乱立させてるけどlispのマクロ下位互換マクロ作ってるだけなのにいつ気がつくんだろ。lisp使えばフレームワークとかそもそも必要ないのに

**デフォルトの名無しさん** · 2016/01/01(金) 03:49:37.78

フレームワークを乱立させやすい言語は流行る
Lispもそうだった

**デフォルトの名無しさん** · 2016/01/01(金) 16:20:50.48

え、あ、うん

**デフォルトの名無しさん** · 2016/01/04(月) 02:33:01.83

Theanoとかlispで書き直したらかなりスッキリするのに
ごちゃごちゃしすぎ

**デフォルトの名無しさん** · 2016/01/04(月) 17:11:28.45

他人の書いたpythonコードを解析しないといけなくなって
「めんどくさい
何でLispで書かないんだ
解析させられる俺の身にもなれ
Lispなら長さが半分以下の読みやすいコードになるのに」
という感情がとても高まってきている

**デフォルトの名無しさん** · 2016/01/05(火) 12:25:36.29

お前が書いたlispのコードの方がもっとひどいんだがｗ

**デフォルトの名無しさん** · 2016/01/06(水) 02:03:24.51

windows内蔵言語のvbscriptでschemeモドキを作ろうと目論んでる
つってもちゃんとやるのはマクロと末尾再帰だけでね
variant型使ったリスト処理がどんだけ遅くなるか見ものだ

**デフォルトの名無しさん** · 2016/01/08(金) 22:26:33.75

100Gぐらいのメモリーに入りきらないデータを扱う時にpythonではジェネレター式というのを使うけどschemeやlispではどういうふうにするの？

**はちみつ餃子** ◆8X2XSCHEME · 2016/01/09(土) 00:13:08.70

典型的なのはストリーム (srfi-41)
http://srfi.schemers.org/srfi-41/srfi-41.html

ジェネレータの形にする場合もある。
http://practical-scheme.net/gauche/man/?l=jp&;p=gauche.generator

Gauche だと遅延シーケンスがある。
でも、これは処理系自体に組み込みじゃないと後付けでは難しいので遅延リストに依存したコードは移植性に難があるかもしれない。
http://practical-scheme.net/gauche/man/?l=jp&;p=%E9%81%85%E5%BB%B6%E3%82%B7%E3%83%BC%E3%82%B1%E3%83%B3%E3%82%B9

単なるバイト列やテキストであればカスタムポートも使いやすいと思う。

**デフォルトの名無しさん** · 2016/01/14(木) 11:57:12.25

https://github.com/dherman/c.rkt
これでC言語のプログラムを自由に加工したりできるっぽいのだけど
ドキュメントらしきものがない
誰かexample usageみたいなものどこかにないか知りませんか？
使えればかなり便利そうなんだけど

**デフォルトの名無しさん** · 2016/01/14(木) 13:17:40.77

Racket はなんだか独自の世界で生きてるよね

**はちみつ餃子** ◆8X2XSCHEME · 2016/01/14(木) 17:10:36.81

>>320
拡張子が scrbl のファイルはドキュメントだぞ。
Scribble で html などに変換できるはず。

**デフォルトの名無しさん** · 2016/01/16(土) 22:19:21.86

Edi Weitzの新著の書評誰かplz.

**デフォルトの名無しさん** · 2016/01/19(火) 19:19:06.15

http://cl21.org/

**デフォルトの名無しさん** · 2016/01/19(火) 22:51:56.91

>>324
いや違うと思う。CLって多分思考（若しくは試行）ツールなんだと思うよ
俺が使いこなせないのは普段から抽象を扱ったりしてないから

**はちみつ餃子** ◆8X2XSCHEME · 2016/01/26(火) 01:38:54.53

>>323
http://clfreaks.org/post/137885712779/12-common-lisp-recipes-plus

**デフォルトの名無しさん** · 2016/03/20(日) 14:40:59.70

schmeme 手習いを反復してやってます
(cond ((eq? a (car lat)) ....
で eq? が真を返すときの実行文の文法がわかりません

教科書では
(cond ((eq? a (car lat))(cdr lat))
となっていますが
(cond ((eq? a (car lat))(print "abc")(cdr lat))
と真の時の従属節に関数実行のS式を追加することはOKでしょうか？

目的はデバッグのため
処理系はgauche です，プログラミングgaucheを手元に置いていますがよく読めてません
よろしくお願いいたします

**デフォルトの名無しさん** · 2016/03/20(日) 21:20:49.05

beginすればいいんじゃね

**デフォルトの名無しさん** · 2016/03/20(日) 21:41:03.51

>>328
if のときじゃなくて cond のときはどうでしょうか？

**デフォルトの名無しさん** · 2016/03/21(月) 00:04:00.00

>>329
condはifとbeginに置き換えられる
condをマクロとして実装してる処理系は多い
まず処理系のソースを見てごらんよ
(cond (test1 body1) (test2 body2) (else bodyn))は
(if test1 (begin body1) (if test2 (begin body2) (begin bodye)))
に一旦展開された後で項書き換えとかコンパイルとかされる
要するにcondのbody節は複文相当で最後の式の値が全体の式の値になる
構文が判らないレベルなら教科書は一旦捨てて処理系のソース読んだ方が早い

**デフォルトの名無しさん** · 2016/03/21(月) 00:27:45.71

ちなみにschemeはマクロを除いて基本構文は5つしか必要ない
define lambda set! if beginだったかな？
でも厳密にはquote関係も数に入れると10個ぐらいかもしれない
それ以外は全て上の5構文を組み合わせたマクロとして定義できる
つまり上の5構文だけマスターしとけばよい

例えばletがマクロなら(let((var value)) ～)は((lambda(var) ～)value)
のように意味を全く違えずに置き換えられる
残りのマクロも同様に基本構文への展開形を連想できるようになれば
schemeの基本はマスターしたと思ってよい

ただし肝心のschemeのマクロの定義は手段が沢山あってカオスなので
schemeマクロの闇については自分で調べて下さい
gaucheなら大きく分けて2つだろうけど

**はちみつ餃子** ◆8X2XSCHEME · 2016/03/21(月) 02:54:24.39

最近の Gauche には explicit renaming マクロ変換器が入ってるよ。

**デフォルトの名無しさん** · 2016/03/21(月) 23:00:02.23

ノートぱちょこん買い替える非業界人なんだけど、最近話題沸騰中の
LispとSchemeにちょっと興味があって。やっぱりマックにしたほうが
幸せになれるんでせうか？それとも、今までのぱちょこんをLinixに
したほうがいいのかな？

**デフォルトの名無しさん** · 2016/03/22(火) 00:06:38.20

割とどうでもいい

**デフォルトの名無しさん** · 2016/03/22(火) 10:26:28.38

マックにArchLinux入れろ

**デフォルトの名無しさん** · 2016/03/22(火) 13:25:51.72

>>333
LispとSchemeで遊びたいならWindowsでもMacでも好きな方買って大丈夫
WindowsならWindowsに適したものが、MacだとUnix処理系から普通にって感じで入れられるよ。

**デフォルトの名無しさん** · 2016/03/22(火) 13:35:28.39

最近どこで話題沸騰中なんだ？

**デフォルトの名無しさん** · 2016/03/22(火) 13:36:45.17

Windowsでコーディングとか正気か

**デフォルトの名無しさん** · 2016/03/22(火) 14:50:32.81

Gauche で OpenGL 使うときは Windows の方がよい

**はちみつ餃子** ◆8X2XSCHEME · 2016/03/22(火) 18:32:27.01

メモリを多めに積んだやつに VMware なり Virtual PC なりの仮想化ソフトを入れて使い分ければいいよ。

**デフォルトの名無しさん** · 2016/03/22(火) 20:45:35.89

レスありがとうございます。質問者です。
やっぱりマックがいいという意見が多いみたいですね。
そろそろ新型出るという噂もあるようなので様子見て買ってみたいです。
LinuxはArchってのがいいんですかね？
昔のスラックウェアみたいなかんじなのかな。古いPCでも遊べそうですね。

**デフォルトの名無しさん** · 2016/03/22(火) 21:21:52.81

・・・！？

**デフォルトの名無しさん** · 2016/03/23(水) 01:26:34.91

Lispで書かれた対話botか？！

**デフォルトの名無しさん** · 2016/03/24(木) 16:51:59.81

はじめてのLisp関数型プログラミング――ラムダ計算からリファクタリングまで一気にわかる (Software Design plus) 五味弘
ていう本が出てるけど、これはISLispなの？CL？

**デフォルトの名無しさん** · 2016/03/24(木) 17:29:50.47

>>344に限らず本スレの皆様への質問とお願い

> これはISLispなの？CL？

そもそもISLispを主たる対象とした日本語で書かれた本（言語仕様の詳解中心でもプログラミング中心でもどちらでも可）って
（個人や大学・研究所などのWebサイトにPDFファイル等の形でアップされているとかでなく印刷され商業的に通常の書店で
購入可能な形で販売されているという意味で）出版されているのですか？

日本語でLispの本というとSchemeかCLかしか存在しない（英語圏でも状況は変わらない）と個人的には思っていたのですが？
日本語に限らず英語でも構わないのでISLispを主題とした書籍をご存知でしたら教えて下さい

**デフォルトの名無しさん** · 2016/03/24(木) 18:12:32.28

ISLisp は、Lisp言語のISO標準であり、1997年にISO規格が制定されました。
ISLispは、業界標準となっていたCommon Lisp の言語仕様の巨大さに対して、
処理系の効率と学習・利用の容易さを向上するために, Common Lispを継承
しつつ EuLisp, Le Lisp, Scheme を参考としてコンパクトで一貫性のある
言語を目標に開発されました。

とあるけど、そういえばISLispの本って見たことないかも。

**デフォルトの名無しさん** · 2016/03/24(木) 18:48:59.27

ISLisp、惹句はいいんだど、いかんせんまともな実装が無いのがな。

**デフォルトの名無しさん** · 2016/03/24(木) 23:12:30.66

著者「関数型おしえます！」(お？どれどれ)
著者「Lisp最高です！」(あ、うん)
著者「…islispﾃﾞｽ…」(は？！なにそれ？伊豆lisp?)

ブロガーA「良著なのでコードをschemeで書きなおしました」(いいねえ)
ブロガーB「haskellでかきました」(うおおおおおおお！！！！！)

という反応になるよね。一般的には。
common lispかschemeで書き直したものをHPにアップすべきだと思う。

**デフォルトの名無しさん** · 2016/03/25(金) 01:17:44.26

せめて伊豆用slimeぐらい用意しないと女子高生には読んでもらえないと思うんだ

**デフォルトの名無しさん** · 2016/03/25(金) 01:47:25.19

はじめてのLisp関数型プログラミング、昨日買ったばかりなんだけど
ハズレ感が半端ない

**デフォルトの名無しさん** · 2016/03/25(金) 03:50:58.11

で、ISLispなんですか？

**デフォルトの名無しさん** · 2016/03/25(金) 15:57:20.68

ISLisp でggrと「ISLISPを使うべきでないたった1つの理由」がトップに並ぶ哀しさよ

**デフォルトの名無しさん** · 2016/03/27(日) 18:34:21.16

サンプルプログラムダウンロードしてみればわかるのでは。

**デフォルトの名無しさん** · 2016/03/27(日) 18:46:04.64

ちなみに本の最初の方ではclisp導入してた。

**デフォルトの名無しさん** · 2016/03/27(日) 18:57:11.14

最近は、RHがclojureでうまく整理して、関数型含めてjsに広まる概念もあったりする。

逆の流れでいうとtransducerをhaskellで説明しようとしたけどちょっと足りない話。
https://reddit.com/r/haskell/comments/2cv6l4/clojures_transducers_are_perverse_lenses/

いまだとshapeless使えば静的な型検査通る可変な型扱うコレクションつくれるらしいので、上のやつみたいなのも着実に減っててるとは思う。
https://github.com/mandubian/scaledn

結局のところC#などにもそうやって取り込まれてるんじゃないかなと。
react(.js)もphpのテンプレートエンジンの置き換えからだそうで。

**デフォルトの名無しさん** · 2016/03/27(日) 20:51:20.75

clojure が lisp方言として紹介されてると違和感がある

**デフォルトの名無しさん** · 2016/03/27(日) 21:15:00.46

>>356
すまぬが理由がわからないのでkwsk解説を求む

**デフォルトの名無しさん** · 2016/03/27(日) 21:24:01.32

>>357
・特に [ ] のあたりの文法が違うのでLispの資産を移行できないから
・Lisp の　( ) の対応に慣れた人には、罠のようにはりめくらされた文法不一致があるから
・S式だけで構成できないから
・再帰末尾最適化に制限があるから

**デフォルトの名無しさん** · 2016/03/27(日) 21:47:19.72

>>358
1の[]に関しちゃ大昔のスーパー閉じ括弧の存在を忘れてもらっては困ると思うしschemeの一部処理系も括弧の代わりに表現力の強調で括弧と同等に扱う等に導入してるからそこまで嫌わんでもと思う
2の部分は許容してもらうしかないんじゃないのかなぁ、まぁ否定はしない
3は1と2の事だよね？
4はLispというよりscheme好きの人なら反発するのとてもよくわかる。(jvm側の問題でもあるけど)

[]に関しちゃむしろ良く出来てると思うのだよね、3が許せないとどうしようもないけど。

リーダーマクロが普通に扱えないって言う意味で怒ってるのかと思ったのでちょっとびっくりしました。>>358

**デフォルトの名無しさん** · 2016/03/30(水) 01:19:52.13

>>358
> ・再帰末尾最適化に制限があるから

「再帰末尾」じゃなくて「末尾再帰」
元の英語は "tail recursion"

**デフォルトの名無しさん** · 2016/03/30(水) 11:18:07.37

> ISLisp でggrと「ISLISPを使うべきでないたった1つの理由」がトップに並ぶ哀しさよ
これ根本的に間違えてんね．ユーザーいないし訂正する人もいないからこのページが消滅するとよいね

**デフォルトの名無しさん** · 2016/03/30(水) 23:06:00.56

算法表現論ゲット
読みやすそうで少し安心

**デフォルトの名無しさん** · 2016/04/01(金) 19:48:09.65

>>361
ちょうど、昨日、そのページ読んだばかりだった。
どこらへんが間違ってるの？

**デフォルトの名無しさん** · 2016/04/01(金) 23:04:20.67

> 「実行時情報」が使えないということは，つまり，自分で定義した関数によるマクロの展開は行えない，ということです．
ココ。つまりこのページの主張全部

**デフォルトの名無しさん** · 2016/04/01(金) 23:32:51.04

自分で定義した関数ってコンパイル時情報だよな？

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/02(土) 04:27:14.45

仕様から関連しそうな箇所を抜き出してみた。

> 4.8 定義演算子
> 定義形式によって定義される名前は、最上位有効範囲全体で使うことができるが、
> ISLISP テキスト単位における実行準備された最上位形式は、左から右に順に実行される。
> (略)
> (defun function-name lambdaform*) → <symbol>
>
> defun 形式は、 function-name を、関数名前空間の識別子として定義する。 function-name は、 (lambda
> lambda-list form*) と等価な関数オブジェクトに束縛される。

> 8. マクロ
> (略)
> マクロは、実行準備時に展開される。いかなる実行時情報も使えない。使用可能な操作は、単純なデー
> タ構造の生成及び処理に制限される。すなわち、（端末への入出力のような) 環境への副作用、(記号の属
> 性リストの変更のような)外部的にアクセスできるデータ構造への副作用、及びマクロ形式自身への副作用
> を起こす操作は禁止する。

「4.6 評価モデル」も関連するけど長くなるので要約。
・まず実行準備される
・実行準備が完了してから実行される
・実行準備完了時点でマクロ展開は終わっている
・実行準備のための処理は処理系依存

断言できるほどはっきりしてないけど、関数の定義名はマクロ展開時にも見えてて、
関数名と関数オブジェクトを結びつけるのは「実行」だと解釈するのが妥当だと思う。
マクロ定義中にユーザー定義関数を使えないとする解釈を私も支持する。

ただ、全体を通して見ると副作用のない (プログラマが定義した関数を含む) 関数なら使えると想定しているっぽい雰囲気
はあるような気がする。

**363** · 2016/04/02(土) 07:29:47.03

>>364,365,366

みなさん情報ありがとう。
ISLISPの日本語の仕様書はどこかなと思ったら、ここにあった。
http://www.jisc.go.jp/app/pager?id=1759608

ダウンロードしての閲覧禁止って。変な制限かけてるなぁ。

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/02(土) 12:56:38.38

>>367
その URL では見れないよ。
URL 中の番号はあなたがアクセスしたときのセッション番号。
文書に固有の番号ではないので、パームリンクとして使えない。
ダウンロード禁止なだけじゃなく、たぶんサーチンエンジンのクロールも避けてるんだと思う。

**デフォルトの名無しさん** · 2016/04/02(土) 13:43:35.05

表示中オフラインにするとpdf中のjsに怒られたような記憶がある

**デフォルトの名無しさん** · 2016/04/02(土) 15:42:26.21

普及させる気ないんだろうね

**デフォルトの名無しさん** · 2016/04/02(土) 15:51:19.10

買ってもらってるから、不公平って話だと思われる。
紙も実費で配れる財源あるといいんだけどね。

isoは販売になってるけど、他団体と共同でたまに公開されてるのがある。
草稿は公開してるところもある。

**デフォルトの名無しさん** · 2016/04/02(土) 15:59:10.41

ここで公開してたやつも草稿であって、ってリンク切れしてるのな。
http://www.open-std.org/JTC1/SC22/WG16/

http://www.islisp.com/jp/ISLisp-spec-jp.html

**デフォルトの名無しさん** · 2016/04/02(土) 16:12:01.04

isoやansiよりはjisの方がweb公開進んでるのだけど、
ecmaならecmascript(js)やclr(.net)みたいに公開されるのか。

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/02(土) 17:41:26.10

日本の法律だと JIS 規格に著作権が認められるかどうかははっきりしない。
総合的には認められないとする説の方が有力らしいんだが、
ISO は規格の著作権を主張してるからそれに加盟してる JISC も倣うしかなくて、
間をとって閲覧だけは無料という曖昧なところでぼやかしてるらしい。

**デフォルトの名無しさん** · 2016/04/02(土) 18:45:29.01

工業規格は事実上の業界標準を後追いで規格化したのがほとんどだから、著作権どころか特許が生きてるのが混じってるので注意が必要

**デフォルトの名無しさん** · 2016/04/02(土) 23:14:35.48

> 366
> 断言できるほどはっきりしてないけど、関数の定義名はマクロ展開時にも見えてて、関数名と関数オブジェクトを結びつけるのは「実行」だと解釈するのが妥当だと思う。

入手できたISLISP Working Draft 23.0をベースにして述べるが，その理屈だと備え付けの関数も展開には使えないように思える．
備え付け関数もユーザ定義の関数もpreparation for executionの間に実行可能という記述はない．
不可能という記述もない．(定義はしないとある)

仮にユーザ定義の関数は使えないとしよう．
ローカル関数 (flet labels)が，defmacro 内で使えないようには見えないのでこれで対処できる．
また，マクロは使用場所に先行して定義があることが必須とあるということは，ユーザ定義のマクロは使えるように見えるので，補助関数の所を補助マクロとするのも良いだろう．
CommonLispでもマクロ展開の補助でユーザー定義関数の利用は必須ではないし，利用するには評価フェイズを合せなくちゃならない問題がある．(ISLISPはこれを回避したのかもしれない)
これをもって「ISLISPを使うべきでない」とするのは誇張が過ぎるし，真に受ける者が出るとしたら害悪だろう．

**デフォルトの名無しさん** · 2016/04/03(日) 00:12:06.32

そのページの害悪よりも、isLispの素晴らしさが伝わるようなページが
検索トップに来ないことの方がずっと問題だと思うけど

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/03(日) 01:50:33.42

>>376
「実行準備」「実行」の繰り返しがどういう単位なのかっていう、フェイズの分離の仕方の問題だよな。
ひとつの式ごとなのかプログラム全体にわたってなのかでも解釈が違ってくる。

まあ最大限に安全な方向に見積もって未定義だと解釈しても、
それで ISLISP の有用性が全部失われるわけではないということには賛成できる。
あの記事はよくある誇張した煽り記事だろ。センセーショナルなタイトルをつけてるだけで大したこと言ってない。
しょうもない記事が上位にきてしまう程度に ISLISP に関する記事が少ないってだけ。

**デフォルトの名無しさん** · 2016/04/05(火) 19:32:30.73

ISLispを普及させるために必要な10のこと
・ISLispBoxを無償提供する
・ISLisp Hyperspecを無償提供する
・SICPをISLispで書き換える
・On ISLisp、Little ISLisper、Land of ISLispを出す
・ISLisp for Dummies、すごいISLisp楽しく学ぼう！も
・WhyのISLisp感動的ガイドを公開する

**デフォルトの名無しさん** · 2016/04/05(火) 23:12:23.26

他の実装へのトランスレータがあれば普及させる必要はない

**デフォルトの名無しさん** · 2016/04/07(木) 01:17:53.66

God Wrote in Lisp (The Eternal Flame)
http://www.catonmat.net/blog/musical-geek-friday-god-wrote-in-lisp-eternal-flame/