R6RSの歩き方
Revised^6 Report on Algorithmic Language Scheme -- アルゴリズム言語 Scheme に関する報告書第6改訂版。 2007年9月に正式に決定された。正式な文書は http://www.r6rs.org/ から 入手できる。 R5RSまでのミニマリズムから、実用主義へ大きく方針変更がなされたため、 仕様の分量もR5RSの50ページからR6RSは全4部、計187ページへと大きく膨らんでいる (ただしコア言語の仕様は90ページ、あとはライブラリや設計上の選択の理由説明である)。 そのため、それまでのミニマリズムを良しとするSchemerと、実用に使えるリッチな 仕様を望むSchemerの間でたいへんな議論となった。 結局、Schemeコミュニティ内で投票が行われ、賛成67票、反対35票、棄権10票で 批准された。しかし、批准の基準である総投票数の6
Karetta|Gaucheプログラミング|「Lisp脳」の謎に迫る - Schemeプログラマの発想
この原稿の最新版について この原稿に加筆した最新版が書籍「プログラミングGauche」に収録されています。 引用や紹介をされる方はなるべく書籍収録版を参照してください。 他の言語のプログラマがSchemeプログラムを書くとき、 どうしても発想が手続き的(procedural)になりがちです。 LispプログラマやSchemeプログラマの発想は手続き的な発想とはどうも違うらしい、 ということは分かるのですが、具体的に何が違うのでしょうか? ここではこの謎に迫ってみましょう。 実例 例えばこんな例題があります。 1から100までの数をプリントするプログラムを書け。ただし3の倍数のときは数の代わりに「Fizz」と、5の倍数のときは「Buzz」とプリントし、3と5両方の倍数の場合には「FizzBuzz」とプリントすること。 どうしてプログラマに・・・プログラムが書けないのか? (原題: Why
Scheme:使いたい人のための継続入門
使いたい人のための継続入門継続渡し形式call/ccは普通の関数call-with系関数call-with-procedurecall-with-continuation-procedurecall-with-current-continuation評価順序と継続call/ccパズルお手元マルチスレッド部分継続reset/pcとcall/pc環境破壊と部分継続部分継続の使用法PRINT-AND-NEXT-REPL議論質問お手元マルチスレッドのサンプルプログラムについて 使いたい人のための継続入門 とりあえず殴り書き。 くどかったり冗長な文章になってたり、重複してたり、間違ってたり、 おおいなる勘違いをしてたり、恥をカいてたりするかもしれないけどご愛敬。 藁をもつかみたい気持ちで継続を使えるようになりたい人は読んでみてください。 ただし所詮は藁です。(ｗ 継続渡し形式 例によって階乗fa
マクロの多用 - higepon blog
マクロの多用といってもSchemeのマクロではない。 C言語のマクロである。 手続きを簡単に効率良く書けるようにという意図。 例えば char=? であれば PROCEDURE(CharcterEqualP, "char=?") { ARGC_SHOULD_BE(2); CAST(ARGV(0), Charcter, c); RETURN_BOOLEAN(c->eqv(ARGV(1))); } の様に書ける。 これが展開されると恐らく100行くらいになる。 このマクロは出来る限り楽をするためのマクロなので クラス定義 必須関数の実装 エラー時の大域脱出処理 処理系への手続きの登録 などの面倒処理を全てやってくれる。 一番悩んだのが処理系への登録手続きの自動化だが、以前 Tino さんが教えてくれた方法を採用した。 static な構造体のコンストラクタを利用する方法である。 マクロの該当部
Scheme 入門 15. 構文の定義
15. 構文の定義 (マクロ) 1. 初めに 今回は Lisp 語族に特徴的機能である、自前の構文を定義する方法（マクロ）について 説明します。マクロが定義できるようになると、プログラムがさらに簡潔に 書けるようになります。 マクロとは式の変換です。 式が評価される前に、または、コンパイル時に式が変換されます。 そして、変換後の式が初めからソースコードに書いてあったかのように処理が行われます。 Common Lisp のマクロ定義はかなり複雑ですが、R6RS に準拠した Scheme では syntax-rules という形式によって比較的簡単に定義できます。 syntax-rules を使うと変数補足などのわずらわしいことを気にしないで、 ”この式をこういう式に変換しろ”ということを直接的に書くことができます。 ただし、syntax-rules で記述できないマクロを書くのは Commo
Javaスクールの危険 - The Joel on Software Translation Project
Joel Spolsky / 青木靖 訳 2005年12月29日木曜 近頃の若い者ときたら。 勤勉はいったいどこへ行ってしまったんだ? 「近頃の若い者」は我慢がないと不平を言うようになったのは、私も年を取ったということなのかもしれない。 そりゃ恵まれてるね。私は3ヶ月汚水浄化槽の中の茶色い紙袋に住んでいたよ。朝6時に起きて、袋を掃除し、固くなったパンの耳を食べ、工場まで歩いて行くと、1日14時間、毎週毎週働きつづけ、家に帰ると親父にベルトでたたかれて寝床についていたんだ。 ——モンティ・パイソンの空飛ぶサーカス 4人のヨークシャー人 私は若い頃、パンチカードでプログラムを作る方法を学んだ。ミスをしたら、それを訂正するためのバックスペースのような近代的な機能は存在しなかった。カードを捨ててはじめから打ち直すのだ。 私は1991年にプログラマの面接をするようになった。コーディングの問題に答える
東京工業大学 情報理工学院 数理・計算科学系
大岡山地区の建物 大学正門より，桜並木のウッドデッキを通り，右手の芝生をつっきる小径が西8号館，西7号館に続くみちです． 大岡山西8号館（Ｅ棟，Ｗ棟）: キャンパスマップの18, 19番の建物にあたります．本館の西隣りに位置しています．正面玄関をはいったところは３階です． Ｅ棟においでの方は廊下をはいってすぐ左手のエレベータをご利用下さい． Ｗ棟にはじめておいでの方は十分に注意して下さい．Ｅ棟とＷ棟を繋いでいる通路は３階と１０階にしかありません．Ｅ棟のエレベータを利用すると迷子になります．正面玄関から廊下をまっすぐにおいでになり，奥の右手にあるエレベータをご利用下さい． 西7号館：キャンパスマップの17番の建物にあたります．西8号館から，建物を二つ挟んだ並びにあります．芝生から向う場合，左手に本館を見ながら進み，本館がとぎれたあたりの右手にある小さな建物が西7号館です．橋を渡ってはいったと
Scheme:メタオブジェクトプロトコル
メタオブジェクトプロトコル(MOP)はCommon Lispのオブジェクトシステムに 採り入れられた概念。Kiczales他の The Art of the Metaobject Protocol が元祖。 Schemeには標準ではついていないが、MOPを使えるように したオブジェクトシステムの実装はいくつかある。 Tiny CLOS Kiczales自身による、CLOSのMOPの簡易版のSchemeによる実装。非常にシンプルで、 MOPそのものの原理を知るにも良い。また非常にポータブルなため、 さまざまなScheme処理系で走らせることができる。 STklos Tiny CLOSを拡張し、またクリティカルな部分を処理系内部で実装することにより 効率を上げている。MOPを使って、GUIツールキット (現在の実装はGtk、 以前のバージョンはTk) を綺麗にSchemeのオブジェクトシステム
OOエンジニアの輪！ 〜 第 21 回 川合史朗 さんの巻 〜
Hope is a good thing, maybe the best of things, and no good thing ever dies. （希望は良いもの、おそらく最上のものだ。そして、良いものは決して消えない。：『ショーシャンクの空に』より） 高林さんとのつながり -- 今回は、高林さんからのご紹介ですが、どういったつながりですか？ 実は、直接お会いしたことは一度もないんです。一番最初はですね、Paul Graham の『Beating the Averages』 っていうのを、私が翻訳（邦題『普通のやつらの上を行け』）させて頂きまして、それの感想をメールで頂いたのがきっかけです。それから、私が開発している Scheme 処理系(Gauche)を使って頂いています。 -- 川合さんにとって翻訳って、あれは自分で読んで面白いものをみんなに見てもらう、っていうところですか？
Racket
#lang racket/gui (define my-language 'English) (define translations #hash([Chinese . "你好 世界"] [English . "Hello world"] [French . "Bonjour le monde"] [German . "Hallo Welt"] [Greek . "Γειά σου, κόσμε"] [Portuguese . "Olá mundo"] [Spanish . "Hola mundo"] [Thai . "สวัสดีชาวโลก"] [Turkish . "Merhaba Dünya"])) (define my-hello-world (hash-ref translations my-language "hello world")) (message-box "" my
Complete Code from SICP 2/e
The following files contain essentially all the Scheme code included in Structure and Interpretation of Computer Programs, 2nd edition. For each chapter, there is a file containing all of the code in that chapter. Implementations of several major systems in the book are also isolated into separate files. To download the following source files, hold shift while clicking on the link. Chapter 1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.gustavus.edu/%20max/concrete-abstractions-pdfs/list.cfm
moratorium | Lambda Calculus Simulator
Gauche:PS3Linux
lexparse.dvi
Cultureua.com
http://uebb.cs.tu-berlin.de/~magr/manuals/gauche-refe/gauche-refe_149.html
様々なアスペクト指向メカニズムのモデル化を支援する パラメータ化インタプリタ 森山 元喜 鵜林 尚靖 九州工業大学情報工学部 本論文では，アスペクト指向メカニズムをモデル化するた�
信頼性の高いコンポーネント技術の研究 研究代表者 玉井哲雄 東京大学大学院・総合文化研究科 研究分担者 柴山悦哉 東京工業大学大学院・情報理工学系研究科 川合 慧 東京大学大学院・��
R6RSドラフト - sumiiのブログ
