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/

**デフォルトの名無しさん** · 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

要るよ

**デフォルトの名無しさん** · 2017/04/03(月) 21:22:49.93

`((lambda (foo) ...) ,x)と展開すりゃ要らないんじゃないの

**デフォルトの名無しさん** · 2017/04/03(月) 21:45:51.66

schemeでは衛生マクロを使うので不要だと思います。
commonlispでも仕様が中途半端なので不要だと思います。
そのまま書くのと手間が変わらないですし。

**デフォルトの名無しさん** · 2017/04/04(火) 12:16:18.07

バカにマクロは無理だと何度

**デフォルトの名無しさん** · 2017/04/04(火) 16:11:24.87

(define-macro (my-or a b) `((lambda (x y) (if x x y)) ,a ,b))

>>524 こうですか？　副作用に対してはより良いと思いますが、関数化した時lambdaが二重になって連続使用した時嬉しくないと思います。

>>525 仕様が中途半端という点、gensymのプレフィックスがないこと以外で何か不都合の起きる文があれば知りたいです。それともgensym名の変数は込み入った文や副作用でセットすることが多く、最初に全てのシンボルに値を入れられると不便ということでしょうか？
　ネストが一つ減る程度の関数は不要ですか？

**デフォルトの名無しさん** · 2017/04/04(火) 16:15:12.41

そもそもgensymがなんで必要なのかを理解しているのかという

**はつみつ餃子** ◆8X2XSCHEME · 2017/04/04(火) 16:56:46.16

>>524
要るよ。

**デフォルトの名無しさん** · 2017/04/04(火) 22:10:42.70

>>527 once-only っていう定番マクロしらないの?
(defmacro square (x) (my-let* ((g x)) `(* ,g ,g)))
(defmacro square (x) (once-only (x) `(* ,x ,x)))
それは中途半端なonce-onlyの再発明なんよ

**デフォルトの名無しさん** · 2017/04/05(水) 11:30:15.85

and や orって短絡評価な気がして>>527はもやもやする
それと副作用のある式を同一式に並べるのは未定義だった気がする

**デフォルトの名無しさん** · 2017/04/05(水) 11:40:21.51

>>530
素敵です！　ありがとうございます！　これが探し求めていたものです。より良いものがあることを願っていました。

**デフォルトの名無しさん** · 2017/04/05(水) 11:59:09.52

>>531
確か評価順が未定義なだけ。

**デフォルトの名無しさん** · 2017/04/05(水) 12:49:06.15

((a b c) d)の評価順序は
a b cの順序は決まってなくて(a b c)の後にdが評価されるのだけは保証されている。で合ってるよね？
もちろんマクロや特殊形式の引数は除外だけど>>527の展開結果は(a b c)と同じことになってる

さらに(or a b c)ならaがtrueの時点で評価打ち切りでb cは評価されない(短絡評価)
(or a b c)がマクロなら以下のように展開されないといけない
((lambda(x k) (if x x (k))) a (lambda() ((lambda(x k) (if x x (k))) b (lambda() c))))

**デフォルトの名無しさん** · 2017/04/05(水) 12:51:42.98

>a b cの順序は決まってなくて(a b c)の後にdが評価されるのだけは保証されている。で合ってるよね？
これ合ってないわ。評価されるからそれを見越して>>534の最後のように遅延評価を入れとくって話
もういいです。

**デフォルトの名無しさん** · 2017/04/05(水) 12:59:10.45

評価されるから、じゃなくて評価の順序が決まってないから
それを見越して無引数lambdaを1つ挟む必要があるだった。

**デフォルトの名無しさん** · 2017/04/05(水) 13:01:01.45

気持ち悪いからまとめると、
((a b c) d)のa b c dの評価順序は何も決まってないから気をつけてねって事。

**デフォルトの名無しさん** · 2017/04/05(水) 15:11:50.69

最初の要素を最初に評価しないとマクロかどうか分からないかと思ってたが、その前の段階でマクロかどうかを判断することができるらしいんで、仕様では決まってないのか
((begin (display "1st\n") +) (begin (display "2nd\n") 2) (begin (display "3rd\n") 3))
をchezとgaucheで評価したら
2nd
3rd
1st
5
って順番だった。guileやchickenだと
1st
2nd
3rd
5
って順番になる。

**はつみつ餃子** ◆8X2XSCHEME · 2017/04/05(水) 16:19:09.69

最適化や諸々の都合で、同じ処理系でも順序が変わることはあるので、
単純な事例だけでは処理系の性質を推し量ることは出来ない。

**デフォルトの名無しさん** · 2017/04/05(水) 17:06:07.45

