タグ

schemeに関するruiccのブックマーク (8)

  • Scheme 入門 16. 継続

    1. 初めに 今回は Scheme の特徴的なデータ型である継続について説明します。 このデータ型は他のプログラミング言語には無いので理解するのは易しくないかもしれません。 とりあえず、感じをつかんでいただければ結構です。 この文書では、まず一般的な継続について説明し、それから Scheme の継続について説明します。 多くの解説書ではまず Scheme の継続について説明してから、継続渡しスタイルについて説明していますが、 先に継続渡しスタイルについて説明したほうが、なぜ Scheme に継続というデータ型があるのかがわかりやすいと思います。 2. 継続とは 継続とはトップレベルに戻ってくるまでにしなければならない計算です。 実は、継続は計算過程において普遍的に存在しますが、明示的に扱われることが少ないため、 なじみのない概念になっています。例えば、[example 1] を見てみると、

  • 部分継続について本気出して考えてみた - (new Hatena).blog()

    以前何度か部分継続について書いたことがあるんですが、当時は表面的な振る舞いを観察して何となく分かった気になった程度の拙い説明しか出来ませんでした。 その上、最近のプログラミングでもほとんど活用しておらず、改めて理解し直す必要を感じてきた次第です。 そこで今回は、部分継続の概念的な理解を目指し、基礎的な事柄を中心にまとめていきたいと思います。 基的に PLT Scheme (MzScheme) の評価モデルに即して書いていくため、Scheme 一般に当てはまる話になっていない部分もあるかも知れません。その点ご了承ください。 Redex と継続 Scheme の評価モデルにおいて、 (+ 1 (+ 2 0))という式を評価するとき、まず (+ 2 0)の部分が評価され、その結果の値に対して (+ 1 [])という残りの計算が行われます。 ここで角括弧で示した部分を reducible exp

    部分継続について本気出して考えてみた - (new Hatena).blog()
    ruicc
    ruicc 2010/11/04
    継続
  • Write Yourself a Scheme in 48 Hours - Wikibooks, open books for an open world

    The latest reviewed version was checked on 14 November 2024. There are template/file changes awaiting review. Write Yourself a Scheme in 48 Hours is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far!

  • http://www.pat.hi-ho.ne.jp/nobu-nisi/atarasii/ninti.htm

    ruicc
    ruicc 2010/07/05
    概念的記憶と手続き記憶か。
  • Practical Scheme

    このページでは、プログラミング言語Schemeの紹介、および 自作のSchemeのライブラリやアプリケーションの紹介をしてゆきます。 特に、ファイルをパーズしてテキストファイルを生成したりとか、 プロセスを監視したりとか、ちょっとしたGUIをでっちあげる と言った、職業プログラマとしてやってく上で避けて通れない雑用に便利な ライブラリが中心になる予定です。 SchemeはLisp系の言語で、見かけはLispに良く似ています。 Lispと聞いたら人工知能用言語だとか、もう古くさい言語だとか思われることも 多いんですが、CommonLispで書かれた実用的なアプリケーションはいろいろ ありますし、Schemeも拡張言語としてそれなりに使われています。 ただ、いかんせんマイナーな言語であることは間違いなく、メンテできる人が居ない とか他に分かる人が居ないという理由で採用が見送られることがあるのは

    Practical Scheme
    ruicc
    ruicc 2009/02/15
  • MzScheme+Vim 7.1をFedora 8にインストール - ボクノス

    ふふ。案外大変だった。 Fedora8に用意されているMzScheme(plt)パッケージはGCの関係で使えないので、MzScheme家から372のソースを貰ってくる。 http://download.plt-scheme.org/mzscheme/ おし。 展開して、/usr/local/pltにインストールしていく。 % ./configure --prefix=/usr/local/plt --enable-cgcdefault % make % sudo make installデフォルトでは3mというGCになってしまうので、CGCを使う。3mを使う場合はVim側のMakefileをいじる必要がありそう。違いはここら辺。後で読むかも。 MzScheme + Vim 7.1を目指す。CVSから貰ってきて、make。 % ./configure --prefix=/usr/local

    MzScheme+Vim 7.1をFedora 8にインストール - ボクノス
  • vim:scheme.vim

    すいません、最近更新できてません。 以下のリンクのがオススメ。 http://d.hatena.ne.jp/aharisu/20120430/1335762494 http://d.hatena.ne.jp/lemniscus/20120409/1333942456 scheme.vimダウンロードリポジトリhistory概要自動インデントルールTODO生成手順連絡 scheme.vim vim用の、gauche対応のシンタックスファイル。 gaucheの標準モジュールの束縛全てのインデント/カラーリングに対応。 使う際には、下の方の「概要」のところを見て、is_gauche変数をセットしてください。 ダウンロード http://legacy.tir.jp/scheme.vim (2011/01/12 09:27:18 JST更新) リポジトリ https://github.com/aya

  • vimを使ってSchemeのコードを書いている方に質問です。…

    vimを使ってSchemeのコードを書いている方に質問です。 『プログラミングGauche』というを購入しSchemeに取り組み始めました。 中で「Emacsを使うと便利」と大きく取り上げられてノウハウの説明がされているのですが、 vimでも「これを知っておくと快適にコーディングできるよ。」というコツやデバッグ方法など があれば教えてください。括弧の書き順など何でも構いません。 【書籍で紹介されている機能"EmacsからGaucheを使う"】 http://karetta.jp/book-node/gauche-hacks/004640 下記プラグインは導入しております。 【式の評価】 http://d.hatena.ne.jp/ns9tks/20080115/1200416097 【Gauche対応のシンタックス】 http://e.tir.jp/wiliki?vim%3Aschem

  • 1