Re: [Caml-list] Problem correlating input and output type

Tiphaine Turpin tiphaine.tur...@irisa.fr writes: Goswin von Brederlow a écrit : Hi, last night I had a crazy idea Definitely :-). [...] Can anyone think of a way to express this so that the type system keeps track of which callbacks are already connected? Here is an attempt (with

Re: [Caml-list] Problem correlating input and output type

Goswin von Brederlow a écrit : Tiphaine Turpin tiphaine.tur...@irisa.fr writes: Goswin von Brederlow a écrit : [...] Can anyone think of a way to express this so that the type system keeps track of which callbacks are already connected? Runtime checking would be much easier

Re: [Caml-list] Problem correlating input and output type

Goswin von Brederlow a écrit : Hi, last night I had a crazy idea Definitely :-). [...] Can anyone think of a way to express this so that the type system keeps track of which callbacks are already connected? Here is an attempt (with only two events). Note that : - the imperative