From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 9DBD1BCA2; Wed, 17 Aug 2005 19:21:47 +0200 (CEST) Received: from smtp3.adl2.internode.on.net (smtp3.adl2.internode.on.net [203.16.214.203]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j7HHLjjB004784; Wed, 17 Aug 2005 19:21:46 +0200 Received: from rosella (ppp32-205.lns1.syd6.internode.on.net [59.167.32.205]) by smtp3.adl2.internode.on.net (8.12.9/8.12.9) with ESMTP id j7HHLh67087365; Thu, 18 Aug 2005 02:51:43 +0930 (CST) Subject: Re: [Caml-list] Snd question From: skaller To: Alain Frisch Cc: caml-list@yquem.inria.fr In-Reply-To: <43032B50.40902@inria.fr> References: <161F0D30A699A84A8B7435B62BCE33B30360E19F@APS-MSG-01.southpacific.corp.microsoft.com> <43011A10.4090108@havenrock.com> <1124198264.13635.25.camel@localhost.localdomain> <200508161734.38909.jon@ffconsultancy.com> <20050816181604.GA21719@furbychan.cocan.org> <43032B50.40902@inria.fr> Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="=-eldnoqedIayBqWUf6BBo" Date: Thu, 18 Aug 2005 03:21:42 +1000 Message-Id: <1124299303.6899.19.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.2.1.1 X-Miltered: at nez-perce with ID 43037229.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 frisch:01 ocaml:01 ocamlduce:01 ocaml:01 ocamlduce:01 ...:98 wrote:01 wrote:01 exception:01 sourceforge:01 sourceforge:01 strings:01 patterns:02 prefixes:02 X-Attachments: type="application/pgp-signature" name="signature.asc" X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 --=-eldnoqedIayBqWUf6BBo Content-Type: text/plain Content-Transfer-Encoding: quoted-printable 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: > >=20 > >>Currently, you cannot match [|1; ...|] in OCaml. > >=20 > >=20 > > Yes! Or, "prefix" ^ str. >=20 > This seems like a good place to insert a shameless plug. Thank you. In=20 > OCamlDuce (the extension of OCaml with XML types and patterns), you can=20 > indeed match on string prefixes: >=20 > # type t =3D {{ "OCaml" | "OCamlDuce" | "Other" }};; Actually it is worth reading Alain's tree automata paper:=20 the idea of regular sets of strings being types=20 brings exception clarity to the presentation. --=20 John Skaller --=-eldnoqedIayBqWUf6BBo Content-Type: application/pgp-signature; name=signature.asc Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQBDA3ImsRp8/9aGVGsRAqkcAJ4p2bfPauwvYk1r4dlTk220ecb2wACfeSxV XJEoWkmlyBUz+/IQftYXNqU= =fnzc -----END PGP SIGNATURE----- --=-eldnoqedIayBqWUf6BBo--