Browse thread
Obj.magic and existential types.
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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