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 Wed, 2005-08-17 at 14:19 +0200, Alain Frisch wrote:
> Richard Jones wrote:
> > On Tue, Aug 16, 2005 at 05:34:38PM +0100, Jon Harrop wrote:
> > 
> >>Currently, you cannot match [|1; ...|] in OCaml.
> > 
> > 
> > Yes!  Or, "prefix" ^ str.
> 
> This seems like a good place to insert a shameless plug. Thank you. In 
> OCamlDuce (the extension of OCaml with XML types and patterns), you can 
> indeed match on string prefixes:
> 
> # type t = {{ "OCaml" | "OCamlDuce" | "Other" }};;

Actually it is worth reading Alain's tree automata paper: 
the idea of regular sets of strings being types 
brings exception clarity to the presentation.


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