From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 8F209BC0A for ; Thu, 24 May 2007 05:21:41 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.181]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4O3LeBp025495 for ; Thu, 24 May 2007 05:21:41 +0200 Received: by wa-out-1112.google.com with SMTP id m34so135696wag for ; Wed, 23 May 2007 20:21:40 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=YHa4J86ODlbx8SfW6lydKGcM0eSxn8hL4XOA+kDrNODLD7HVGIItg+H/84tONPGlYA/jhFLCblIOVJQmuuBWhFqTnx8kdZB5PTIv0vf+Y4n3fpz6X2tHKBCvWKMAT9hRhGd1PJ18AwMxGxxy34Lfnj8KYy4t9djIR21nGljvdAA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=AfwmNFnwSMxk4RX4/LHTeYLqamKcP+KLKLaiR28gzXduSZ5+b/IHQ0RcF/Hl9zIGXHTQO9L8frlRDF6b6nwOMwIm/IJJW3n9GkPRaaXhtLzq81ZF5Dn2MFEmiszez0KAyS8Y6L2E6K9PcZyUrt2/P8wtDkosTk9rH7l4BgvJPQI= Received: by 10.114.26.1 with SMTP id 1mr637367waz.1179976900016; Wed, 23 May 2007 20:21:40 -0700 (PDT) Received: by 10.114.235.10 with HTTP; Wed, 23 May 2007 20:21:39 -0700 (PDT) Message-ID: <875c7e070705232021u2897410cgbcec425e4ef73c97@mail.gmail.com> Date: Wed, 23 May 2007 23:21:39 -0400 From: "Chris King" To: "Jon Harrop" Subject: Re: [Caml-list] Revolution Cc: "Jacques Garrigue" , caml-list@inria.fr In-Reply-To: <200705240238.37972.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20070523185428.GA32681@furbychan.cocan.org> <200705232246.14189.jon@ffconsultancy.com> <20070524.071405.12188035.garrigue@math.nagoya-u.ac.jp> <200705240238.37972.jon@ffconsultancy.com> X-j-chkmail-Score: MSGID : 465504C4.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 465504C4.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; renders:01 abstracted:01 o'caml:01 o'caml:01 variants:01 revolution:98 smoke:98 smoke:98 polymorphic:01 wrote:01 caml-list:01 compiles:01 compiles:01 widget:02 widget:02 On 5/23/07, Jon Harrop wrote: > 1. A new GUI library written in a functional style that renders controls as > vector graphics via Smoke. Everything is rendered using OpenGL but abstracted > behind Smoke. I don't know anything about Smoke, but part of my secret plan behind my O'Caml Reactive Toolkit project is to allow one to develop a pretty GUI widget set using OpenGL (or Cairo or what-have-you) and have much of the GUI functionality (such as layout management) already there. Whether I get as far as implementing an OpenGL-based widget set in the nine weeks I'm working with Jane St. Capital remains to be seen (I sort of doubt it, given the amount of other work I'll have), but I'm keeping that goal in mind as I design it so the infrastructure to support it will be there. (Re OpenGL reentrancy, in O'Caml RT multiple OpenGL contexts are handled in such a way that they are invisible to the user.) I've also been considering the possibility of writing the library in such a way that it also compiles under F#, or compiles with a few changes, but right now I don't know enough about F# to know whether that's at all possible (especially since I make use of objects, polymorphic variants, and private types for software engineering purposes, and would like to avoid giving them up). - Chris