(define-macro (my-once-only1 x . body)
(let1 tmp (gensym)
`(glet1 ,tmp ,x
(let1 ,x ,tmp ,@body) )))

(use srfi-1)
(define-macro (my-once-only vars . body)
(let ((names (map (lambda (_) (gensym)) vars)) )
`(glet* ,(zip names vars)
(let ,(zip vars names) ,@body)
) ))
念願のものが作れました…。これで心残りはありません。

**はつみつ餃子** ◆8X2XSCHEME · 2017/04/05(水) 20:28:07.58

Scheme でやるなら syntax-rules でやったほうが楽だと思うが。

**デフォルトの名無しさん** · 2017/04/06(木) 03:23:23.24

>>533
> >>531
> 確か評価順が未定義なだけ。

少なくともSchemeではandやorでの式の評価順序は未定義でなくは左から順番に評価すると一意的に規定されているぞ
CLはどうだが知らんが

**デフォルトの名無しさん** · 2017/04/06(木) 07:25:30.75

>>542
そうだった。間違えた。
未定義なのは関数呼び出しの引数の評価順だね。

**デフォルトの名無しさん** · 2017/04/06(木) 16:32:44.68

やっとリスト処理に慣れてgensymであーだこーだしてる人にsyntax-rulesは敷居高いと思う

**デフォルトの名無しさん** · 2017/04/06(木) 16:36:20.16

syntax-rulesはR7RS眺めてもよくわからんかった

**デフォルトの名無しさん** · 2017/04/06(木) 18:46:00.39

むしろSchemeから学ぶとマクロ入門にはsyntax-rulesしか書いてなくてdefine-macro&gensym触る機会が無かった

**はつみつ餃子** ◆8X2XSCHEME · 2017/04/06(木) 21:09:32.30

伝統的マクロの方が動作モデルを想像しやすくはあるかもね。

**デフォルトの名無しさん** · 2017/04/13(木) 05:14:19.83

Racketは死んだ

**デフォルトの名無しさん** · 2017/04/13(木) 16:03:04.54

>>546
> むしろSchemeから学ぶとマクロ入門にはsyntax-rulesしか書いてなくてdefine-macro&gensym触る機会が無かった

>>547
> 伝統的マクロの方が動作モデルを想像しやすくはあるかもね。

Schemeの場合、何でもありのマクロを排除して意味や動作を形式的に定義でき、
展開結果の正しさ（変数が展開したとたんに突然バインドされたりしない等）を保証できる範囲に留めたいという発想が
根底にあるからね

だからsyntax-rulesなどSchemeでの「マクロ」はあくまでも構文の拡張（カスタマイズ）のためなんだよね
つまり字句レベルを勝手に弄らせるとどんなトラブルでも起こし得るから勝手に弄らせたくたくない、
プログラマがお好みの構文を既存構文を使って定義して追加したいというならそれは許してあげよう
（例えばCみたいにwhile文…ループ条件の判定が最初に行われる構文…がある言語にrepeat～until文を追加したいなら
許してあげように相当）というのがSchemeの基本的なスタンス

つまり、Schemeの場合はソースレベル（テキストレベルと言っても良い）で好き勝手な操作を許す本来のマクロ
（ソースコードレベルのメタプログラミング手段）でなくて、抽象構文レベルでの変換規則を定義し使用する範囲だけに
限定しているんだと考えれば良いと個人的には思ってるけどね

だから（メタ）プログラムの動きで理解するタイプの人（プログラマには多い、特に優秀な人ほど）にとっては
古典的なマクロのほうが却って理解しやすく、逆に理屈が好きで系統的に理解したがる（代わりにプログラムの腕は
さほどでないのが多い）人間にはSchemeの構文拡張のほうが理解しやすくそちらを好む人が多い

もっともsyntax-rulesとかを提案して実現した向うの連中はプログラミングの腕力も上級者以上ばかりだけどね
（でも殆どの凡人は、プログラミングの腕か理屈かの高々どちらかしか得意でない、まあだからこそ凡人なわけでして
どっちも両立できちゃったらGuy Steele, Jr.みたいになれちゃうよね）

**デフォルトの名無しさん** · 2017/04/13(木) 16:37:53.95

syntax-rulesの動きがよくわからなくて理解できなかったけど古典的マクロなら単純で理解しやすかったな、準クォート使えば面倒でもなかったし(プログラムの腕はだめです)

**デフォルトの名無しさん** · 2017/04/13(木) 21:50:42.52

>>549 あくまでも構文の拡張のため
他のlispでもそうでしょ．具体的にそれ以外の他になにがある？

