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 TAA22677 for caml-red; Thu, 9 Nov 2000 19:03:57 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id FAA30946 for ; Thu, 9 Nov 2000 05:04:11 +0100 (MET) Received: from holomorphy (holomorphy.com [216.36.33.161]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eA944A507715 for ; Thu, 9 Nov 2000 05:04:10 +0100 (MET) Received: from wli by holomorphy with local (Exim 3.16 #1 (Debian)) id 13tiwC-0006UG-00 for ; Wed, 08 Nov 2000 20:03:44 -0800 Date: Wed, 8 Nov 2000 20:03:44 -0800 From: William Lee Irwin III To: caml-list@inria.fr Subject: Re: fixed length arrays as types Message-ID: <20001108200344.A24808@holomorphy.com> References: <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 Content-Description: brief message Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <4.3.2.7.2.20001108090802.00bb9570@shell16.ba.best.com>; from checker@d6.com on Wed, Nov 08, 2000 at 09:20:18AM -0800 Sender: weis@pauillac.inria.fr On Wed, Nov 08, 2000 at 09:20:18AM -0800, Chris Hecker wrote: > I disagree about this. It's really about type safety and strong > typing. You can catch a lot of errors if you can type the shape of > the array (especially in numerical code). Not only can you get rid > of assert(size(array)==4) in every numerical function, but you can > also safely get rid of runtime bounds checks in some cases (as Xi's > work shows). But, ignoring efficiency, I think the added type safety > is a win. 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. Cheers, Bill -- when i was a kid i behaved like a polynomial --