Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
V.null in ocamlgraph
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject: Re: [Caml-list] V.null in ocamlgraph
Alexy Khrabrov wrote:
> In some folds over data when creating ocmalgraph's, I'd need an empty 
> vertex value, something like V.null, to give to an edge-creating fold 
> when I know it's not going to be used.  Currently I have to look ahead 
> into the data.  Does it make sense to add a null value to the V 
> module, or is there another OCaml way to give a fold an empty V value?
What about using an option type instead?

I kind of dislike the idea of introducing an infamous "null" value in