Execute Brain****/OCaml: Difference between revisions
m
Fixed syntax highlighting.
No edit summary |
m (Fixed syntax highlighting.) |
||
| (5 intermediate revisions by 5 users not shown) | |||
Line 1:
{{implementation|Brainf***}}{{collection|RCBF}}
Quick implementation of a [[Brainfuck]] interpreter in [[OCaml]].
Like the [[Haskell]] [[RCBF/Haskell|version]] but without the lazy lists:
Pairs of lists are used to implement both the two-side infinite band of cells, and the program storage.
Line 10:
A more efficient implementation could for example only admit well-bracketed brainfuck programs, and parse bracket blocks first, to replace the ''match_left'' and ''match_right'' which need linear time.
<syntaxhighlight lang="ocaml">let move_left (x::l, r) = (l, x::r)▼
▲let move_left (x::l, r) = (l, x::r)
let move_right (l, x::r) = (x::l, r)
Line 39 ⟶ 38:
let modify f (l, x::r) = l, f x :: r
let rec exec p d =
Line 54 ⟶ 49:
exec (move_right p) (modify succ d)
| (_, '-'::_), _ ->
exec (move_right p) (modify
| (_, ','::_), _ ->
let c = read_int () in
Line 71 ⟶ 66:
exec (match_left (move_left p)) d
let run s = exec ([], s) ([0], [0])</syntaxhighlight>
Example output:
| |||