Version française
Home     About     Download     Resources     Contact us    
Browse thread
Void type?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe TROESTLER <Christophe.Troestler+ocaml@u...>
Subject: Re: [Caml-list] Re: Void type?
On Sat, 28 Jul 2007 10:13:03 +0200, Basile STARYNKEVITCH wrote:
> 
> A void type would be useful for bizarre functions like f : int ->
> void this would mean that f never returns normally, i.e. that it
> loops indefinitely, or calls exit (to stop the entire program), or
> throws an exception but never returns.

And even then

  f : int -> 'a

may be more appropriate.

My 0.02¤,
ChriS