X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=polymorphic-life%2F001%2Fsrc%2Fpolymorphic_life.ml;h=bc0685bb4a186aa6107bbf1da06d393735629db5;hb=7d89c0373cc4f51342704883f649e0c27e931c60;hp=a667bc4b4a23c875d15965f52b41d11850d8e60a;hpb=4d49c95e96b6a688ecbc54bea64b810c9611b400;p=cellular-automata.git diff --git a/polymorphic-life/001/src/polymorphic_life.ml b/polymorphic-life/001/src/polymorphic_life.ml index a667bc4..bc0685b 100644 --- a/polymorphic-life/001/src/polymorphic_life.ml +++ b/polymorphic-life/001/src/polymorphic_life.ml @@ -47,11 +47,49 @@ module Matrix : MATRIX = struct end -let main () = - let pool = Matrix.create ~rows:5 ~cols:5 ~data:() in +module type CELL = sig + type t + + val state : t -> int + + val react : t -> states:int list -> t +end + + +module Conway : CELL = struct + type t = D | A + + let state = function + | D -> 0 + | A -> 1 + + let react t ~states = + let live_neighbors = List.fold_left states ~init:0 ~f:(+) in + match t with + | A when live_neighbors < 2 -> D + | A when live_neighbors < 4 -> A + | A when live_neighbors > 3 -> D + | D when live_neighbors = 3 -> A + | t -> t +end + + +let main rows cols () = + let pool = Matrix.create ~rows ~cols ~data:() in Matrix.iter pool ~f:( fun ~row ~col ~data:() -> printf "R: %d, K: %d\n" row col ) -let () = main () +let spec = + let summary = "Polymorphic Cellular Automata" in + let spec = + let open Command.Spec in + empty + +> flag "-rows" (optional_with_default 5 int) ~doc:"Height" + +> flag "-cols" (optional_with_default 5 int) ~doc:"Width" + in + Command.basic ~summary spec main + + +let () = Command.run spec