M-expr

.

.
M 式で生活してみる

小宮山敦史

KITCC

小宮山敦史 (KITCC) M 式で生活してみる 1/8

自己紹介

小宮山敦史
京都の大学院 2 回生
twitter:komiyamb
github:Atsushi-KOMIYAMA
C で書いた Lisp インタプリタ
LOL 参考にして C で書いた forth インタプリタ


自己紹介

小宮山敦史
京都の大学院 2 回生
twitter:komiyamb
github:Atsushi-KOMIYAMA
C で書いた Lisp インタプリタ
LOL 参考にして C で書いた forth インタプリタ
リリカル Lisp の校正とか
Lisp ギャグ Advent Calendar のネタ 1∼2 個


M式

Lisp といえば S 式
(defun fact (x) (cond ((eq x 0) 1) (t (∗ x (fact (- x 1))))))
S 式はかっこが多くて読みにくい1

1
当部比

M式

かっこが少ない書き方があれば……

1
当部比

M式

そこで人間が読みやすい (?)M 式！(S 式は機械が読みやすい)
fact[x] = [x=0 -> 1; T -> x∗fact[x-1]]

1
当部比

M式

そこで人間が読みやすい (?)M 式！(S 式は機械が読みやすい)
fact[x] = [x=0 -> 1; T -> x∗fact[x-1]]
Lisp1.5 のマニュアルには M 式で例が載っている
M-expressions S-sxpressions
car[x] (CAR X)
T (QUOTE T)
id[x]=x (DEFUN ID (X) X)

1
当部比

M 式 READER

今の Lisp 処理系は大抵 S 式しか受け付けない……


M 式 READER

M 式で入力できる処理系作るか……？


M 式 READER

と思ったが探したらあった
http:
//www.informatimago.com/develop/lisp/com/informatimago/
small-cl-pgms/m-expression/m-expression.lisp
CommonLisp で M 式の REPL
リードした M 式を S 式に変換して処理系に渡すプログラム
やっぱり誰か作ってるよねー


M 式 READER

と思ったが探したらあった
http:
//www.informatimago.com/develop/lisp/com/informatimago/
small-cl-pgms/m-expression/m-expression.lisp
CommonLisp で M 式の REPL
リードした M 式を S 式に変換して処理系に渡すプログラム
やっぱり誰か作ってるよねー
コレさえあれば M 式だけで Lisp ができる……？


M 式 WRITER

人からもらったソースがもし S 式だったら！
？
(defun parse-m-term (parser)
(cond
((token-p :m-open parser)
(with-parens (paser :m-open :m-close)
‘(cond ,@(parse-m-clauses parser))))
((token-p :s-open parser)
‘(quote ,(parse-s-expr parser)))
...


M 式 WRITER

？
(cond
...

S 式->M 式コンバータがあれば M 式になるので読める！
(defun id (x) x) → id[x] = x


M 式 WRITER

？
(cond
...

S 式->M 式コンバータがあれば M 式になるので読める！
(defun id (x) x) → id[x] = x
作ってみた


S 式->M 式コンバータ
.
s2m[sexp] = [stringp[sexp]->format[nil;""~A"";sexp];
atom[sexp]->format[nil;"~(~A~)";sexp];
eq[DEFUN;car[sexp]]->format[nil;"~(~A[~A]~) = ~A;";
s2m[cadr[sexp]];
s2m-params[caddr[sexp]];
s2m[cadddr[sexp]]];
eq[SETQ;car[sexp]]->format[nil;"~A := ~A;";
s2m[cadr[sexp]];
s2m[caddr[sexp]]];
eq[LAMBDA;car[sexp]]->format[nil;"λ [~([~A~)]; ~A]";
s2m-params[cadr[sexp]];
s2m[caddr[sexp]]];
eq[COND;car[sexp]]->format[nil;"[~{~A~^;~}]";
mapcar[λ [[x];
format[nil;"~A->~A";
s2m[car[x]];
s2m-params[cdr[x]]]];
cdr[sexp]]];
eq[QUOTE;car[sexp]]->format[nil;"~:@(~A~)";
cadr[sexp]];
t->format[nil;"~(~A~)[~A]";
s2m[car[sexp]];
s2m-params[cdr[sexp]]]];
s2m-params[params] = format[nil;"~{~A~^;~}";
mapcar[function[s2m];
params]];


S 式->M 式コンバータ
.
(defun s2m (sexp)
(cond ((stringp sexp) (format nil ""~A"" sexp))
((atom sexp) (format nil "~(~A~)" sexp))
((eq ’defun (car sexp))
(format nil "~(~A[~A]~) = ~A;" (s2m (cadr sexp))
(s2m-params (caddr sexp))
(s2m (cadddr sexp))))
((eq ’setq (car sexp))
(format nil "~A := ~A;" (s2m (cadr sexp)) (s2m (caddr sexp))))
((eq ’lambda (car sexp))
(format nil "λ [~([~A~)]; ~A]" (s2m-params (cadr sexp))
(s2m (caddr sexp))))
((eq ’cond (car sexp))
(format nil "[~{~A~^;~}]" (mapcar (lambda (x)
(format nil "~A->~A"
(s2m (car x))
(s2m-params (cdr x))))
(cdr sexp))))
((eq ’quote (car sexp))
(format nil "~:@(~A~)" (cadr sexp)))
(t (format nil "~(~A~)[~A]" (s2m (car sexp))
(s2m-params (cdr sexp))))))
(defun s2m-params (params)
(format nil "~{~A~^;~}" (mapcar #’s2m params)))


まとめ

S 式よりかっこが少ない M 式


まとめ

M 式を CommonLisp で読むプログラムの紹介


まとめ

S 式を M 式に変換するプログラムを作った


まとめ

S 式を M 式に変換するプログラムを作った
これで S 式を覚えなくても Lisp が書けるね (笑)


M-expr

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (11)

Ähnlich wie M-expr

Ähnlich wie M-expr (10)

Kürzlich hochgeladen

Kürzlich hochgeladen (9)

M-expr