**デフォルトの名無しさん** · 2017/04/14(金) 01:29:59.73

>>551
他のLispに限らずマクロは構文の拡張と言えるほどの系統的な代物にはなってないでしょ
だからマクロを展開した途端にグローバルだったはずの変数が束縛されてローカルな変数に化けたりする（変数のキャプチャね）
つまり通常のマクロは（必要に応じて実行時と同じ計算も許して）ソーステキストという文字列データを処理しているだけ

それに対してsyntax-rulesなどに代表されるSchemeのは抽象構文上での操作とすることでテキストという文字でなく構文の句構造のレベルで扱い
変数のキャプチャなどを起こさないように保証するわけだ

ソースコードを文字データとして処理するのか句構造として処理するのかでは考え方も保証できる正しさや展開の安全性も全く違う

**デフォルトの名無しさん** · 2017/04/14(金) 02:55:56.83

>>552
> lispマクロは構文の拡張と言えるほどの系統的な代物にはなってない．
そんなお前定義しらんし，そんならsyntax-rulesも違う．
はなしが無限退行しそうだからもういいわ．

**デフォルトの名無しさん** · 2017/04/14(金) 03:00:40.04

Common lispにschemeのmatchマクロを移植したのないのでしょうか？

**デフォルトの名無しさん** · 2017/04/14(金) 07:39:01.84

さあ、わかんなくなってきました。
とにかくsyntax-rulesの方が高級で、実装がめんどくさくて、低機能で、とりあえずほとんどの用はたりる。

**デフォルトの名無しさん** · 2017/04/14(金) 20:02:05.16

そのめんどくさいの一点だけでLISP系にsyntax-を導入する価値は微妙
パターンマッチだからLISPじゃなくていいわけよね
syntax-rule/caseを日本語で詳細解説した本とかWebページってない？

**デフォルトの名無しさん** · 2017/04/14(金) 20:06:23.95

なんだっけsyntax-rule/caseの他にもう2つぐらい別種があるんだよね
重複しないシンボル名の管理の観点では手間は同じだけど概念的にはより簡単な感じだったと思う

**デフォルトの名無しさん** · 2017/04/15(土) 09:36:50.92

case は削除されなかった？他の２つも結局どうなったんだか

**はつみつ餃子** ◆8X2XSCHEME · 2017/04/15(土) 11:21:48.74

>>556
> そのめんどくさいの一点だけでLISP系にsyntax-を導入する価値は微妙

一概には言えない。
たとえば letrec のようなものをマクロで書こうとするとフォームを分解したり
衛生的にしたりする処理はいずれにしても必要なことで、
それを自動的にやってくれる syntax-rules だと簡単に書ける。

syntax-rules や syntax-case は言語のプリミティブな機能としては高級すぎるのは確かで、
これは低水準の部分でどのパラダイムを採用するかで意見が一致しなかった末の妥協案として
いきなり高級な機能を持ち込んだ結果。

参考: http://blog.practical-scheme.net/shiro?20100425-scheme-macro

実際の処理系では explicit renaming や syntactic closure を基礎に据えてその上に
syntax-rules や syntax-case のインターフェイスを実装している場合もよくある。

**デフォルトの名無しさん** · 2017/04/15(土) 15:50:40.85

schemeだとread macroの定義ってどないなっとるん？
自分common lispとバージョンが上がるといつ消えるか解らないclojureのしか知らんのだけど。

**はつみつ餃子** ◆8X2XSCHEME · 2017/04/15(土) 16:38:57.94

>>560
リードマクロについては Scheme の仕様には含まれないし SRFI にもないし、デファクトスタンダードといえるものもない。
処理系が独自にやっている場合はあるけど。

私見だが、 Common Lisp に比べて Scheme はモジュール化を強く意識していると思う。
R6RS でフェイズの制御について一応の考え方が確立したものの、
リーダの適用範囲をうまく制御するにはまた別の軸を持ち込む必要があるので厄介なのだと思う。

**デフォルトの名無しさん** · 2017/04/15(土) 18:36:19.85

>>561
あ、やっぱりなかったのか探しても定義みつらんわけだ
DSL書きたいので処理系の小さい実装のschemeでやろうとおもったのだけど駄目か orz

ありがとね

**デフォルトの名無しさん** · 2017/04/15(土) 19:13:45.64

Racket はどうや？

**デフォルトの名無しさん** · 2017/04/15(土) 19:35:50.51

schemeのリードマクロってCL踏襲じゃまずい理由でもあるの？
健全とか関係なくね？

**はつみつ餃子** ◆8X2XSCHEME · 2017/04/16(日) 01:42:41.27

