[Haskell-fr] Re: inférence

[Stephane Bortzmeyer]

On Thu, Sep 20, 2007 at 01:31:46PM -0700,
 Dan Weston <westondan at imageworks.com> wrote 
 a message of 195 lines which said:

> En revanche, grâce à la transparence référentielle, le résultat d'une 
> expression une fois évaluée peut être mémoizé 
> (http://fr.wikipedia.org/wiki/M%C3%A9moization) et réutilisé ailleurs, 
> évitant le coût de calculs redondants.

Oui, mais c'est surtout théorique. Le compilo ne le fait pas tout seul
et, en pratique, c'est du travail de la part du programmeur que de
mémoiser.