bf.cfg

   1 // DP console is TURING COMPLETE!
   2
   3 alias _bf_vcall "${$1} ${2- ?}"
   4
   5 // number system
   6 // Xon RPN: set $_bf_zero 0
   7 // Xon RPN: alias _bf_inc "rpn /$1 $2 1 add def"
   8 // Xon RPN: alias _bf_dec "rpn /$1 $2 1 sub def"
   9
  10 // unary
  11 // decimal | unary
  12 //       0 | 0
  13 //       1 | +
  14 //       2 | ++
  15 //      -1 | -
  16 //      -2 | --
  17 alias _bf_zero "set $1 0"
  18 alias _bf_one "set $1 +"
  19 alias _bf_minus_one "set $1 -"
  20 alias _bf_return_3 "set $1 $3"
  21 alias _bf_return_4 "set $1 $4"
  22 set _bf_zero "0"
  23 alias _bf_inc_loop1 "set _bf_tmp_$3 _bf_inc_loop2; set _bf_tmp_+$2 _bf_return_3; _bf_vcall _bf_tmp_$3 $*"
  24 alias _bf_inc_loop2 "set _bf_tmp_$2 _bf_inc_loop3; set _bf_tmp_-$4 _bf_return_4; _bf_vcall _bf_tmp_$2 $*"
  25 alias _bf_inc_loop3 "_bf_inc_loop1 $1 $2 +$3 -$4"
  26 alias _bf_inc "set _bf_tmp_$2 _bf_inc_loop1; set _bf_tmp_0 _bf_one; set _bf_tmp_- _bf_zero; _bf_vcall _bf_tmp_$2 $1 $2 + -"
  27 alias _bf_dec_loop1 "set _bf_tmp_$3 _bf_dec_loop2; set _bf_tmp_-$2 _bf_return_3; _bf_vcall _bf_tmp_$3 $*"
  28 alias _bf_dec_loop2 "set _bf_tmp_$2 _bf_dec_loop3; set _bf_tmp_+$4 _bf_return_4; _bf_vcall _bf_tmp_$2 $*"
  29 alias _bf_dec_loop3 "_bf_dec_loop1 $1 $2 -$3 +$4"
  30 alias _bf_dec "set _bf_tmp_$2 _bf_dec_loop1; set _bf_tmp_0 _bf_minus_one; set _bf_tmp_+ _bf_zero; _bf_vcall _bf_tmp_$2 $1 $2 - +"
  31 // end of unary
  32
  33 // interpreter state
  34 set bf_input ""
  35 alias _bf_clearstate "set _bf_left \"\"; set _bf_right \"\"; set _bf_register $_bf_zero; set _bf_execstack \"\""
  36 alias _bf_dumpstate "echo rev($_bf_left) < $_bf_register > $_bf_right"
  37
  38 // a STACK!
  39 alias _bf_pop_get "set $2 \"${3 ?}\"; set $1 \"${4- ?}\""
  40 alias _bf_pop_dispatch "_bf_pop_get $1 $2 $_bf_popstack_"
  41 // usage: _bf_pop stackvar outvar defaultvalue
  42 alias _bf_pop "set _bf_popstack_ \"${$1 ?}\"; set \"_bf_popstack_${$1 ?}\" \"${3 ?}\"; _bf_pop_dispatch $*"
  43 // usage: _bf_push stackvar value
  44 alias _bf_push "set $1 \"$2 ${$1 ?}\""
  45
  46 // skip mode: skip until matching ] (1 on _bf_execstack), then continue executing
  47 alias _bf_skip_ "echo PROGRAMM FELL OFF THE EDGE"
  48 alias _bf_skip_+ "_bf_skip_${* ?}"
  49 alias _bf_skip_- "_bf_skip_${* ?}"
  50 alias _bf_skip_< "_bf_skip_${* ?}"
  51 alias _bf_skip_> "_bf_skip_${* ?}"
  52 alias _bf_skip_. "_bf_skip_${* ?}"
  53 alias _bf_skip_, "_bf_skip_${* ?}"
  54 alias _bf_skip_endloop_0 "_bf_skip_${* ?}" // continue skipping
  55 alias _bf_skip_endloop_1 "bf_${* ?}" // back to execution
  56 alias _bf_skip_endloop_dispatch "_bf_skip_endloop_$_bf_stackval ${* ?}"
  57 alias _bf_skip_] "_bf_pop _bf_execstack _bf_stackval; _bf_skip_endloop_dispatch ${* ?}"
  58 alias _bf_skip_[ "_bf_push _bf_execstack 0; _bf_skip_${* ?}"
  59 // enter
  60 alias _bf_skiploop "_bf_push _bf_execstack 1; _bf_skip_${* ?}"
  61
  62 // run mode: execute until matching ] (1 on _bf_execstack), then exit
  63 alias bf_ "echo PROGRAMM FELL OFF THE EDGE"
  64 alias bf_+ "_bf_inc _bf_register $_bf_register; bf_${* ?}"
  65 alias bf_- "_bf_dec _bf_register $_bf_register; bf_${* ?}"
  66 alias bf_< "_bf_push _bf_left $_bf_register; _bf_pop _bf_right _bf_register $_bf_zero; bf_${* ?}"
  67 alias bf_> "_bf_push _bf_right $_bf_register; _bf_pop _bf_left _bf_register $_bf_zero; bf_${* ?}"
  68 alias bf_. "echo $_bf_register; bf_${* ?}"
  69 // note: on EOF, we don't change the register value!
  70 alias _bf_input_get "set _bf_register $_bf_inputval; bf_${* ?}" // read input
  71 alias _bf_input_eof "bf_${* ?}" // at EOF, just continue
  72 alias _bf_input_dispatch "set _bf_inputval_ _bf_input_get; set _bf_inputval_$_bf_inputval _bf_input_eof; _bf_vcall _bf_inputval_ ${* ?}"
  73 alias bf_, "_bf_pop bf_input _bf_inputval; _bf_input_dispatch ${* ?}"
  74 alias _bf_endloop_0 "echo IN SKIP MODE, EXCEPT NOT"
  75 alias _bf_endloop_1 "" // back to caller
  76 alias _bf_endloop_ "echo PROGRAMM FELL OFF THE EDGE"
  77 alias _bf_endloop_dispatch "_bf_endloop_$_bf_stackval ${* ?}"
  78 alias bf_] "_bf_pop _bf_execstack _bf_stackval; _bf_endloop_dispatch ${* ?}"
  79 // enter
  80 alias _bf_runloop "_bf_push _bf_execstack 1; bf_$*; bf_[ ${* ?}"
  81 // loop dispatcher
  82 alias bf_[ "set _bf_runloop_$_bf_zero _bf_runloop; set _bf_runloop_$_bf_register _bf_skiploop; _bf_vcall _bf_runloop_$_bf_zero ${* ?}"
  83
  84 // start it
  85 alias bf_exec "_bf_clearstate; _bf_push _bf_execstack 1; bf_$1 ]"
  86
  87 // "cat"
  88 // Xon RPN: bf_input "1 2 3 4 5"
  89 bf_input "+ ++ +++ ++++ +++++"
  90 bf_exec "[ - ] - , + [ - . + [ - ] - , + ]"
  91
  92 // output 42
  93 // Xon RPN: bf_input "12 6 9"
  94 bf_input "++++++++++++ ++++++ +++++++++"
  95 bf_exec ", > , > , < [ > [ - > + > + < < ] > > [ - < < + > > ] < < < - ] < [ - > > > - < < < ] > > > ."
  96
  97 // hello world
  98 bf_exec "+ + + + + + + + + + [ > + + + + + + + > + + + + + + + + + + > + + + > + < < < < - ] > + + . > + . + + + + + + + . . + + + . > + + . < < + + + + + + + + + + + + + + + . > . + + + . - - - - - - . - - - - - - - - . > + . > ."