「クロージャ」という言葉について
http://b.hatena.ne.jp/entry/kenokabe-techwriting.blogspot.com/2015/04/blog-post_30.html http://kenokabe-techwriting.blogspot.jp/2015/04/amazon102-93.html この記事自体はどうでも良いのだけど、以前「クロージャ」という言葉の初期の使用例を探したことがあったのを思い出したので、参考までに。 Landin "A λ-Calculus Approach" (1966) We represent the value of a λ-expression by a bundle of information called a "clusure", comprising the λ-expression and the environment relati
著書の「クロージャ」の説明が誤っているとの指摘が、誤っていることついて
著書の「クロージャ」の説明が誤っているとの指摘が、誤っていることついて 2015年4月30日木曜日 著書、関数型プログラミングに目覚めた! IQ145の女子高校生の先輩から受けた特訓5日間 について、 「クロージャ」の説明が誤っています と、また☆1のレビューが投稿されていますが、誤っていることを説明します。 おそらく、これまでそれを眼にしたかなり多くの技術者が「ああ間違った指摘をしているレビューだ」と理解していることだと思いますが、おそらくこのレビューも単に、 「技術的反論は何一つ見受けられない」と宣言したことを「挑戦」と受け取り、 脊髄反射的に応じた、単なるネガティブキャンペーンが第一目的であり、 広い読者、技術者、学習者にむけて「正しい知識を共有すること」ではないのでしょうから、 このブログ記事の説明をもっても、今後そのまま誤ったまま放置され、訂正される、という良識は当
Scheme:非正確な整数
Gauche:Bugsから移動 (floor 10.5) -> 10.0 (0.8.9) OsN (2007/03/15 01:43:38 PDT): 勘違いしているかもしれませんが、、、 gosh> (floor 10.5) 10.0 floor, ceiling, truncate, round は integer を返す、とドキュメントに ありますので、(floor 10.5) で 10 でなく、10.0 が返ってくるのが違和感あります。 Shiro(2007/03/15 02:28:08 PDT): 10.0はintegerですよ。非正確数ではありますが。 ちなみに正確数を渡せば正確なintegerが返ります。 gosh> (floor 21/2) 10 逆に、整数を要求する手続きに非正確な整数を渡せば非正確な結果が得られます： gosh> (gcd 60.0 24.0) 12.0
[Scheme-reports] Fwd: Comments on draft 6 about call/cc
Alex Shinn alexshinn at gmail.com Mon Feb 20 02:36:08 EST 2012 Previous message: [Scheme-reports] Comments on draft 6 Next message: [Scheme-reports] Fwd: Comments on draft 6 about call/cc Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Forwarding to the list. Thank you very much for your comments, Oleg! I'll reply separately. -- Alex ---------- Forwarded message ---------- From: <ol
An argument against call/cc
We argue against call/cc as a core language feature, as the distinguished control operation to implement natively relegating all others to libraries. The primitive call/cc is a bad abstraction -- in various meanings of `bad' shown below, -- and its capture of the continuation of the whole program is not practically useful. The only reward for the hard work to capture the whole continuation efficie
Scheme:ExplicitMonad
Shiro: SchemeでMonadを書こう、という話はちょくちょくある。 OlegさんのMonadic Programming in Scheme Neelakantan KrishnaswamiのMonads in Scheme teranishiさんのページ howm wiki - モナド 実用的な見地からは、Monadが便利なのはモナド則を満たす基本演算を定義 しておけば他の色々な操作がジェネリックに行えることだ。 (call-with-iteratorsさえ定義しておけばgauche.collectionの色んな ジェネリック関数が使えるようになりますよ、というのに似ている)。 ただ、Schemeのような実行時型判定を行う言語でMonadを使おうとすると どうもすっきりいかない。というのは、Monadの基本演算が引数の型だけでなく 戻り値の型でディスパッチする必要があるからだ。
Functional Programming in Scheme
Functional Programming in Scheme With Web Programming ExamplesKurt Nørmark Department of Computer Science, Aalborg University, Denmark Title page Abstract All exercises in this material All references in this material
Lisp/Scheme Interpreter & Compiler
ようやくLOL(LET OVER LAMBDA Edition 1.0)を読了した今日この頃です。わからないことだらけです。7章のForthを実装するところから書いてみようと思っています。 本題ただのメモです。 最近、一日のうちに何度も「PCを開くにも本を開くにも中途半端な時間」が多く発生するので、携帯で2chを見てます。 【SICP】計算機プログラムの構造と解釈 Part2 99 ：デフォルトの名無しさん：2008/02/18(月) 22:30:16 >>94 > Essentials of Programming Languages > 71. Continuation Passing Interpreterで。 3章がenvironment passing interpreterで、 7.3がimperative interpreger。 Reflection http://libr
Scheme処理系 Gauche の最適化まとめ前編 - higepon blog
shiro さんが開発されている Scheme 処理系 Gauche 0.8.12 の最適化処理を勉強のためにまとめました。 よく Gauche のコードは宝の山だと聞きますが、その一端を分かってもらえるとうれしいです。 基本的にGaucheのコードのコメントをまとめただけです。 Scheme のソースコードと簡単な英語が読める人はこのまとめを読むより src/compile.scm を直接読んだ方が正確に理解できると思います。 前提1 コンパイルと実行の流れ Gauche はスタックマシン型の仮想マシンでコードを実行します。 そのため Scheme のコードはスタックマシンで実行可能なコードにコンパイルされます。 つまり Scheme のコード →（コンパイル） マシンコード →（実行） 結果 という流れでコードが実行されることになります。 今回取り上げる、最適化は上の流れの「コンパイル
Schemeのマクロ - Island Life
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
Scsh - The Scheme Shell
Scsh is an open-source Unix shell embedded within Scheme, running on all major Unix platforms including AIX, Cygwin, Linux, FreeBSD, GNU Hurd, HP-UX, Irix, Mac OS X, Solaris, and some others. Scsh is a variant of Scheme 48 (an R5RS compliant new-tech Scheme system) Scsh is designed for writing real-life standalone Unix programs and shell scripts. Scsh spans a wide range of application, from “scrip
KMP's PFAQ: UNWIND-PROTECT vs Continuations (page 3)
Kent’s Original Complaint This original document was later updated. Click on the above tabs to see the updates. Problem Description The thesis of this article is that Scheme is mis-designed in that it does not seriously allow for the implementation of unwind-protect. The community of Scheme designers has rejected my repeated calls over the years to fix this problem. The The Revised5 Report on the
Three Dogmas of Scheme
Three Dogmas of Scheme (Recursion, Single name space and Continuation) R6RS にざっと目を通して一番驚いたのはそれまでの表示意味論が捨てられてしまっていることでした。 しかし 表示意味論 を捨てるなら以下に並べる Scheme 三つのドグマも捨てられなきゃ嘘だろう、ということでコメントしてみます。 Recursion (再帰) Scheme は何でも再帰です。 後で示すように、一見 iteration のような格好をしている構文ですら、 一旦末尾再帰に置き換えられてから実行されます。 つまり Scheme はその仕様に iteration を持ちません。 これが関数型プログラミングと関係の深い表示意味論からの要請であったことは容易に想像がつきます。 しかし、表示意味論が捨てられた今、反復制御構造に recursion
Technical Issues of Separation in Function Cells and Value Cells
Technical Issues of Separation in Function Cells and Value Cells This paper appears in Lisp and Symbolic Computation, Volume 1, No. 1, June 1988, pp81-101. The substance of the original text appears in normal fonting, though a small number of out-and-out typos were corrected. Oddities of spelling that were the custom of the time (either generally, or just for me) were left alone. Some formatting
A正規形まとめ - Scheme VM を書く - higepon blog
A正規形についてまとめました。日本語の資料があまりに少ないのでまとめたのですが、正直理解できているか不安です。間違いを含んでいる可能性がある点にご注意ください。 間違いのご指摘やツッコミ大歓迎です。 あと念のため書いておきますが題材は、Schemeですが、A正規形自体はLispやSchemeに特化した話ではなく、もっと一般的な話です。 A正規形の論文 The Essence of Compiling with Continuations - Flanagan, Sabry, Duba, Felleisen (ResearchIndex)という論文で解説されています。 この論文を読んで自分なりに理解できたことをここに書いています。 理解の前提 Scheme の let 式が分かっていないと理解が難しいかもしれません。 A正規形は何の役にたちますか？ コンパイラのコード生成時の中間表現として使
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Ryan Culpepper, Matthias Felleisen. Fortifying Macros (pdf)
Tumblr
Tumblr
First-class environments. Discuss. ;) | Lambda the Ultimate
https://cs.indiana.edu/~dyb/papers/3imp.pdf