From: "Gregoire Hamon" <hamon@cs.chalmers.se>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Functional Reactive Programming in OCaml?
Date: Tue, 30 Nov 2004 07:36:13 +0100 (CET) [thread overview]
Message-ID: <38754.68.228.59.153.1101796573.squirrel@68.228.59.153> (raw)
> I'm sure that, like me, many of you have experienced language-envy
> when you've seen the very cool libraries for Functional Reactive
> Programming (Fran, Frob, Yampa, etc.) that have been implemented in
> the Haskell world.
>
> Has anybody tried to do something similar in OCaml? At first sight,
> it does not seem trivial: the implementations of FRP that I've seen
> make good use of many of Haskell's special features -- laziness, type
> classes and qualified types, monads, etc...
>
> Thanks for any pointers,
you can look at Lucid Synchrone (http://www-spi.lip6.fr/lucid-synchrone/),
a functional language dedicated to reactive programming. The syntax is
OCaml's and the compiler produces OCaml code (combining both languages is
easy).
While being stream based, reactivity, which is ensured statically, allows
the compiler to produce purely sequential (strict) code.
You can write Fran-like code quite easily (I had some examples which I
can try to find if you're interested).
Gregoire.
next reply other threads:[~2004-11-30 6:36 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-11-30 6:36 Gregoire Hamon [this message]
2004-11-30 14:14 ` Benjamin Pierce
-- strict thread matches above, loose matches on Subject: below --
2004-11-29 0:44 Benjamin Pierce
2004-11-29 18:02 ` [Caml-list] " james woodyatt
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=38754.68.228.59.153.1101796573.squirrel@68.228.59.153 \
--to=hamon@cs.chalmers.se \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).