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
[OSR] Exceptionless error management, take 2
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-02-07 (15:26)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] [OSR] Exceptionless error management, take 2
On Thursday 07 February 2008 15:17:29 Jacques Garrigue wrote:
> However, the comments at the end look just like copied from Vincent
> Hanquez's mail.
> For me, points 2 and 3 make no sense at all.
> Polymorphic variants allow to check exhaustiveness... as long as you
> use exhaustive pattern matching (i.e. no wildcard, exactly like for
> normal variants.)
> And they _cannot_ pollute any namespace, since they define nothing.
> The other points are subjective.

Yes, that's what I thought. I'd also add that the argument that beginners 
might be put off this approach if it uses advanced features like polymorphic 
variants is moot because beginners won't be using this anyway.

Indeed, I think it would be valuable to enumerate exactly who might be using 

Dr Jon D Harrop, Flying Frog Consultancy Ltd.