X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=polymorphic-life%2F001%2Fsrc%2Fpolymorphic_life.ml;h=9a9163e1c1be2f6cb0a0132730fc075f71b19c89;hb=0d6f78335b05b14736c63234d7f15a9cf2420b1a;hp=e3c233dfb77da370f8d394d8ef37f572f71c028d;hpb=8c93b722cd62dccd61959609c96ce57e53dbe3e3;p=cellular-automata.git diff --git a/polymorphic-life/001/src/polymorphic_life.ml b/polymorphic-life/001/src/polymorphic_life.ml index e3c233d..9a9163e 100644 --- a/polymorphic-life/001/src/polymorphic_life.ml +++ b/polymorphic-life/001/src/polymorphic_life.ml @@ -1,8 +1,84 @@ open Core.Std +module type MATRIX = sig + type 'a t + + val create : rows:int -> cols:int -> data:'a -> 'a t + + val get : 'a t -> row:int -> col:int -> 'a + + val set : 'a t -> row:int -> col:int -> data:'a -> unit + + val map : 'a t -> f:(row:int -> col:int -> data:'a -> 'b) -> 'b t + + val iter : 'a t -> f:(row:int -> col:int -> data:'a -> unit) -> unit +end + +module Matrix : MATRIX = struct + type 'a t = 'a array array + + let create ~rows ~cols ~data = + Array.make_matrix ~dimx:rows ~dimy:cols data + + let iter t ~f = + Array.iteri t ~f:( + fun row cols -> + Array.iteri cols ~f:( + fun col data -> + f ~row ~col ~data + ) + ) + + let map t ~f = + Array.mapi t ~f:( + fun row cols -> + Array.mapi cols ~f:( + fun col data -> + f ~row ~col ~data + ) + ) + + let get t ~row ~col = + t.(row).(col) + + let set t ~row ~col ~data = + t.(row).(col) <- data +end + + +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 () = - printf "Hi!\n" + let pool = Matrix.create ~rows:5 ~cols:5 ~data:() in + Matrix.iter pool ~f:( + fun ~row ~col ~data:() -> printf "R: %d, K: %d\n" row col + ) let () = main ()