English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
RE: [Caml-list] strict?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-08-04 (18:05)
From: Alan Falloon <Al.Falloon@s...>
Subject: Re: [Caml-list] strict?
skaller wrote:
> Some languages define application as eager (Ocaml) and some
> lazy (Haskell) but Felix does both and neither :)
> The basic idea is some things are eager, some lazy, but most
> are 'up to the compiler'.
> So actually, three significant factors seem to exist:
> side effects or not, dependence on a variable or not,
> and finally whether the function is strict.
It sounds like you are talking about "lenient" evaluation. I was looking 
into this stuff a while ago. As far as I can tell, there aren't many 
papers out there about it, but this one is pretty good: 

The citeseer page might get you some more info