Version française
Home     About     Download     Resources     Contact us    
Browse thread
Inspect and dump values on the OCaml heap
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: rixed@h...
Subject: Re: [Caml-list] Inspect and dump values on the OCaml heap
> I am convinced that such things have *no* usefulness. If you
> are trying to debug your data structure, state its global
> invariants, prove (at whatever level of formality you are most
> comfortable with) that all API functions preserve the invariants,
> and use the module system to hide functions that do not
> preserve them. You will be done faster than trying to make
> sense of graphs and your code will be better.

Visualizing data structures does no prevent you from proving some
invariant and can give some other kind of informations, like spotting 
unexpected (ir)regularities, wrong proofs, etc...  Why oppose both ?