Lisp Scheme Part41
a little schemer／「scheme 手習い」 https://www.amazon.co.jp/dp/4274068269/ https://ideone.com/fPHC2z https://ideone.com/vjYCZ5 >>6 引数が2つあり、それぞれは3通りの場合があるわけだから 他のソフトウェアに組み込むスクリプト環境でTinySchemeを使おうかと思っているんですが >>9 >>10 依存型についてのテキストが出てるよ。 π算法 A Little Taste of Types - Code Mesh 2017 - David Christiansen https://www.youtube.com/watch?v=3z9nISI4ppw https://www.youtube.com/watch?v=1BWYy2-WM-o Gaucheのリファレンスマニュアル日本語版pdfはないのでしょうか？ >>17 よく見ろ別人だぞ。 話題がなさすぎるので近頃は C++ スレばかりにいるんだけど、 WindowsでMinGWがインストールされておらずMSVCだけある状態で >>28 https://github.com/shirok/Gauche/blob/master/doc/HOWTO-mingw.adoc https://practical-scheme.net/wiliki/wiliki.cgi?Gauche%3AWindows%2FVC%2B%2B Racket のコアを chez のに置き換える話が以前に出てたけど、 R7RS-Large の Tangerine Edition は議論・投票への参加者が少なすぎてちょっとアレな状況みたいね。 界隈でなんだかちょっとだけ ISLISP の人気が出てきてるというか へー。 そうなのかと思って経緯を調べてみたりしてたんだが、 http://www.softwarepreservation.org/projects/LISP/stanford/Hearn-StandardLisp-AIM-90.pdf イスラミックステートLISP >>38 >>39 金払わないと正式な仕様書読めないのか、と諦めた記憶がある＞ISLISP >>41 Racketに対応したArcが出てたのね http://arclanguage.org/item?id=20772 >>43 >>45 >>46 >>47 ISLISP のことはなんも知らんけど、 >>32 を書いたんで、 ISLispのプログラミングテキストや解説書って笹川賢一って人が書いたKindle用の電子的なのが２タイトルあるだけで >>51 昔の情報処理試験で人工知能の分野ときたらLispだったけど今違うのかな？ >>53 人工知能でLISPを扱ってる本の巻末付録は大抵駅すぱあとシステムだからな 餃子がスゲー良いこと言ったな… 人工知能のカテゴリのひとつに「ルールベース」があるけど、 >>57 >>58 >>54 研究者や企業による実験段階＋アルファまでAI Scheme というか、Lisp のことを少ししか分かっていないんですども、μKanren を使ってみたくて >>63 >>64 μKanrenてユニフィケーションの亜種みたいなもんだから多分どの言語でも大丈夫だぞ >>66 >>72 http://web.archive.org/web/20120305231338/http ://karetta.jp/book-cover/programming-gauche webで公開されてるsicpのレビューを chicken scheme のサイト( www.call-cc.org ) が ここ数日ダウンしたままだ パーソナルコンピュータの父アラン・ケイが選ぶ「プログラマー必読の古典本」とは？ https://gigazine.net/news/20190813-alan-kays-best-classic-book-programmers/ LISP知らん人に勧めても判るのかね 紫のSICPやめてpythonの教科書になったのは知ってたけど > chicken scheme のサイト( www.call-cc.org ) が ここ数日ダウンしたままだ 確認ありがとうございます。 chicken scheme ( www.call-cc.org ) にアクセスできない件、スレ違い気味で申し訳ありません。 sicpはそんなに良い本？ >>92 jpドメインは拒否されてるのかもね >>95 Common lispよりschemeの方がユーザ多いの？ schemeは実装多すぎてどれを選べばいいのか分からん、 特定実装に依存すると いつか廃れたときに困る。RnRSやらsrfi-xx どこまで使えるのかマチマチだからね。 >>99 Scheme で安心感の強い処理系っていうと Racket とか Guile とかかな。 Schemeの無料で使える処理系で例の大顰蹙買ったR6RS対応してるのってあるの？ >>103 なんでGaucheが出てこないんだ？ >>105 >>103 に対する回答なので R6RS の話をしてる。 >>104 R7RS⊃R6RS⊃R5RS Scheme はまだ未完成という意識がある気がするな。 関数の値が最も０に近くなる引数を求めたい時、どう書けばいいんでしょう？ その関数が線形なのかとか微分可能なのかとか分からんとなぁ 微分可能ならニュートン法が簡単 >>113 の言ってる関数は数学の関数じゃなくてプログラムの関数の事でしょ… どちらの関数にせよ考え方は一緒じゃないかな。 誰かと思ったらグレアムか Yコンビネーターも辞めたとかなんとか… ポール・グレアム (54歳) arcだかはどうなったの グレアムは金には困らんのだから残りの人生は全部が趣味みたいなもんだろ。 闇の書を永久封印するために暗躍しているのかもしれん。 fooもねえ、barもねえ グラハムはハーバード、MIT人工知能研、イタリアの美術大出てるんでしょ？ いまPLAIの8章をよんでいるんだけど、次のExerciseの不変条件と言うのがよく分からん・・ https://bitsend.jp/download/d7ebf31e84a7dc5d8b55a3e3b66ce803.html $ ros run 正しい値は 95700 なのだが $ ros run -- --version Gauche の 0.9.9 がリリースされたよー >>134 Racket 7.6リリースされたよー https://blog.racket-lang.org/2020/02/racket-v7-6.html SICPを勉強したくてschemeを一通り勉強したけど SICPで4.4論理プログラミングがでてきたけど、論理プログラム言語（Prolog）なんて >>146 prologはともかくユニフィケーションはパターンマッチでたまに使うかも 歴史、哲学、思想を勉強しても目の前の仕事には直結しない PrologはSQLに近い（同じ？）という人もいるね 事実を列挙すれば解を求める処理をやってくれるってのは理想のひとつではあるよな。 思うんだけどLispというと悟りとか、ゲーデル云々みたいな話がよく言われるけど 上にもあるけどprologは論理がそのままプログラムになるっていわれてんだろ hy面白いけどlisperにはrubyの方が人気なんだ >>152 要するにPrologはメタ論理レベルのプログラミングが出来ないってこと？ >>50 >>54 >>57 >>58 >>82 >>84 >>146 >>149 >>150 >>151 >>156 >>159 hy Clozure CL 1.12 がでてきた。 https://github.com/Clozure/ccl/releases/tag/v1.12 SBCL 2.0.4 リリースされたよ。RISC-V プロセッサに対応したのが目玉みたいだよ。 http://www.sbcl.org/news.html#2.0.4 Scheme の map 手続きについて、 https://docs.racket-lang.org/reference/pairs.html?q=map#%28def._%28%28lib._racket%2Fprivate%2Fmap..rkt%29._map%29%29 >>187 >>188 https://docs.racket-lang.org/r5rs/r5rs-std/r5rs-Z-H-9.html?q=map#%25_idx_580 >>187 >>189 >>187 で君が述べていた通り、リストの要素への適用順序はunspecifiedだと明確に書いてある。 >>190 >>187 >>192 >>191 >>191 https://docs.racket-lang.org/r5rs/r5rs-std/r5rs-Z-H-7.html#%_sec_4.1.3 >>194 >>195 https://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3Acall%2Fcc%E3%81%A8%E5%89%AF%E4%BD%9C%E7%94%A8 グラフかくのってどうしたらいい？gnuplotの🎺使うの？ >>193 >>194 実用性皆無の話だなschemeらしいや >>199 そうこうしているうち Racket 7.7 リリースされたよ。 https://blog.racket-lang.org/2020/05/racket-v7-7.html 今の Racket は hy言語をwindows10で使いたい >>204 https://www.indeed.com/q-Lisp-jobs.html Common Lispは使い込まないと頭に入ってこないが > 最近読んだRacketの() []の括弧を区別する方法 Racket は元は教育用途で使われていたこともあってドキュメントはかなり整備されている部類だと思うが。 他の言語と比べてCommon Lispっぽい書き方、Schemeっぽい書き方ってどんな書き方ですかね そら末尾再帰をふんだんに使うとか変数はなるべく使わないとか CLっぽい書き方はマクロを使いまくった超絶技巧だろう ダイナミックスコープ活用してるの見るとcommon lispだなぁって思う 括弧のやまがある時点でlispっぽい。あとはまあ、ラムダ式とかもほかに普及してきてるから、マクロかなぁ。 ｈｙ言語良いのにpython使いが良さをわかってくれない 見るからに検索に引っかからなそう LispworksのprofessionalとhobbyistDVどう違うの？ Lispworksのprofessional 32bitかhobbyistDV 64bitどっち買うか迷う >>218 Pythonぽい独自言語をpythonに変換したい >>221 racketでデバッグするのは デバッグってどういうレベルのことだろ。 Python のpandasが日時関係処理充実しすぎて手放せない 既に手放せないほどのものを漠然としたlispへの印象で乗り換えたら全てが満足したという話は寡聞にして知らない pandasはRの劣化コピーで 邪道かもしれないが lispは他の言語に寄生して生きていくしかないね 時期にcommon lisp でできるようになるかも カッコなし、字下げか空白だけで繋ぐlispとかあったら3レス分くらい流行るかも >>233 無限ループ >>233-235 https://srfi.schemers.org/srfi-49/srfi-49.html なんていうか、何も変わらんなあ… AST をそのままかけるのが lisp の欠点であるし強みでもあるんだから、それが嫌なら他言語で AST をいじれるライブラリーを使ってかけって話だしね >>237 趣味プログラマでLispしか知らないんだけど、 >>240 なんだかんだで C だけは手放せない感じはあるかな。 >>242 >>243 趣味でやっててhyperspec引きながらやりたいことできるようにはなってきたんだけど、 SICPとCTMCPとかどうかな。 日本語で書かれた Common Lisp の本はほとんど絶版になっちゃってるしなぁ……。 使ってる処理系のソースを読んだり処理系を作ってみる on lisp好き lolのワクワク感はすごい、とりあえず写経したけど理解が追いついてないのでg!無し版を実装中 みんな、fletとかlabels使うの？ labelsはよく使う スキーム手習いなんですけど >>254 継続渡しスタイルに書き換える方法がわからないではなくて継続渡しスタイルに書き換える意味がわからないからかな？ ああ。 なるほど。 >>256 >>257 俺はsicpでcall-cc出てきてもさっぱり理解できなかったけど、 超高性能gotoって書いてるのは普通の言語のgotoって同じ関数内でしかジャンプできないんだけど、 継続はわかってしまえば当たり前でどこにでも存在してるんだけど、 >>258 http://www.shido.info/lisp/scheme_cc.html http://www.nct9.ne.jp/m_hiroi/func/abcscm20.html Landin's J operator の糖衣みたいなもんじゃ？ 普段cl書きなんでこのまま動くか知らんが、雰囲気はたぶん >>258 そういう発想はschemeっぽくないと思う schemeは知らんがclでcall/ccエミュってるぞ、こういうのは勉強になる clデフォでdynamic scopeじゃないな dr.schemeを起動したらada lavelaceが表示された。12月10日が誕生日らしい。 Software Design for Flexibility https://mitpress.mit.edu/books/software-design-flexibility >>6 >>6 までは進めなかったけれども、しつこくてべたな精読を今後も継続することにしました‥‥個人的な話でごめんなさい 2018 年の話題へスレ内でアンカーできるあたり、だいぶん進みの遅いスレだなぁ…… 最近Clojureをさわって思ったんだけど、コンスって必要？ただのリストじゃだめなん？ 最近はlistと言いつつ狭義のlist(linked)じゃなくlinked arrayな事が多いけどclosureもそれかな？（触ってないごめん 書きにくい/やすい、ってのは環や分岐がcarとcdrとconsだけで書けるって意味ね 連投してごめんだけど、環や分岐がポインタ使わず自在に描けるのはかしこいsetfの寄与もある、って書き忘れてた(schemeはset-cdr!だっけ) >>279 データ型を定義しないのはトイプログラムだけだけどな (カッチリした型を中心にする言語に比べれば) 最初はラフに そういう後付けのボイラープーレトにはCLOSやジェネリックよりコンパイラマクロが便利ね ここでいう型定義はdeftypeのことを指しているのでしょうか Common Lisp でなら deftype とか defclass とかいったものを使うことになるんかな。 >>288 この場合、 alist はどっち側に分類されるのかな… Lisp 的なスタイルだとかなり短いサイクルで開発が進むので、 既存のコードには手を入れず振る舞いだけに着目して付け足して行くってスタイルはaspect oriented programmingとか言うんだっけな >>290 最後は(a (b c))が正しい、.が余計だった 真意を掴めてなかった感がある deftypeしたtypeはclassじゃないからdefmethodできない alist vs plist はalistの方がassocが(lisp的な意味で)簡潔になるから？で一票 http://www-formal.stanford.edu/jmc/recursive.html ffとかappqとか見慣れない面白関数出てきて面白かった consesのカッコのネストを無視して初めのシンボルを返すffは、左端の簡約だけで導出が決まる特性を持つコンビネータ計算(SKなど)にとても重宝する関数だよ jmcはラムダ教徒だったろうになあ >>299 誤解してた cons-car-cdr公理主義者への反発として最近妙に感心してしまったポエムを貼っとく https://arxiv.org/pdf/1507.05956 cxrとconsは表裏一体なので片手落ち わたばさんのところ見て知ったけど Racket のメジャーリリース。 https://blog.racket-lang.org/2021/02/racket-v8-0.html 普通のやつらを超えろおじさんのarcヲチするのにちょっとracketしてるけどフレンドリーかつ尖ってるね >>309 https://sep.yimg.com/ty/cdn/paulgraham/bellanguage.txt >>310 関数やマウロの実体もリストというのはだいぶん振り切れていると思うがおまえらには目新しくはないのか＞ｂｅｌ >>313 後は語り尽くされたlisp1/2の分化の話になるのでその辺はググって 補足 アラン・ケイもそれを自分でやってみようとすることが重要だと言ってる グレアムが現役プログラマだった時代なら実務に全振りしただろうが、今は投資する側の立場だからね。 レディットで実装した人いるね でもグラハムは尊敬してるよ、著書もエッセイ以外紙版で全部持ってるし、啓蒙家としての実績を差し引いてもトップクラスのハッカーであるのは間違いない >>319 ・知能は高い 関数がリストで表せるからatomじゃないってのは気持ち悪いな ELisp だと、一部の関数は本当にリストとして保持されてたりするんだよね。 elのfunctionはid関数っていうね…知りたくなかった あ、後半はちゃんと関数を理論と整合するatomとして扱うlisp(clとか)への言及です linuxでdr.schemeがちゃんと表示してくれなくて追加パッケージも入れられない Happy Hacking! 誰かがここに検索結果を貼る可能性を考えなかったのが敗因でした gosh> '() >>331 racket> '() 訂正 すんません、再度訂正 replに代わってrpeplを提唱したい 連投してスレ汚しすんませんでした https://en.scratch-wiki.info/wiki/Snap!_ (programming_language)#First_Class_Continuations https://youtu.be/wtUMvx9mvm4 Lispへの憧憬 https://xtech.nikkei.com/it/article/COLUMN/20090324/327085/ >>339 思うに、使ってる層のエリート度で考えるとFortranと変わらん 大事なことなので2回思ってしまった… ところで記事に挙がってるJava、cl/scm、(モダン)Fortranの全てにガッツリ関わってるSteele先生すげーな 十年前の記事だけど状況はだいぶん変化したのでLispへの憧憬などというものがもう成り立ってない・・ なあにlispの本質は60年前から変わってないさ 一部の日本人が布教に熱心で検索にかかりまくるから胡散臭くて敬遠してたんだが、少なくとも初期はcl委員が関わってるし由緒はあるんだよな >>338 コードエディタじゃなくて残念なんだけど、愛用してるOneNoteのテキストのドラッグが()ごとドラッグしてくれるのに気づいた 規格っつーのは多少の粗があっても皆で統一したほうが便利だというもんなんで、 30年事足りるほど十分カバーしてるclってすごいよな(実働は1980年初頭だからもっと？) >>351 >>352 でもミンスキーは言ってたよ SRFI出るや否や写経と称してシュババとクオリティ実装するclerが結構居るし、必要とあらば足りるしな >>353 SRFI や CDR は (英語がわかるなら！) 誰でも提出できるし、 ところで IEEE の Scheme は期限を過ぎても更新せずにそのまま廃版になってたみたいね。 https://standards.ieee.org/standard/1178-1990.html generaはwikipedia読んだ程度だけど随分先進的そうだ >>360 みたいな感じでマウスで弄ったりカーソル置くと引数やdocがポップアップしたり >>361 lisp machine/generaではcやFortranもlisp実装なんだよね 権利的に大丈夫なのかが気掛かりだ linuxも一応abiの規定あるけど同じアーキテクチャでも違うディストロでそのまま動くとは限らんしな Alto→NextStep→OSXがコンシューマ向けになって成功してるのに Next, OpenStepを元にしたGNU/Stepというのもあるけど GNUは、というかストールマンが目指してるのはフリーな(自由な)CとLispの環境だと思うんだよね guileをゴリ推してるけどなにそれ状態だよなー 応援のつもりで一応入れてる Guile も良い処理系だよ。 GNUといえばEmacs >>361 https://github.com/lisper/cpus-caddr guileはdicoと使うと便利ぞ >>379 >>381 http://www.unlambda.com/index.php?n=Main.Cadr LispとCの融合ということだと、KCLはLispective-Cなのでは >>377 http://www.mit.edu/ ~raeburn/guilemacs/ Racket Programming the Fun Way: From Strings to Turing Machines https://nostarch.com/racket-programming-fun-way pというprocedureが何回呼び出されたかを出力したいと思って以下のコードを書きましたが、意図通り動きません。 Schemeで >>389 (if (< 0 x) (begin (newline) (display 1.0))) (if (< 0 x) condでいい implicit progn(begin)が欲しいならwhenとunlessを積極的に使おう 色んな書き方が出来るからこそ、most specificなものを使おう lispの質問が減って自己紹介みたいな駄文が多いんだよ 結局 most specific なものは何だろう プログラムがr4rsで記述できていてシングルスレッドしばりの競争ならいまでも速い可能性はあるだろうな (eq? '(a b c) (list 'a 'b 'c)) eq?はメモリ上の実体が同一かどうかを返すので、値を比較したかったらequal?を使えばいいよ named let使おうと思ったらCommon lispには無かった (let loop ((n 10)) (if (> n 0) (loop (- n 1)) #t)) 現代のlispハッカーはみんなloopマクロ使ってるよ named-lambdaならalexandriaにある Schemeで、 >>413 number?で#tなだけで数値をシンボルで実装した処理系もあるかもしれん 小さい数値はヒープアロケーションせずにワードに詰め込む (ことで GC 削減して高速化を図る) 数字はreadした時点でnumberになる あっそうか 逆やね末尾再帰でloopを代替できるからイキって仕様からloopを消したったのがｓchemeやからユーザーもイキるやで 末尾呼び出しの最適化が至高の技術のように思っていた時期が僕にもありました 末尾呼出し最適化はあくまでもセマンティクスの話であって、 https://srfi.schemers.org/srfi-42/srfi-42.html ) http://wiki.call-cc.org/eggref/5/foof-loop ) http://synthcode.com/scheme/chibi/lib/chibi/loop.html ) アキュムレータ加えて末尾再帰で書くよりはdoを好むわ loopキーワードは:を付けてlisp keywordにすればビジュアル的に随分見やすくなるね >>412 loopしなくてもdestructuring bindやwithの為にloop使うのは我ながら良くないと思う 慣れた Scheme ユーザーなら末尾呼出し (末尾再帰) になっているかどうかは空気のように判断できるけど、 >>425 が loop をループ以外の用途に使うのは確かに良くは無いんだが、 末尾呼出し最適化をいかした書き方というのは確かにあるのだけれど named let はシンプルな loop に特化していて中途半端なのだよなあ named let 嫌いだわ、構文として紛らわしいだけ >>428 書き捨てなら抽象度は低い方がよいのが原則じゃないか？ >>430 ポエムだけど、状態機械ともロジックは等価だよね >>431 状態機械の定義にそぐうかは詳しくないので分からないけど、表で管理するのは見やすそう do構文は何がどこかすぐ忘れる すみませんscheme初心者なのですが累乗を求めるプログラムが動きません http://www.nct9.ne.jp/m_hiroi/func/abcscm04.html (z (pow x...)) の評価が ((zero? y) 1) の前に起きてるのが原因なんですね (define (pow x y) (define (pow x y) ifとletを使うのが一番いいと思う >>443 >>444 計算量のことを言うなら繰り返し二乗法を使うのがスマートやろ。 force 使うの大袈裟すぎない？ 元になる数式をなるべく形式を変えずに書きたいみたいな要求はあるんじゃないの？ >>440 の形に不自然さは感じない (むしろ比較的自然だと思う) けど、 こんなんでもいいんじゃない 簡単な場合をよく考えられないなら応用的状況ではもっと出来ないよ。 Parenscriptとclojurescriptのメリットとデメリットどこかにまとまってないかな racket から pythonのtensorflowとか使いたいのに フリーランスに立ちはだかる「常駐」の壁。慣例を打ち壊し、 https://prtimes.jp/story/detail/DBnPOktyljr https://prtimes.jp/main/html/rd/p/000000045.000050142.html https://www.value-press.com/pressrelease/262778 https://www.nishinippon.co.jp/item/o/713384/ https://internet.watch.impress.co.jp/docs/news/1287094.html https://internet.watch.impress.co.jp/docs/news/1281120.html https://internet.watch.impress.co.jp/docs/news/1274735.html https://freenance.net/media/money/4255/ https://prtimes.jp/main/html/rd/p/000000051.000010457.html 春頃にLispマシンの話題になっているが、 https://www.nue.org/nue/tao/celis/index.html だいぶん昔にjaistでtaoのイベントがあったが同様の質問が出たが権利問題が解決できないらしく関係者にさえ配布できない状況らしい Scheme版のcl-ppcreは何処いったんだ？ 政治闘争で頻繁に互換性ないアップデートを繰り返して死んだ hy くらいの新興処理系でどんどん変更が入るのは普通のことだと思うが。 >>462 >>461 スレに書き込む前に妄想と現実の区別がついていることをよく確認しましょう 自分で変換した不確かな正規表現ライブラリなんて使いたくねーな いやそれは移植元にテストケースがあるからテストが完走すればだいじょぶっしょ 妄想も噂も似たような言い換えみたいなものなのに ()に包めば言い換えないでも柔らかさを演出できる 465から別の話題になってて468まででひとつの会話の流れ． sbcl2.1.9 windows版(amd64)入れてみたけど今まで起動直後に表示されてたWARNING(win版はスレッドまわりが壊れやすいけどそんなの対応してらんない！みたいなやつ)が表示されなくなって地味にうれしい スレッド周りはpthreadのエミュレーションを自前で実装してたのを、直接Win32のAPIを呼ぶようになった hhk限定モデル注文した [ )* ] ()と［］は入れ替えてる roswell環境で.roswell/local-projects/が認識されないんだけど原因分かる人いない？ quicklispとかroswellとか、全部一体化されたら使うわ Chicken Scheme 5.3.0 が先月リリースされてたのに気づいてなかったわ。 Lispworksのpro版購入してる人いますか? Release of LispWorks 8.0 http://www.lispworks.com/news/news39.html 週2日出社、週2日在宅の週4日勤務が最高の働き方だと提唱したい >>491 >>492 >>494 1.0 で Stabilize と書いてはいるが、別に現状の動作が不安定で落ちたりするという意味じゃなくて 1.0をだしたら、これまでできなかったあんあことやこんなことをやってみて、がんがん不安定化させるということだよね。もう飽きたからメンテナンスフェーズにはいるじゃないよね。 Gauche は作者自身が仕事で使うための道具でもあるから gaucheはr7rs対応したときに2.0になっていてもよかったのではとおもう 俺はscmは遊ぶ用だけどguileがいい感じ、イントロスペクションがつよいので掘って遊べる >>504 あくまで個人的感想だが、そういう風に勉強のために勉強するみたいなのは結局は上手くいかんのじゃないかと思う。 じゃあ、GAFAを超えるものを作るために勉強する！ >>507 成果物として作るんでなくてもちょっとした前処理程度のことをするときに使えばいいよ。 俺は Scheme が一番慣れた言語だから…… scheme使いなら自作の処理系の1つや2つは持ってるよね なにか作ろうと思うと結局cffiでcライブラリを呼び出して使ってるので、糊みたいな使い方しかしてないなぁ Ruby でも JavaScript でも Python でもだいたいそんなもんだろ。 scheme修行読んだら処理系書けるかな？ 処理系作りたいなら下手な本より既存の処理系のソース読みまくるのが近道 >>520 ちゃんとエンドユーザー様までデプロイするのはめんどいのは確か 継続が凄いって話は、かれこれ10年くらい聞いてたんだけど、結局は限定継続で十分だよね、 継続が凄いってなんだよ 非限定継続ってjmcのambとかが該当するのか？ 形式定義できるのが継続の便利なところなんだよ。 でも実際はambはただの愚直な探索だから遅いんじゃないの？ 原理的にはバックトラックと同じ速さ。 >>522 scm はキーワード型がないけどキーワード引数をどういう風に渡すの？ restに'symb突っ込んで泥臭く拾ってます ところで scm を使うのはなにか理由があるの？ guile使ってるけど#:で自己評価シンボルになるな Guile のキーワードはシンボルとは別の型。 CLの掟とか知らないから名前付き引数はマクロでシコシコやってた思い出 >>539 github.com/Soldier-B/ns.js/blob/master/ns.js#L3 >>546 schemeはじめましたなんだけど おおよそ似た雰囲気では書けたりするのかもしれないけど まんまじゃね？ 触ったことないのでeclがどの程度cltl/ANSI/clhs等の標準をリスペクトしてるのかも分からないのだが http://www.lispworks.com/documentation/HyperSpec/Body/s_flet_.htm | 彡⌒ミ eclは有名だけど、embeddableの名前通りの用途で1MBちょいな処理系だから、そういうものと割り切って使うべき eclのlocked packageなる概念やcompile-timeの意味論に関連しそうなissue https://gitlab.com/embeddable-common-lisp/ecl/-/issues/574 >>553 >>550 >>553 )はさすがにcontrived-exampleだと思うので、ついでにeclで破綻するように >>557 Gauche で検出されないエラーで (let ((0 1)) 0) みたいなのがあって、 0はシンボルじゃないから、文法解析を通しちゃ駄目だろw そういう手では絶対書かないだろう変なコードも、マクロ書いてるとまれによく発生するから困る カウンタ変数を捕捉更新しようとして、うっかり評価してしまったケースとか 多分(let ((i (+ i 1))) i)が化けたのかな letの時点でオプティマイザに通してんのかな エスパー大会か？ >>565 defmacro/macroexpand方式だと特にだけど、(let ((0 1)) 0)みたいな残骸から推論する技能はとても大事に思う >>565 一応値については正しいというだけで、もしbodyに(exit)や大域脱出が入ってても無視するのか？という問題はある >>560 すら無視するのだから、当然well-formedな(exit)も無視するのが自然だけど、実際のところはgaucheに訊いてください >>570 >>560 のケースは捕捉されないエラー >>557 に対してで、原理的に出来てもやらない事情の例として >>571 なおeclのlocked package?の件、標準の宣言を全て付けても有効な模様… >>572 UCB Scheme https://people.eecs.berkeley.edu/ ~bh/61a-pages/Scheme/ USB Schemeじゃないのか そのリンクがどうしたっていうんだ？ そもそもダイナミックスコープの何がだめですか >>581 Lispではたまたまうまく動いてるように見えるけど変数宣言の無い言語でダイナミックスコープやると死ぬ >>581 グローバル&ダイナミックは罠になり得るけど、対話的に使うコマンド言語(シェル)は大体そうだし利便性の問題、新しいpwshでももそう レキシカルな情報を取り込んでしまう(暗黙にクロージャを作る)クロージャにはテキスト表現が無いから、ダンプが出来ないのは致命的な欠点 >>581 >>587 #<closure ...>が嫌ならいにしえのfunargを使えばok >>588 >>590 ローカルにダイナミックな束縛をやるなら、それ専用のprogvフォーム(clにある)はどう思われてるんだろ？ >>592 例が悪かった >>591 GNUは昔から他人の成果物の丸パクリしか脳が無い団体だよ emacsの膨大なテキスト処理関数群に依存していない純ロジックのみのelispコードなら資産になる ライセンス問題でどうしてもコードを触りたくないなら別だけど >>598 いっそ Emacs そのまま組み込んじゃうとかそんな方向に進まないかな… >>600 オレオレSchemeでMineSweeper だからなんやねん オンラインでuLisp動かしてみようかとTinkerCADのArduonoUnoにソースコード流し込んでみたけどさすがに5000行は許してもらえないみたいだな。 最適化されたCLは最適化されていないCよりは速い scheme処理系作ったりSICPで悟り開いたりしたけど今の使い方は実質電卓 John Cowan 氏が R7RS-large の議長の座を降りることを表明した模様。 実質機能しない規格なんて不要 実用的で無い言語にANSI規格とか要らないだろ 「Type Scriptはlisp」発言頂きましたー >>615 How to Design Programs, Second Edition https://htdp.org/2023-8-14/Book/index.html Chez Scheme の 9.6.2 が五日前にリリースされていた。 Gauche 0.9.13 のリリース候補が出た。 https://sourceforge.net/p/gauche/mailman/message/41039777/ Gauche1.0.0 !! 早く来てくれーーー!!! Gaucheの目的が何なのか知らんけど Gauche のバージョンナンバーの予定はここにかいてある。 http://practical-scheme.net/gauche/devinfo-j.html 「Gauche 1.0」って文字列の違和感がすごい 要望ね。schemeは処理系としては構造が簡単だから適当に作ってもそこそこ良い具合に出来上がるだろうが、 Gauche の目標設定はトップに書かれている。 http://practical-scheme.net/gauche/index-j.html schemeを好きで使ってるやつって俺含めて既に自分の処理系は持ってると思うのだが、 次のリリースはついに1.0だと>Gauche expecting ってのがどのくらいの確信なのか感覚的にわからないのだけど しらんがな Chez Scheme 10.0.0 リリースきた https://github.com/cisco/ChezScheme/releases/tag/v10.0.0 GuileとGaucheって、VMインタープリタ、Cプログラムとの連携・拡張、オブジェクト指向あり、もともとR5RS。 ガイル？ >>634 >>1 のスレにAAあるから見てこいよ Sagittarius 0.9.11 も来たよ～～～。 https://bitbucket.org/ktakashi/sagittarius-scheme/wiki/Release%20Note%200.9.11 【検証】40時間Lispを勉強したら信者になれる？【Lisp1】 https://youtu.be/V2GM9lR-Di0 https://youtu.be/JvsSt_ksKiw 神の言語からschemeを経て生まれたjavascriptは人間にとってはちょうどいいバランスだったわけだな それの前にポールグレアムいじり回が3回あって ポールグレって本職の人じゃなかったんだな MIT卒でLispで儲けたあと、ベンチャーキャピタルになった元本職かな エッセイストだと思うけどマとしては通販サイトとか作ってたんだっけ そもそもハッカーであるかにガンガンプロダクト作る的な意味での本職マか否かは関係ないと思うのです おれはlispはスゴイ神の言語とかくっさいワナビ主張は大嫌いだけど、lispはハッカー言語という主張には賛同したい >>646 の十分条件に対して) >>648 >>646 lispの話をしよう 文章下手糞すぎて読む気も起きない >>652 の欠点 ストールマンがガンになったらしい 昔MSの偉い人がGNUはガンだとか言ってたな ゆる学徒ハウス別館 https://youtu.be/tLZ8J9tGVEs ゆるコンピュータ科学ラジオ https://youtu.be/Lbt_CCQKWFA >>660 は娯楽コンテンツとしては面白い Lispとは別に2人で集合論やって その人らはLispに大した拘りはないし そうかなあ、論理プログラミングとか自然言語解析とか右側の人大興奮じゃないの >>649 あれはsymbolic pattern matchなのでregexと比べるのは良い例出なかったごめん >>652 にあるシンボルをバラすやつ、まあ3行くらいで書ける小品だけど >>665 >>665 ,668 古いAIのバイブルPAIPすら恥ずかしながら未読の身ですが… Cバックエンドで配列のviewをサポートしてるなら究極的には言語/処理系ではアルゴリズム瑕疵が無い限り有意な差はないよ >>671 >>671 >>671 >>674 >>673 に対する>>671 の回答には期待しているw 中間言語が同じならコーディングの瑕疵は人間工学的な問題 パフォーマンス志向でarrayとdeclareまみれのclはlispっぽさが失われるのがつらい >>671 ,676 ゆる「コンピュータ科学」ラジオなので、集合論でもいいだろｗ どのレスがマウントに見えたのか知らんけど そんな訳ないかw 痛レス追加w 逆に数学ちゃんとやらないからLispでつまづいてイライラするんだろうな でもまぁ左は慶応情報工学、右は数学が得意と言ってるし集合論は楽しみではあるな(他意は無い) 集合論もゲーデルもコンビネーター理論も入門レベルは理解したい そんなことよりCentOS8入れてみたらGuileもEmacsも入ってなくてブチ切れそうなんだけど >>686 >>689 右の人、集合論を勉強すると見せかけてゲーデルエッシャーバッハを持って来ると期待してるw >>652 探してみた、一番下にリンクある http://web.cecs.pdx.edu/ ~mperkows/CLASS_ROBOTICS/lisp-source.html >>670 >>696 にニューラルネットのコードがあったよ、とコメントしておく Lisp系の本あるある 閲覧者にとってどうでもよすぎることしか書かないゴミレビュアーなんだよなkaizen 
