From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 72237BD74 for ; Wed, 17 Aug 2005 08:28:50 +0200 (CEST) Received: from ash25e.internode.on.net (ash25e.internode.on.net [203.16.214.182]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j7H6Sm9q008572 for ; Wed, 17 Aug 2005 08:28:49 +0200 Received: from rosella (ppp32-205.lns1.syd6.internode.on.net [59.167.32.205]) by ash25e.internode.on.net (8.12.9/8.12.6) with ESMTP id j7H6Sdbo094266; Wed, 17 Aug 2005 15:58:41 +0930 (CST) (envelope-from skaller@users.sourceforge.net) Subject: Re: [Caml-list] Snd question From: skaller To: Jon Harrop Cc: caml-list@yquem.inria.fr In-Reply-To: <200508161734.38909.jon@ffconsultancy.com> References: <161F0D30A699A84A8B7435B62BCE33B30360E19F@APS-MSG-01.southpacific.corp.microsoft.com> <43011A10.4090108@havenrock.com> <1124198264.13635.25.camel@localhost.localdomain> <200508161734.38909.jon@ffconsultancy.com> Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="=-MnCbZ5+RuVwHYcM0Jjgr" Date: Wed, 17 Aug 2005 16:28:39 +1000 Message-Id: <1124260119.6858.5.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.2.1.1 X-Miltered: at concorde with ID 4302D920.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 sml:01 wrote:01 wrote:01 sourceforge:01 sourceforge:01 functorial:02 match:02 types:02 expressions:03 quite:06 tue:06 fundamental:06 snd:07 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 --=-MnCbZ5+RuVwHYcM0Jjgr Content-Type: text/plain Content-Transfer-Encoding: quoted-printable 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,...) -> >=20 > My understanding is that the types of those expressions cannot expressed = in=20 > 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 .. --=20 John Skaller --=-MnCbZ5+RuVwHYcM0Jjgr 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) iD8DBQBDAtkXsRp8/9aGVGsRApGmAJkBATOmwG7x0XRm2JOlxs2xgVB93ACff4vX 2ZMmnPmsQWtIWGpB79bJD8A= =SITo -----END PGP SIGNATURE----- --=-MnCbZ5+RuVwHYcM0Jjgr--