From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA12484 for caml-red; Fri, 10 Nov 2000 19:28:11 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA10204 for <caml-list@pauillac.inria.fr>; Thu, 9 Nov 2000 22:53:54 +0100 (MET)
Received: from smtp2-cm.mail.eni.net (smtp2a-cm.mail.eni.net [216.133.226.135])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eA9LrrH06147
	for <caml-list@inria.fr>; Thu, 9 Nov 2000 22:53:53 +0100 (MET)
Received: from checkerlap.d6.com ([216.233.204.162])
	by smtp2-cm.mail.eni.net (8.9.3/8.9.3) with ESMTP id NAA09558;
	Thu, 9 Nov 2000 13:53:45 -0800
Message-Id: <4.3.2.7.2.20001109135209.00b6c490@walt>
X-Sender: def6@walt
X-Mailer: QUALCOMM Windows Eudora Version 4.3.2
Date: Thu, 09 Nov 2000 13:53:44 -0800
To: William Lee Irwin III <wli@holomorphy.com>, caml-list@inria.fr
From: Chris Hecker <checker@d6.com>
Subject: Re: fixed length arrays as types
In-Reply-To: <20001108200344.A24808@holomorphy.com>
References: <4.3.2.7.2.20001108090802.00bb9570@shell16.ba.best.com>
	<4.3.2.7.2.20001104165041.00b3e370@shell16.ba.best.com>
	<4.3.2.7.2.20001104165041.00b3e370@shell16.ba.best.com>
	<20001108105312.57768@pauillac.inria.fr>
	<4.3.2.7.2.20001108090802.00bb9570@shell16.ba.best.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Sender: weis@pauillac.inria.fr


>You might want to check out fISH then. It is very Caml-ish.
>http://www-staff.mcs.uts.edu.au/~cbj/FISh/
>Dependent ML, Cayenne, and Coq may also be of interest to you.

The deCaml stuff seems interesting, but FISh doesn't look like it's ready for production programming.  Caml seems almost perfect for what I want to do, so of course I want them to change it to perfectly suit me!  :)

Chris