Re: [Caml-list] Objects, dynamic cast, Obj.magic abuse and dragons

[Berke Durak <berke.durak@exalead.com>]

Richard Jones a écrit :
> On Tue, Feb 26, 2008 at 12:35:10PM +0100, Berke Durak wrote:
>> The problem is that the main game loop gets the current location by taking 
>> the container of the hero... which is a physical.  However, it needs to 
>> call the place-specific method "go".
> 
> I only briefly read over this, but maybe the thing you want is an
> object memo.  There's a specialized one in lablgtk called GUtil.memo,
> but the basic source for it could be adapted:
> 
>   class ['a] memo () = object
>     constraint 'a = #widget
>     val tbl = Hashtbl.create 7
>     method add (obj : 'a) =
>       Hashtbl.add tbl obj#get_id obj
>     method find (obj : widget) = Hashtbl.find tbl obj#get_id
>     method remove (obj : widget) = Hashtbl.remove tbl obj#get_id
>   end
> 
> There's an example of using this if you search down for 'memo' on this
> page:
> 
>   http://www.ocaml-tutorial.org/introduction_to_gtk
> 
> Rich.
> 

Hello,

Your solution first seemed like a kludge but, given the alternatives, it appears to be the best solution.
It's nicer than having to add type parameters everywhere and it's scalable: just add one memo kind for each
category and make sure everyone registers itself on creation.  For destruction, we can use weak hash tables.
And it's reasonably efficient (after all, we're using objects here.)
-- 
Berke DURAK