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: Question point fixe
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1994-10-18 (19:17)
From: Damien.Doligez@i...
Subject: Re: Question point fixe
>From: Vincent Poirriez
>Why is it impossible to write:
>let rec monf = build monf;;

Because the compiler does not want to know anything about "build"
(except its type) when it compiles "monf".  Thus it doesn't know
whether "build" will use its argument or not.  If "build" does use its
argument, there is no way to make this work.  This is the same as

let rec x = succ x;;