Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] productivity improvement
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Noel Welsh <noelwelsh@y...>
Subject: Re: [Caml-list] Re: Statically detecting arrays bound exceptions ?? (was: Universal Serializer)
Just to add my 2p again:  The way to remove index
checks is to stop using them in the first place!  Just
like we don't write loops over lists, don't write
loops over arrays; use higher level iterators.  Check
out the with-loop construct in SAC, or the for loops
in Sisal, or
the constructs in APL/J, or Matlab, or the
PSI-Calculus etc.  All of these languages, to a
greater or less extent, remove the need for the humble
for loop.  Loops are for losers!

A good place to start:
http://www.informatik.uni-kiel.de/~cg/bib/bookshelf.html

Noel
--- Everyone wrote wrote:
> Lots of stuff about inferring index values

__________________________________________________
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