From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 1FFAABC57 for ; Mon, 12 Apr 2010 23:44:41 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUDAMMww0vRVdrhkGdsb2JhbACRMooCCBUBAQEBCQkMBxEDH60GgXCFJS6ITQEBAwWFBwQ X-IronPort-AV: E=Sophos;i="4.52,192,1270418400"; d="scan'208";a="48375590" Received: from mail-bw0-f225.google.com ([209.85.218.225]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Apr 2010 23:44:40 +0200 Received: by bwz25 with SMTP id 25so5215251bwz.8 for ; Mon, 12 Apr 2010 14:44:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:received:message-id :subject:from:to:content-type; bh=c2VIt9gBcnizzq0Snn4uKTPmI6IW1fHDkvcMVjZt/yI=; b=X+8zBI4aCjhp8G+oOjAHNIpfa71VeUEkjWMzXNp/YnfwLMo6Bh8rBF4Hh60vFANL6+ mTOobo3qC0/5WP9tFL+3lToYveWxL9HrXzOTAPjlCFz6uaSmoDfvPYK2nBJ6iK7ton4B LOGCTttcL/7P2bAfN/KesOAt6x3gcwSXNDJbE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=jBRqfZWtYsJ/sIVSA45fSYfDsAo0GDBmam/61y6IkFcrZKLXCXQJ1XlC2ygdCET8fv YG0ee4pwYbjTQeNroicRavroCVBqT+hZMV2UA3FxO5c4UTJd/DgEtJW9VbDP5D+0rIrk zyN7hHGRx7RPnKZTO51raVOYZRwes7G4RrJpM= MIME-Version: 1.0 Received: by 10.103.52.5 with HTTP; Mon, 12 Apr 2010 14:44:39 -0700 (PDT) Date: Mon, 12 Apr 2010 23:44:39 +0200 Received: by 10.102.166.8 with SMTP id o8mr2462833mue.13.1271108680012; Mon, 12 Apr 2010 14:44:40 -0700 (PDT) Message-ID: Subject: [Caml-list] FRP and GTK From: Adrien To: Caml Mailing List Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; gtk:01 lablgtk:01 gtk:01 caml-list:01 data:02 callback:02 library:03 gui:03 frp:04 frp:04 nader:05 probably:07 structure:07 i'm:09 maybe:10 Hi, I've started to write a GUI with lablgtk and got stuck when trying to "update" a persistent data structure from a callback. That made me look at FRP and thought it would probably be worth a try.. Is there any FRP library I can use with GTK? I think I saw something about React and gtk but I can't find it anymore. I'm not afraid of working on that aspect myself but wanted to know if there was already something or maybe at least some work on that. Thanks. --- Adrien Nader