"ocaml_beginners"::[] Re: Creating cycles using functional abstraction ?

Oops, I had an extra argument in that last function. It should have been

let traverse graph finish_test startnode =
let go node =
List.assoc
node
graph
in
let rec aux node state =
if finish_test state then
state
else
aux (go node.target) (node.action state)
in
aux (go startnode)

Messages in this topic (0) Reply (via web post) | Start a new topic

.

Thanks Jeff to have taken my question into consideration !

Apologize for the delay ( I struggled against brambles to pick my apples. )

Your code was interesting for me because you speak about graphs.
And, changing "ident" function against "pred", or other, to work on integer states produces a robot that walks on successive nodes like a Türing machine.
However, I believe the "functional abstraction" the links spoke about is a different thing from your way to produce cycles.
But thanks again for this pleasant code.

Regards,

Fabrice

Messages in this topic (0) Reply (via web post) | Start a new topic

.