From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 728C7BC51 for ; Mon, 29 Nov 2004 01:44:13 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iAT0iC4a015127 for ; Mon, 29 Nov 2004 01:44:13 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA04214 for ; Mon, 29 Nov 2004 01:44:12 +0100 (MET) Received: from smtp-relay.dca.net (smtp-relay.dca.net [216.158.48.66]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iAT0iBLM015124 for ; Mon, 29 Nov 2004 01:44:12 +0100 Received: from viper.oldcity.dca.net (viper.oldcity.dca.net [216.158.38.4]) by smtp-relay.dca.net (Postfix) with ESMTP id E46163153D1 for ; Sun, 28 Nov 2004 19:46:58 -0500 (EST) Received: from dsl-207-245-69-66.cust.oldcity.dca.net (dsl-207-245-69-66.cust.oldcity.dca.net [207.245.69.66]) by viper.oldcity.dca.net (8.11.6/8.11.6) with ESMTP id iAT0iB305862 for ; Sun, 28 Nov 2004 19:44:11 -0500 Received: from dsl-207-245-69-66.cust.oldcity.dca.net (localhost [127.0.0.1]) by dsl-207-245-69-66.cust.oldcity.dca.net (Postfix) with ESMTP id B8B0C31103C for ; Sun, 28 Nov 2004 19:44:10 -0500 (EST) To: caml-list@inria.fr Subject: Functional Reactive Programming in OCaml? Reply-To: bcpierce@cis.upenn.edu Date: Sun, 28 Nov 2004 19:44:10 -0500 Message-ID: <4854.1101689050@dsl-207-245-69-66.cust.oldcity.dca.net> From: Benjamin Pierce X-Miltered: at nez-perce with ID 41AA70DD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41AA70DB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 bcpierce:01 haskell:01 ocaml:01 trivial:01 haskell's:01 monads:01 pointers:01 upenn:01 bcpierce:01 ...:98 3330:98 benjamin:01 benjamin:01 implemented:02 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: 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, - Benjamin ----------------------------------------------------------------------------- BENJAMIN C. PIERCE, Professor Dept. of Computer & Information Science University of Pennsylvania +1 215 898-2012 3330 Walnut St. Fax: +1 215 898-0587 Philadelphia, PA 19104, USA http://www.cis.upenn.edu/~bcpierce -----------------------------------------------------------------------------