From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA23088; Mon, 15 Jul 2002 21:32:20 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 VAA23108 for ; Mon, 15 Jul 2002 21:32:19 +0200 (MET DST) Received: from web11205.mail.yahoo.com (web11205.mail.yahoo.com [216.136.131.187]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id g6FJWIn26813 for ; Mon, 15 Jul 2002 21:32:18 +0200 (MET DST) Message-ID: <20020715083931.29793.qmail@web11205.mail.yahoo.com> Received: from [195.224.189.79] by web11205.mail.yahoo.com via HTTP; Mon, 15 Jul 2002 01:39:31 PDT Date: Mon, 15 Jul 2002 01:39:31 -0700 (PDT) From: Noel Welsh Subject: Re: [Caml-list] Statically detecting arrays bound exceptions ?? (was: Universal Serializer) To: Alessandro Baretta , Ocaml In-Reply-To: <3D317B70.4010605@baretta.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --- Alessandro Baretta wrote: > I wonder if the compiler gurus at the INRIA know > what kinds > of constraints imposed on the language would allow > the > compiler to statically check array indexing. I'm not a compiler guru from INRIA but I can point out the languages SAC (Single Assignment C) and FiSH (ask Google; I'm feeling lazy) that do array shape inference. Basically the type system for arrays in augmented by their shape and shapes are inferred in a similar way to types. In addition to eliminating bounds checks the compiler can do funky reordering optimisations (because these are functional languages, so evaluation order is not important) and produce code faster than Fortran. Exciting stuff if you're into numerical code. Noel __________________________________________________ Do You Yahoo!? Yahoo! Autos - Get free new car price quotes http://autos.yahoo.com ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners