X-Git-Url: https://git.xandkar.net/?p=cellular-automata.git;a=blobdiff_plain;f=polymorphism%2F001%2Fsrc%2Fpolymorphism.ml;h=ab2cbd5b89e744eaf8fda0b749e3477bbcce82b3;hp=8d85a0eda861b42ddb5db2f858cc4ea9961bb39d;hb=fd22df899f4fb6b3499f89fdcfd84462d89f40de;hpb=31d923734f612795952158d003dc9e89fa5f17c7 diff --git a/polymorphism/001/src/polymorphism.ml b/polymorphism/001/src/polymorphism.ml index 8d85a0e..ab2cbd5 100644 --- a/polymorphism/001/src/polymorphism.ml +++ b/polymorphism/001/src/polymorphism.ml @@ -211,7 +211,7 @@ struct val of_int : int -> t - val to_int : t -> int + val is_alive : t -> bool val to_cell : t -> Cell.t @@ -227,9 +227,9 @@ struct | 1 -> A | _ -> assert false - let to_int = function - | D -> 0 - | A -> 1 + let is_alive = function + | D -> false + | A -> true let to_pheno = function | D -> PhenoType.create ' ' None @@ -263,9 +263,10 @@ struct let create () = Random.int 2 |> State.of_int |> State.to_cell - let count_of_live neighbors = - neighbors |> List.map ~f:(State.of_cell_state |- State.to_int) - |> List.fold_left ~init:0 ~f:(+) + let count_of_live = + List.map ~f:State.of_cell_state + |- List.filter ~f:State.is_alive + |- List.length let transition ~self ~neighbors = self |> State.of_cell_state @@ -284,8 +285,6 @@ struct val of_int : int -> t - val to_int : t -> int - val to_cell : t -> Cell.t val of_cell_state : Cell.State.t -> t @@ -306,11 +305,6 @@ struct | 2 -> B | _ -> assert false - let to_int = function - | E -> 0 - | T -> 1 - | B -> 2 - let to_pheno = function | E -> PhenoType.create ' ' None | T -> PhenoType.create 'T' (Some `green) @@ -351,11 +345,10 @@ struct let create () = Random.int 3 |> State.of_int |> State.to_cell - let count_of_burning neighbors = - neighbors |> List.map ~f:State.of_cell_state - |> List.filter ~f:State.is_burning - |> List.map ~f:State.to_int - |> List.fold_left ~init:0 ~f:(+) + let count_of_burning = + List.map ~f:State.of_cell_state + |- List.filter ~f:State.is_burning + |- List.length let transition ~self ~neighbors = self |> State.of_cell_state