>>562
それはいっそプリプロセッサ的なものを書いてしまえばいいんでないかい？

**デフォルトの名無しさん** · 2017/05/20(土) 21:49:25.89

Lispの論文で英語表現とか定理の書き方みたいので参考になる論文ってどこらへんみればいいでしょう

**デフォルトの名無しさん** · 2017/05/20(土) 21:54:10.22

>>566
定理はともかく英語表現はRnRSの原本読んどけばいいんじゃないかな
後はこんなのとか
http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-353.pdf
wikipediaのScheme系の記事の参照元を読み漁るといいと思う

**デフォルトの名無しさん** · 2017/05/22(月) 19:02:01.63

RnRS は仕様書っぽい言い回しだけど論文と同じかなぁ、論文読む方に賛成

**デフォルトの名無しさん** · 2017/05/24(水) 08:06:22.98

>>564
リードテーブルの状態によってプログラムの意味が変わってしまうのは不健全さを嫌うScheme的にはだめでしょ

**デフォルトの名無しさん** · 2017/05/24(水) 15:27:40.12

>>569 の主観なのかそれとも論文にまとまってたりするのか．
racket#!langはどうなる．

**デフォルトの名無しさん** · 2017/05/25(木) 19:06:27.53

>>570
そもそもRacketはScheme的にだめでしょ

**デフォルトの名無しさん** · 2017/05/25(木) 21:07:52.50

わかったおまえの主観ってことな．あんがと．

**デフォルトの名無しさん** · 2017/05/26(金) 16:53:05.43

Chez Schemeの日本語ドキュメントないの～？

**はつみつ餃子** ◆8X2XSCHEME · 2017/05/27(土) 18:03:08.42

ない。

**デフォルトの名無しさん** · 2017/05/28(日) 00:02:44.20

ちぇっ

**はつみつ餃子** ◆8X2XSCHEME · 2017/05/28(日) 17:36:39.82

Chez Scheme について具体的に知りたいことがあればここで質問すれば簡単な回答くらいはつくかも？

**デフォルトの名無しさん** · 2017/05/30(火) 00:45:37.72

最近のlisp webフレームワークで良いのって何でしょうか

**デフォルトの名無しさん** · 2017/05/30(火) 00:48:16.84

Kahuaなら知ってるが更新されてないっぽいし使ったことないからよくわからん

**はつみつ餃子** ◆8X2XSCHEME · 2017/05/30(火) 02:45:46.19

>>577
Artanis とかどうよ
http://web-artanis.com/

**デフォルトの名無しさん** · 2017/06/11(日) 12:44:37.67

逆転ポインタなつい
ttp://qiita.com/kingshine/items/d74576886c067737ad18

**デフォルトの名無しさん** · 2017/06/22(木) 00:41:06.63

Common lispのnilとfalse区別しないの気持ち悪いけど
Schemeでまともな処理系もう残ってない感じして
Common Lisp に移住するしかない

**デフォルトの名無しさん** · 2017/06/22(木) 00:49:51.73

何をもってまともと言うのか、Gauche使ってるけど普通に安定してるぞ

**はつみつ餃子** ◆8X2XSCHEME · 2017/06/24(土) 01:00:13.24

>>577-578
Kahua ほどダイナミックな運用はできないが Gauche-makiki は簡単に使えるし
活発に更新されているのでいいかも。

**デフォルトの名無しさん** · 2017/06/29(木) 18:45:47.85

Scheme のこと好き？忌む？

**デフォルトの名無しさん** · 2017/06/29(木) 22:55:19.10

忌マラン

**はつみつ餃子** ◆8X2XSCHEME · 2017/06/30(金) 13:39:29.59

>>584
好きだよ。

**デフォルトの名無しさん** · 2017/07/02(日) 03:01:49.46

最速の処理系ってどれ？

**デフォルトの名無しさん** · 2017/07/02(日) 11:09:04.91

Chez >>444

**デフォルトの名無しさん** · 2017/07/02(日) 17:50:09.29

最高の処理系ってどれ？

**デフォルトの名無しさん** · 2017/07/02(日) 17:58:15.58

自作の処理系が最高、性能使い勝手を抜きにすれば

**デフォルトの名無しさん** · 2017/07/02(日) 20:22:47.00

さぁ、行こう

**デフォルトの名無しさん** · 2017/07/02(日) 22:56:38.27

picrin使ってたのにgitのｔipがビルド通らん…巻き戻すしか

**はつみつ餃子** ◆8X2XSCHEME · 2017/07/03(月) 02:53:40.39

>>587
そんなスピードで何するの？
速いに越したことはないけどさ。

