ocaml-mm-3, Ocaml - rextester

Language: Layout:

module Machine =
  struct

type memory   = int array
    type process  = memory -> unit
    type decision = memory -> bool

type cpu =
      { processes : process array
      ; decisions : decision array }

type program = (int * int * int) array

let majestio : program = [|
      1, 4, 3;
      2, 3, 4;
      3, 2, 1;
      4, 5, 2
    |]

let rec run ?(count = 0) ?(proc = 1) cpu mem program =
      log_state count proc mem ;
      let proc = proc - 1 in
      if 0 <= proc && proc < Array.length program then begin
        let dec, yes, no = program .(proc)       in
        let process      = cpu.processes.(proc)  in
        let decision     = cpu.decisions.(dec-1) in
        process mem ;
        let next = if decision mem then yes else no in
        run ~count:(count+1) ~proc:next cpu mem program
      end

and log_state count process mem =
      let mem = mem |> Array.map (Printf.sprintf "%2d") |> Array.to_list |> String.concat " "
      in Printf.printf "Step: %2d   Proc: %d   %s\n" count process mem

end

module Majestio =
  struct

let process_1 cell =
      cell.(0) <- cell.(0) + 1

let process_2 cell =
      cell.(1) <- cell.(1) + cell.(3) + 1

let process_3 cell =
      let sum_0_1 = cell.(0) + cell.(1) in
      if sum_0_1 mod 3 <> 0 then
        cell.(2) <- cell.(2) + 7

let process_4 cell =
      let sum_0_2 = cell.(0) + cell.(2) in
      if sum_0_2 mod 5 <> 4 then
        cell.(3) <- cell.(3) + 1

let sum = Array.fold_left (+) 0

let decision_1 cell = sum cell mod 2 = 0

let decision_2 cell = sum cell mod 7 > 0

let decision_3 cell =
      let is_even x = x mod 2 = 0 in
      Array.for_all is_even cell

let decision_4 cell = sum cell > 24

let cpu =
      { Machine.

processes =
        [|
          process_1;
          process_2;
          process_3;
          process_4
        |]
      ; decisions =
        [|
          decision_1;
          decision_2;
          decision_3;
          decision_4
        |]
      }

let program =
      [|
       1, 4, 3;
       2, 3, 4;
       3, 2, 1;
       4, 5, 2
     |]

end

let main () =
  Machine.run Majestio.cpu [| 0; 0; 0; 0 |] Majestio.program ;
  print_endline "----------------------------------------------------------------" ;

Machine.run ~count:9 ~proc:4 Majestio.cpu [| 3; 3; 14; 1 |] Majestio.program ;
  print_endline "----------------------------------------------------------------"

let () = main ()

Show compiler warnings [ + ] Show input
Compilation time: 0.14 sec, absolute running time: 0.17 sec, cpu time: 0.01 sec, memory peak: 5 Mb, absolute service time: 0,48 sec