Re: [Ocaml-lib-devel] Dynarray (good one)

[John M. S. <sk...@oz...>]

Brian Hurt wrote:


 
> - the problem of the array being mutated behind enum's back is a general 
> problem with imperitive programming.  It's known as a "bug". 


LOL! Sequenced modifications of data structures is the whole
*point* of imperative programming. Nothing wrong with it.
The problem is that unlike functional programming there
has been no real theoretical understanding how to build
understandable imperative programs.

I suspect that is no longer the case, with the dualisation
of functional programming theory in bisimulation stuff --
a most woeful name if every I hear one :-)

There is already a good idea how to model
coinductive data structures like streams.

-- 
John Max Skaller, mailto:sk...@oz...
snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia.
voice:61-2-9660-0850