Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Ocaml compiler features
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-01-15 (00:57)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] Ocaml compiler features
On Sunday 14 January 2007 23:38, Gabriel Kerneis wrote:
> Le Sun, 14 Jan 2007 20:49:57 +0000, Jon Harrop <>
> a écrit :
> > Playing with Haskell and F# has opened my eyes a bit. F#'s operator
> > overloading and active patterns will make my code much nicer. Being
> > lazier can simplify things until you have to optimise, in which case
> > it suddenly becomes really complicated and error prone.
> What do you mean exactly in this last sentence ? I agree OCaml should
> evolve but what kind of "laziness" are you referring to ?

Lazy (as opposed to eager) computation. OCaml is very eager. Using laziness 
more can speed things up in some simple cases, e.g. nested maps and folds.

Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists