gentooの/etc/portage/distfilesをきれいにするぞ
ecleanを使う。
標準では入っていないので、gentoolkitを入れる必要がある。
dオプションをつけると、現在のバージョン以外が消える。(man曰く、only keep the minimum for a reinstallation)
日付やサイズ等のオプションもつけられるが、再ダウンロードすればよいので気にせず消した。
eclean distfiles -d
scheme処理系を実装中です。
Kobe University Advent Calendar 2016の22日目の記事です。
そして私はB3のniyarinです。
本編に関係ないネタ
本編が少し雑なので、xmas treeを出力するスクリプトをてきとーにschemeで書きました
(define decorate #f) (let ((pos-seed 1) (shape-seed 1)) (set! decorate (lambda (leaves) (for-each (lambda (_) (set! pos-seed (modulo (+ (* pos-seed 3) 7) 26)) (set! shape-seed (modulo (+ shape-seed 1) 3)) (if (< pos-seed (string-length leaves)) (string-set! leaves pos-seed (list-ref '(#\@ #\? #\$) shape-seed)))) (make-list 3)) leaves))) (define tree-data (let loop1 ((width '( 0 2 6 10 ))(updates '(1 1 2 2 ) )) (if (null? width) '() (append (let loop2 ((w (min 1 (car width)))) (if (> w (car width)) '() (cons (string-append (substring " " 0 (- 13 w)) (decorate (substring "*********************" 0 (+ (* w 2) 1)))) (loop2 (+ w (car updates) ))))) (loop1 (cdr width)(cdr updates)))))) (define tree-pot (let ((space " ") (edge "| |") (bottom "-------")) (append (map (lambda (_) (string-append space edge)) (make-list 2 )) (list (string-append space bottom))))) (for-each (lambda (x) (display x)(newline)) (append tree-data tree-pot))
結果
* *?* ***** *?* ******* *?********* *** *?***** **********$ *?************* **********$@**?**** | | | | -------
ネタおしまい。
scheme処理系を実装している話
・未完成です。
・上のxmas tree scriptも動きません
・ページ
今回は、中でどんな処理をしているのか雑に説明します。
処理系の概要
・r7rsを目指す。
・JavaScriptで実装。
・VM型
終わったこと
・末尾呼び出し最適化
・末尾呼び出しでなくても最適化する
・syntax-rules
・第一級継続
・dynamic-wind
・多値
コンパイル手順
α変換&マクロ展開&syntax展開 → cps conversion → closure conversion & lambda lifting
→VMコード生成
α変換
名前の衝突は後の処理で厄介になりそうなのでリネームします。
例
(lambda (a)(lambda (a) (+ a 1))) -> (lambda (a) (lambda (a_2) (+ a_2 1)))
cps conversion
継続を陽に表すようなコードに変換します。
私の処理系では、これを第一級継続、末尾呼び出し最適化に使用しているので割と大事な処理だったりします。
例
(+ (+ a b)(+ c d)) -> (+ a b (lambda (r1) (+ c d (lambda (r2) (+ r1 r2 ret)))))
closure conversionとlambda lifting
自由変数を削除する変換です
lambda liftingはlambda式のparameterを拡張する変換です
例
(let ((a 1)) ((lambda (b c) (+ a b c )) 2 3)) -> (let ((a 1)) ((lambda (b c a)(+ a b c )) 2 3 a ))
closure conversionは、closureを手続きと自由変数の値のペアで表現するという変換です。
末尾呼び出し最適化
すべての手続き呼び出しで、call stackを必要としないコードに変換することで実現しました。
具体的には、cps conversionで戻りアドレスを不要にして、
closure conversionで外の自由変数を削除するという方針です。
おしまい
syntax-rulesの仕様を読んで確認した
r7rsのsyntax-rulesのパターンの部分の仕様を読んで確認する。(vectorは省く)
とる形は、以下の4つ(Pはパターンで、[ellipsis]は、0個以上の繰り返し)
1. (P1 ... Pn )
2. (P1 ... Pn . Pn+1)
3. (P1 ... Pk Pe [ellipsis] Pm+1 ... Pn)
4. (P1 ... Pk Pe [ellipsis] Pm+1 ... pn . Px )
つまり、
1.真性リストで[ellipsis]を含まない。
2.非真性リストで[ellipsis]を含まない。
3.真性リストで[ellipsis]を含む。
4.非真性リストで[ellipsis]を含む。
ということか。
1
(define-syntax check-1 (syntax-rules () ((_ (a b c d e)) (quote (a b c d e))))) (display (check-1 (1 2 3 4 5)))(newline) ;(1 2 3 4 5)
真性リストで同じ要素数のものだけしかマッチしない。
特になし
2
(define-syntax check-2 (syntax-rules () ((_ (a b . c))(quote (a b c))))) (display (check-2 (1 2 )))(newline);(1 2 ()) (display (check-2 (1 2 3 )))(newline);(1 2 (3)) (display (check-2 (1 2 3 4 5)))(newline);(1 2 (3 4 5)) (display (check-2 (1 2 . 3)))(newline);(1 2 3)
非真性、真性どちらでもよく、左から順にマッチさせていき、のこりを最後のcdr部にマッチさせる。
これも、特になし。
3
(define-syntax check-3 (syntax-rules () ((_ (a b ... c d ))(quote (a b ... c d ))))) (display (check-3 (1 2 3 4 5)))(newline);(1 2 3 4 5) (display (check-3 (1 2 3)))(newline);(1 2 3)
真性リストで、[ellipsis]の左側と右側をマッチさせて、残りを[ellipsis]の所にマッチさせる。
これも、特になし。
4-1
全部、パターン変数の場合。
(define-syntax check-4a (syntax-rules () ((_ (a b ... c . d))(quote (b ... d ))))) (display (check-4a (1 2 3 4 5)))(newline);(2 3 4 ()) (display (check-4a (1 2 3 4 . 5)))(newline);(2 3 5) (display (check-4a (1 2 3)))(newline);(2 ())
処理系によっては、動かなかったり、明らかに間違った結果がでたりした。
saggitarius0.6.11やgauche0.9.5の結果だと、
非真性リストを入れると、末尾cdr同士、それ以外同士でマッチングし、
真性リストを入れると、patternの末尾cdrにnullがマッチして、全部その左側にマッチする。
4-2
定数を入れた場合。
(define-syntax check-4b (syntax-rules () ((_ (1 2 ... 3 . d))(quote d )))) (print (check-4b (1 2 2 2 3 . 4 )));4
真性リストを入力した場合、最後のcdr要素(null)だけが、Pxにマッチするので、
Pnまでうまくマッチできそうなケースでもだめだね。
ウサギとカメ(循環リスト)
連結リストで循環しているかどうか、どこで循環が始まっているのかを検出する。
正式には、Floyd's cycle-finding algorithmと呼ぶらしい。
証明は省くが、だいたい↓のような手順
循環判定
・セルを2つづつ移動するのをウサギ、1つづつ移動するのをカメとして、1ステップずつシミュレートする。
・ウサギとカメが出会う(同じセルにいる)場合そのリストは循環している。
循環場所の検出
・ウサギを最初のセルにもどし、ウサギのスピードを1にする。
・再度シミュレートして、ウサギとカメが出会ったセルが循環のスタート地点。
コード
hare:ウサギ
tortoise:カメ
is_circle_listは、循環リストなら循環スタートのセルを返し、そうでなければfalseを返す。
var Cell = function(a,b){ this.car = a; this.cdr = b; } var is_circle_list = function(ls){ var hare = ls; var tortoise = ls; while (true){ if (hare.cdr == null || hare.cdr.cdr == null){ return false; } hare = hare.cdr.cdr; tortoise = tortoise.cdr; if (hare == tortoise){ break; } } hare = ls; while (true){ if (hare == tortoise){ break; } hare = hare.cdr; tortoise = tortoise.cdr; } return hare; }
schemeのパラメータオブジェクトの使い方を調べた。
r7rsでは標準。
パラメータオブジェクトは、値を束縛して動的存続期間中にその値を変更できるオブジェクト。
make-parameterで、パラメータオブジェクトを作れる。
(define foo (make-parameter 123)) (foo);123
パラメータオブジェクトに値を渡した時の挙動は処理系依存とされているが、
CHICKEN,picrinなど、値を変更するケースが多い。
(foo);123 (foo 100) (foo);100
parameterizeを使うと、その中でのパラメータオブジェクトが返す値を変更できる。
(foo);123 (parameterize ((foo 10)) (foo));10 (foo);123
make-parameterに2つ引数(init converter)を渡すと、初期化や値の変更時に
converterを通した値がセットされる。
(define boo (make-parameter 123 (lambda (x) (* x x )))) (boo);15129 (boo 3);9
python-mechanizeでログインするぞ。
mechanizeは、スクレイピングとか用のweb操作ライブラリ。
標準ではないのでpip等でinstall。
で、ためしにログイン画面をつくってmechanizeでアクセスする。
ログイン画面はこんなかんじ。
index.html
<html> <head> </head> <body> <form name="LOGIN" action="/cgi-bin/form_test.py"> USERNAME <input type="text" name="USERNAME"></input><br> PASSWORD <input type="text" name="PASSWORD"></input><br> <input type="submit"></input> </form> <div id="foo"></div> </body> </html>
cgi-bin/form_test.py
#!/usr/bin/env python import cgi print "Content-Type: text/html\n\n" print "<html><body>" form = cgi.FieldStorage() name = form["USERNAME"].value password = form["PASSWORD"].value if name == "user" and password == "pass": print "OK" else: print "ERROR" print "</body></html>"
ユーザ名がuserで、パスワードがpassだとOK、それ以外だとERRORと出力するようにした。
クライアントは以下
#coding:utf-8 import mechanize URL = "http://127.0.0.1:8000" #ブラウザオブジェクトを生成 br = mechanize.Browser() #robot.txtを無視 br.set_handle_robots(False) #アクセス br.open(URL) #form情報を作る br.select_form(name="LOGIN") br["USERNAME"] = "user" br["PASSWORD"] = "pass" #submit ret = br.submit() #帰ってきたhtmlを見る print ret.read()
以上。
schemeのdatum label
datum labelを使うとschemeの循環構造を表記できる。
(define x (list 1 2 3 )) (set-cdr! (cddr x) x) ;#0=(1 2 3 . #0#) (define y (list 4 x 6)) (set-cdr! (cddr y) y) ;#0=(4 #1=(1 2 3 . #1#) 6 . #0#) (define z (quote #0=(1 2 . #0#))) ;#0=(1 2 . #0#)