diff --git a/extra/lisp/lisp-tests.factor b/extra/lisp/lisp-tests.factor index f1db203a78..0312080907 100644 --- a/extra/lisp/lisp-tests.factor +++ b/extra/lisp/lisp-tests.factor @@ -7,7 +7,7 @@ IN: lisp.test [ init-env - "#f" [ f ] lisp-define + "#f" [ f ] lisp-define "#t" [ t ] lisp-define "+" "math" "+" define-primitve diff --git a/extra/lisp/lisp.factor b/extra/lisp/lisp.factor index 0f5e4b4d2e..82a331f2ca 100644 --- a/extra/lisp/lisp.factor +++ b/extra/lisp/lisp.factor @@ -2,7 +2,8 @@ ! See http://factorcode.org/license.txt for BSD license. USING: kernel peg sequences arrays strings combinators.lib namespaces combinators math bake locals locals.private accessors -vectors syntax lisp.parser assocs parser sequences.lib words quotations ; +vectors syntax lisp.parser assocs parser sequences.lib words quotations +fry ; IN: lisp DEFER: convert-form @@ -12,52 +13,52 @@ DEFER: lookup-var ! Functions to convert s-exps to quotations ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! : convert-body ( s-exp -- quot ) - [ convert-form ] map [ ] [ compose ] reduce ; inline + [ ] [ convert-form compose ] reduce ; inline : convert-if ( s-exp -- quot ) - rest [ convert-form ] map reverse first3 [ % , , if ] bake ; - + rest first3 [ convert-form ] tri@ '[ @ , , if ] ; + : convert-begin ( s-exp -- quot ) - rest [ convert-form ] map >quotation [ , [ funcall ] each ] bake ; - + rest [ convert-form ] [ ] map-as '[ , [ funcall ] each ] ; + : convert-cond ( s-exp -- quot ) - rest [ body>> >array [ convert-form ] map first2 swap `{ [ % funcall ] , } bake ] - map >array [ , cond ] bake ; - + rest [ body>> first2 [ convert-form ] bi@ [ '[ @ funcall ] ] dip 2array ] + { } map-as '[ , cond ] ; + : convert-general-form ( s-exp -- quot ) - unclip convert-form swap convert-body [ , % funcall ] bake ; + unclip convert-form swap convert-body swap '[ , @ funcall ] ; ! words for convert-lambda > ] dip at swap or ] + [ dup lisp-symbol? [ over dupd [ name>> ] dip at swap or ] [ dup s-exp? [ body>> localize-body ] when ] if ] map ; - + : localize-lambda ( body vars -- newbody newvars ) - make-locals dup push-locals swap - [ swap localize-body convert-form swap pop-locals ] dip swap ; + make-locals dup push-locals swap + [ swap localize-body convert-form swap pop-locals ] dip swap ; : split-lambda ( s-exp -- body vars ) - first3 -rot nip [ body>> ] bi@ [ name>> ] map ; inline - + first3 -rot nip [ body>> ] bi@ [ name>> ] map ; inline + : rest-lambda ( body vars -- quot ) - "&rest" swap [ remove ] [ index ] 2bi - [ localize-lambda ] dip - [ , cut swap [ % , ] bake , compose ] bake ; - + "&rest" swap [ index ] [ remove ] 2bi + localize-lambda + '[ , cut '[ @ , ] , compose ] ; + : normal-lambda ( body vars -- quot ) - localize-lambda [ , compose ] bake ; + localize-lambda '[ , compose ] ; PRIVATE> - + : convert-lambda ( s-exp -- quot ) - split-lambda dup "&rest" swap member? [ rest-lambda ] [ normal-lambda ] if ; - + split-lambda "&rest" over member? [ rest-lambda ] [ normal-lambda ] if ; + : convert-quoted ( s-exp -- quot ) - second [ , ] bake ; - + second 1quotation ; + : convert-list-form ( s-exp -- quot ) - dup first dup lisp-symbol? + dup first dup lisp-symbol? [ name>> { { "lambda" [ convert-lambda ] } { "quote" [ convert-quoted ] } @@ -67,35 +68,35 @@ PRIVATE> [ drop convert-general-form ] } case ] [ drop convert-general-form ] if ; - + : convert-form ( lisp-form -- quot ) - { { [ dup s-exp? ] [ body>> convert-list-form ] } - { [ dup lisp-symbol? ] [ [ , lookup-var ] bake ] } - [ [ , ] bake ] - } cond ; - + { { [ dup s-exp? ] [ body>> convert-list-form ] } + { [ dup lisp-symbol? ] [ '[ , lookup-var ] ] } + [ 1quotation ] + } cond ; + : lisp-string>factor ( str -- quot ) - lisp-expr parse-result-ast convert-form lambda-rewrite call ; - + lisp-expr parse-result-ast convert-form lambda-rewrite call ; + ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! SYMBOL: lisp-env ERROR: no-such-var var ; : init-env ( -- ) - H{ } clone lisp-env set ; + H{ } clone lisp-env set ; : lisp-define ( name quot -- ) - swap lisp-env get set-at ; - + swap lisp-env get set-at ; + : lisp-get ( name -- word ) - dup lisp-env get at [ ] [ no-such-var throw ] ?if ; - + dup lisp-env get at [ ] [ no-such-var throw ] ?if ; + : lookup-var ( lisp-symbol -- quot ) - name>> lisp-get ; - + name>> lisp-get ; + : funcall ( quot sym -- * ) - dup lisp-symbol? [ lookup-var ] when call ; inline - + dup lisp-symbol? [ lookup-var ] when call ; inline + : define-primitve ( name vocab word -- ) - swap lookup [ [ , ] compose call ] bake lisp-define ; \ No newline at end of file + swap lookup 1quotation '[ , compose call ] lisp-define ; \ No newline at end of file