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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Snd question
On Tue, 2005-08-16 at 17:34 +0100, Jon Harrop wrote:
> On Tuesday 16 August 2005 14:17, skaller wrote:
> > 	match e with (h,t,...) ->
> 
> My understanding is that the types of those expressions cannot expressed in 
> the OCaml type system. So that would require quite a fundamental change.

Yes.


> From my limited experience of SML, it is more of a pain than a benefit.

Good to read Barry Jay's Functorial ML ..

-- 
John Skaller <skaller at users dot sourceforge dot net>