Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Obj.magic and existential types.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jake Donham <jake@d...>
Subject: Re: [Caml-list] Re: Obj.magic and existential types.
On Mon, Jun 22, 2009 at 5:24 PM, Daniel
Bünzli<> wrote:
> But in this "chunk" can you repeatedly get external (in the sense primitive)
> input ?
> Because _if_ you can't then in the breakout game example where you need to
> constantly gather (external) time and keyboards events you cannot "pipe"
> those under a single bind where you create the game simulation and logic
> signals needed  for a game run as any new keyboard or time event would
> garbage collect them. In that case the game signals need to be defined
> outside a toplevel bind and cannot be garbage collected by froc, it wouldn't
> be fixed "by wrapping everything in a top-level bind".

I don't totally understand your objection here. Perhaps the question
could be resolved (one way or the other) if I were to port the
breakout game to froc. In the meantime, there are several web browser
examples here:

which take external input and do not leak memory. Best regards,