Racket (旧称 PLT Scheme) は、Schemeから派生したプログラミング言語である。Racket プロジェクトは以下の４つから構成されている。 スクリプト処理系、Racket (リッチなランタイムシステム, 豊富なライブラリ, JITコンパイラ などが含まれる） Racketプログラムの開発環境、DrRacket (旧称 DrScheme) コンピューティングとプログラミングを"教養教育カリキュラムの必須分野にする"試み ProgramByDesignアウトリーチ・プログラム。[2] Racketのユーザ作成パッケージの配布システム PLaneT[3]。 歴史[編集] Racket を開発したPLT project は、1990年代中ごろに, Matthias Felleisenによってまず研究グループとして立ち上げられ、その後すぐに、プロジェクトは初心者プログラマ向けの教

かんたんな証明チェッカーを作ってみたいと思います． 関数はたったの7個です． まず1個目の関数が12,000行あります，なんてことはありません :P． 証明パズルとして楽しめると思います． この証明チェッカーは，David Gries さんと Fred B. Schneider さんによる本 A Logical Approach to Discrete Math （邦訳：コンピュータのための数学）を見ながら作りました． 公理と定理の番号はすべて本に合わせてあります． 等式論理 対象とする論理体系は等式論理とします． かんたんにするために命題だけを扱うことにして，述語や量化記号は扱いません． つまり命題等式論理ということです． もしかしたら等式論理というのはあまりなじみがないかもしれません． 正確なところは本などを見ていただくとして，しろうとなりに説明をすると，等号だけが述語で，それに関する

Part 1 Implementing a Scheme-Like InterpreterChapter 1 Introduction1.1 Why Perl? 1.2 Why Scheme? 1.3 References 1.4 Typography 1.5 A Note on the Interpreter Versions Chapter 2 An Introduction to PScheme2.1 PScheme Syntax 2.2 Simple Expressions 2.3 Conditionals 2.4 Global Variables 2.5 Functions 2.6 Local Variables Chapter 3 Interpreter Version 0.0.03.1 The Read-Eval-Print Loop 3.2 The Environment

サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

ゲストブックは閉鎖しました。 ご了承ください。

Shriram Krishnamurthi, Fiona Hopkins, Jay McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias FelleisenHigher-Order and Symbolic Computation, 2007Abstract The PLT Scheme Web Server uses continuations to enable a natural, console-like program development style. We describe the implementation of the server and its use in the development of an application for managing conference paper reviews. In the

メタオブジェクトプロトコル(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のオブジェクトシステム

The Bigloo Programming LanguageThe Bigloo programming is a strict-parenthetical-function programming language. It belongs to the Lisp programming language family, and more specifically, it is a descendant of the Scheme programming language. Its design is governed by one rule: enabling Scheme-based programming style where C(++) is usually required. Bigloo aims at being a practical programming langu

先日のSICP読書会で、lambda式をcutで書く方法を見せたらid:yad-EL氏に気持ち悪がられたのでエントリにしておきます。 cut, cute マクロはSRFI 26で定義されていて、Gaucheでは標準で使えます。 → Gaucheリファレンスマニュアル　4.3 手続きを作る いわゆる部分適用を実現するために使えます。 例えば、値を３倍にして返す関数 (lambda (x) (* x 3)) は (cut * <> 3) のように書けます。mapなどに渡すときにも (map (lambda (x) (* x 3)) lst) の代わりに (map (cut * <> 3) lst) と書けて簡潔です。 （※最近流行りのArcでは[* _ 3]と書けます） 可変長引数 <...>で可変長引数にも対応します。 (cut list <> 'is <...>) → (lambda (x