**デフォルトの名無しさん** · 2017/07/04(火) 01:39:10.46

速いに越したことはないなら一番速いやつを選ぶじゃん

**デフォルトの名無しさん** · 2017/07/04(火) 13:19:59.34

>>592
picrin のどういうところが好き？

**はつみつ餃子** ◆8X2XSCHEME · 2017/07/05(水) 02:05:52.95

>>594
他の条件が同じなら速いやつを選ぶけどさぁ、
そんなの用途によるだろ。

**デフォルトの名無しさん** · 2017/07/07(金) 01:47:32.06

実際のところSchemeでどんなプログラム書いてる？
具体的に晒せるものがある人いる？

**デフォルトの名無しさん** · 2017/07/07(金) 11:18:37.71

晒せないが、S式で書いたテンプレートからHTMLに変換してた
CSSで過去の技術となったが

あとはC++に組み込みスクリプト

**デフォルトの名無しさん** · 2017/07/07(金) 20:03:34.22

あれー、この話題ってあまり盛り上がらない？

**デフォルトの名無しさん** · 2017/07/07(金) 21:13:04.41

>>594
schemeと俺を比べたら俺が遅いからあんまり意味無いんだよトホホ

**デフォルトの名無しさん** · 2017/07/07(金) 21:29:14.88

>>599
そもそも盛り上ってないこのスレを盛り上げるにはお前が身を削ってネタ投下するしかないだろ

**デフォルトの名無しさん** · 2017/07/07(金) 22:43:58.99

biwascheme http://www.biwascheme.org/ はページ上にREPLあるから遊べるかも

**デフォルトの名無しさん** · 2017/07/08(土) 09:17:29.55

>>444
実際の時間差はあまりないな
順位はかなり後ろだけど

**デフォルトの名無しさん** · 2017/07/08(土) 15:03:13.50

picrin のコア機能では unicode サポートなしで、後付けは可能なようにするという方針も提示されている
ので、コアだけのスピードで評価するのもアンフェアな気がする。

https://twitter.com/___yuni/status/504240324831477760

**デフォルトの名無しさん** · 2017/07/20(木) 23:50:26.23

AIの分野はもう完全にPythonに譲ったの？

**はちみつ餃子** ◆8X2XSCHEME · 2017/07/21(金) 02:42:10.26

Python ってプログラマでない人にも使いやすいデザインなんだとさ。
数学屋や物理屋もプログラムを書くことはあるけど、専門家じゃないからな。
言語に関わってばかりはいられん。
綺麗な抽象化とか考えずに愚直に書いて動くってのはそれはそれで良い言語なんだよ。
VB とかな。

AI の核になるライブラリが出そろってきていろんな応用をする段階になると
Python の方が色んな人に使ってもらえるという意味で良いんじゃないか？

それに今の AI ってのは記号処理するのに柔軟なデータ構造が必要って感じじゃないだろ。
計算量を投入しまくって結果を出す機械学習とかじゃん。
広い意味では AI つってもやってることは違うよ。

**デフォルトの名無しさん** · 2017/07/28(金) 00:10:04.60

Schemeが本当に美しさと強さを両立させようと思うんなら
速さを二の次にして仮想機械の仕様も標準に入れてしまえばよかった
Smalltalk-80のVMは美しかったが
RnRSのdenotational semanticsの記述はCOBOLのコードみたいで正直読みたくない

**はちみつ餃子** ◆8X2XSCHEME · 2017/07/28(金) 20:26:39.53

Scheme の仕様ってのは業務マニュアルみたいなもんだよ。
たとえば「誰にハンコをもらえば進めていいのか？」みたいな手順は組織の秩序としてやらなきゃならないことだから
個人の創造性で決めれることじゃないし、仮にそれぞれの場面で最高の才能を発揮して根回ししたところで
正事の成果が良いものになるわけじゃない。
どうでもいいことはマニュアル通りにやってもっと大したことに力を入れようってのが業務マニュアルだろ。
逆に言えば創造の余地がある部分は決めつけてしまいたくないんだ。

**デフォルトの名無しさん** · 2017/07/29(土) 16:28:59.88

lispworks 32bitを使ってて、fliを使ってwindowsのdllから関数を呼ぼうとするのだけど、
一部の関数だけがunresolved symbolだと言われて呼び出せない。
dll exported functipn viewerとかでみてみると、
ちゃんと関数を確認できるのに。

何でかわかる人いる？
おいどん、初心者やからわけわかめなのよ。

とりあえず、cffiでもできないかどうかと、ほかの処理系ではどうかを試そうとは思うのだけど、
なんか知ってる人いたら助けてー