lisp builder

Lisp BuilderGroovy内部DSL限界突破の試み

(JGGUG 変なモノ部門より)

G*WS 第四回 2009/7/22NTTソフトウェア上原潤二

12009年7月23日木曜日

言いたいこと2つ


(1)LispBuilderとは何か


(2)Groovy内部DSLは

どこまでやれんのか？


やったこと２つ


(その1)S式をGroovyとして書ける

Builderを作った6


(その2)Lispインタプタを作った


時間の関係上、説明はS式ビルダに絞ります


例9


10

def bx = new LispBuilder1()assert bx.build{progn ${defun; fib; ${n} ${IF; ${or; ${equal; n; $1}; ${equal; n; $2}} $1 ${add; ${fib; ${add; n; $(-1)}} ${fib; ${add; n; $(-2)}}}}} ${fib; $10}}.eval() == 55

クロージャ活用版2009年7月23日木曜日

11

def bx = new LispBuilder2()assert bx.build{$($(progn, $(defun, fib, $(n), $(IF, $(or, $(equal, n, 1), $(equal, n, 2)), 1, $(add, $(fib, $(add, n, -1)), $(fib, $(add, n, -2))))), $(fib, 10)))}.eval() == 55

invokeMethod活用版2009年7月23日木曜日

12

def bx = new LispBuilder3()assert bx.build{[[progn, [defun, fib, [n], [IF, [or, [equal, n, 1], [equal, n, 2]], 1, [add, [fib, [add, n, -1]], [fib, [add, n, -2]]]]], [fib, 10]]]}.eval() == 55

リストリテラル活用版2009年7月23日木曜日

13

LispList(Cons)

eval()apply()

${defun; fib; ${n} ${IF; ${or; ${equal; n; $1}; ${equal; n; $2}} $1 ${add; ${fib; ${add; n; $(-1)}} ${fib; ${add; n; $(-2)}}}}}${fib; $10}

$(defun, fib, $(n), $(IF, $(or, $(equal, n, 1), $(equal, n, 2)), 1, $(add, $(fib, $(add, n, -1)), $(fib, $(add, n, -2))))),$(fib, 10)

[defun, fib, [n], [IF, [or, [equal, n, 1], [equal, n, 2]], 1, [add, [fib, [add, n, -1]], [fib, [add, n, -2]]]]],[fib, 10]

LispBuilder1

LispBuilder2

LispBuilder3


14

Lisp ( ) 1 1.3 “ABC” 区切り

LispBuilder1 ${ } $1 $(1.3) $”ABC” ; or 改行

LispBuilder2 $( ) 1 1.3 “ABC” ,

LispBuilder3 [ ] 1 1 “ABC” ,


Groovyによる内部DSL定義能力の限界について


予約語に別の意味を与えることはできない

(対策)if→IFで置き換え


カンマやピリオドの区切り無しでトークンを連ねることはできない(文法違反)

○ a b ○ a.b.c○ a b,c × (a,b,c)× a b c


クロージャをトップレベルには書けない(ブロック文と曖昧)

c = { .. } : クロージャif (..) { .. } : ブロック{ .. } : 曖昧(文法エラー)


AST変換は強力だがGroovy文法に反するものは扱えない(前述制限はそのまま)


結論20


変なことをやるのには限界がある


普通にしてればあまり困らないのではないかと


http://github.com/uehaj/

LispBuilder/23


lisp builder

Technology