steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge groups of similar operations.

db4
John Benediktsson 2009-06-07 15:21:39 -07:00
parent 2a5db1abd9
commit 6b86f059e7
1 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
extra/brainfuck/brainfuck.factor
View File

@ -19,11 +19,11 @@ TUPLE: brainfuck pointer memory ;
: set-memory ( brainfuck value -- brainfuck ) : set-memory ( brainfuck value -- brainfuck )
over [ pointer>> ] [ memory>> ] bi set-at ; over [ pointer>> ] [ memory>> ] bi set-at ;
: (+) ( brainfuck -- brainfuck ) : (+) ( brainfuck n -- brainfuck )
get-memory 1 + 255 bitand set-memory ; [ get-memory ] dip + 255 bitand set-memory ;
: (-) ( brainfuck -- brainfuck ) : (-) ( brainfuck n -- brainfuck )
get-memory 1 - 255 bitand set-memory ; [ get-memory ] dip - 255 bitand set-memory ;
: (?) ( brainfuck -- brainfuck t/f ) : (?) ( brainfuck -- brainfuck t/f )
get-memory 0 = not ; get-memory 0 = not ;
@ -34,24 +34,24 @@ TUPLE: brainfuck pointer memory ;
: (,) ( brainfuck -- brainfuck ) : (,) ( brainfuck -- brainfuck )
read1 set-memory ; read1 set-memory ;
: (>) ( brainfuck -- brainfuck ) : (>) ( brainfuck n -- brainfuck )
[ 1 + ] change-pointer ; [ dup pointer>> ] dip + >>pointer ;
: (<) ( brainfuck -- brainfuck ) : (<) ( brainfuck n -- brainfuck )
[ 1 - ] change-pointer ; [ dup pointer>> ] dip - >>pointer ;
: compose-all ( seq -- quot ) : compose-all ( seq -- quot )
[ ] [ compose ] reduce ; [ ] [ compose ] reduce ;
EBNF: parse-brainfuck EBNF: parse-brainfuck
inc-ptr = ">" => [[ [ (>) ] ]] inc-ptr = (">")+ => [[ length 1quotation [ (>) ] append ]]
dec-ptr = "<" => [[ [ (<) ] ]] dec-ptr = ("<")+ => [[ length 1quotation [ (<) ] append ]]
inc-mem = "+" => [[ [ (+) ] ]] inc-mem = ("+")+ => [[ length 1quotation [ (+) ] append ]]
dec-mem = "-" => [[ [ (-) ] ]] dec-mem = ("-")+ => [[ length 1quotation [ (-) ] append ]]
output = "." => [[ [ (.) ] ]] output = "." => [[ [ (.) ] ]]
input = "," => [[ [ (,) ] ]] input = "," => [[ [ (,) ] ]]
space = (" "|"\t"|"\r\n"|"\n") => [[ [ ] ]] space = (" "|"\t"|"\r\n"|"\n")+ => [[ [ ] ]]
unknown = (.) => [[ "Invalid input" throw ]] unknown = (.) => [[ "Invalid input" throw ]]
ops = inc-ptr | dec-ptr | inc-mem | dec-mem | output | input | space ops = inc-ptr | dec-ptr | inc-mem | dec-mem | output | input | space