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: 2009-06-23 (02:23)
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 ?

I looked at your breakout implementation and I think I understand your
concern now. In your code there is a top-level select loop that feeds
keystrokes and clock ticks into the system, so you are asking whether
those events can be fed into the top-level bind.

I think the answer is yes. A froc event (same as a React event) can be
created outside the top-level bind, and behaviors (React signals) can
depend on it. But of course the proof is in the implementation; I will
give it a try.

Best regards,