動的環境を指定してthunkを呼ぶ

Scheme Gauche

shift/reset と動的環境の関係についていろいろ考えていた時に出てきた副産物． (use util.match) (define (capture/de proc) (match (let/cc de (list (proc de))) ((r) r) (thunk (thunk)))) (define (with/de de thunk) (let/cc cont (de (.$ cont thunk)…

2012-09-23

make-syntactic-closure の練習

Scheme

(define-syntax alet1 (sc-macro-transformer (lambda (expr use-env) (let ((it-expr (cadr expr)) (var (caddr expr)) (expr1 (cadddr expr)) (body (car (cddddr expr)))) `(let ((it ,(make-syntactic-closure use-env '() it-expr)) (,var ,(make-synta…

2012-09-17

make-syntactic-closure の free-names のイメージ

Scheme

(make-syntactic-closure environment free-names form) の free-names は，let で包むイメージでいいんだろうか． (let ((x 1)) (let-syntax ((foo (sc-macro-transformer (lambda (expr env) (let ((var (cadr expr))) (make-syntactic-closure var (list …

2012-08-22

マイナーカップキャラランク

ポケモン

ポケモン金銀のオリジナルルール「マイナーカップ」のキャラランクを適当に作ってみた．マイナーカップのルールはニンテンドウカップ2000を基準に以下の追加ルール: バタフリースピアーピジョットラッタオニドリルプクリンパラセクトカモネギベロリ…

2012-08-21

Gaucheのリファレンスマニュアルをビルド

Gauche

texi2html 1.70 が入っていたのだけどうまくいかなかった(1時間経っても終わらなかった)ので texi2html 1.82 をインストール．ソースのdoc下で make htmls で40秒程でできた．make html とするとひとまとめになったhtmlが出来上がる．texi2htmlの--splitオプ…

2012-08-19

compute-cplを読む

Gauche

Gaucheのclass.cより引用． /* * compute-cpl */ ScmObj Scm_ComputeCPL(ScmClass *klass) { ScmObj seqh = SCM_NIL, seqt = SCM_NIL, ds, dp, result; /* a trick to ensure we have <object> <top> at the end of CPL. */ ds = Scm_Delete(SCM_OBJ(SCM_CLASS_OBJECT), k</top></object>…

2012-06-15

のゼロ元オブジェクトを作ってみた

Scheme Gauche

(use gauche.collection) (use gauche.mop.singleton) (define-class <zero-collection-meta> (<singleton-meta>) ()) (define-class <zero-collection> (<collection>) () :metaclass <zero-collection-meta>) (define-method call-with-iterator ((class <zero-collection>) proc :key start) (proc (^ () #t) (^ () (err…</zero-collection></zero-collection-meta></collection></zero-collection></singleton-meta></zero-collection-meta>