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
environment idiom
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-12-13 (21:16)
From: Michael Walter <michael.walter@g...>
Subject: Re: [Caml-list] environment idiom
On Mon, 13 Dec 2004 11:29:05 +0100 (CET), Thomas Fischbacher
> Hm, I think Klaus would strongly object to any statement of the form
> > you can clearly see what you are getting by simply looking at
> > the type (IO Int).
> as every type will contain junk:
>   (x::IO Int) where x = x >>= return
Sure. You can include the "junk" into your reasoning (and also take
the fact that you might never actually get anything into account).

Anyway, my statement was more of a pun at the WYSIWYG mentioned by the
poster I was replying to, than a definite theoretical statement.