Version française
Home     About     Download     Resources     Contact us    
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 Fri, Jun 19, 2009 at 11:21 AM, Daniel
Bünzli<daniel.buenzli@erratique.ch> wrote:
> Not directly responding to your question but you are looking for functional
> reactive programming (frp).
>
> http://erratique.ch/software/react

You can also find FRP in froc (which is quite similar to React; the
main difference is that it works in browsers):

  http://code.google.com/p/froc/

# open Froc_afp;;
# let n = return 1;;
val n : int Froc_afp.t = <abstr>
# let m = n >>= fun x -> return (x + 1);;
val m : int Froc_afp.t = <abstr>
# read m;;
- : int = 2
# write n 3;;
- : unit = ()
# propagate ();;
- : unit = ()
# read m;;
- : int = 4