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
[Caml-list] undocumented external ... = "%identity"
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-10-30 (19:55)
From: Stefano Zacchiroli <zack@b...>
Subject: Re: [Caml-list] undocumented external ... = "%identity"
On Wed, Oct 29, 2003 at 08:39:35PM +0900, Jacques Garrigue wrote:
> I suppose that as Obj.magic is not documented, this is not documented
> either. 

Ok, thanks for your answer.

Now, let me restate my question: whi obj.magic _and_ "%identity" are not
documented? Usually undocumented stuff is stuff subject to changes, not
stable, ecc ...

Practically, a lot of people use Obj.magic when needed and it seems to
be part of the required knowledge to be a "discriminating hacker"(TM).
The reason that it's unsafe and can make your program crash, IMO, is not
a good reason not to have it documented. Indeed C interfacing APIs are
documented and they are as risky as using Obj.magic and friends.


Stefano Zacchiroli  --  Master in Computer Science @ Uni. Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it}  -  http://www.bononia.it/zack/
"  I know you believe you understood what you think I said, but I am not
sure you realize that what you heard is not what I meant!  " -- G.Romney

To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners