From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <martindemello@gmail.com>
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 DEC58BBAF
	for <caml-list@yquem.inria.fr>; Wed, 24 Nov 2010 10:47:43 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqIBAB9u7EzRVaE0kGdsb2JhbACiaggVAQECCQkMBxEDH6JUiWSCGIUeLohWAQEDBYVCBIRZhgc
X-IronPort-AV: E=Sophos;i="4.59,247,1288566000"; 
   d="scan'208";a="67955059"
Received: from mail-fx0-f52.google.com ([209.85.161.52])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Nov 2010 10:47:43 +0100
Received: by fxm5 with SMTP id 5so358790fxm.39
        for <caml-list@yquem.inria.fr>; Wed, 24 Nov 2010 01:47:43 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:received:in-reply-to
         :references:date:message-id:subject:from:to:cc:content-type;
        bh=Hpt1GIm7njke0MmqD9qq1Wr3zpuKh8tOw5tfB6poAd4=;
        b=oujt7pKhDcT/ijdheAK/aYu7HYYi3eEaSTtmyLXYqErgzGBPhIOVue6S0/JlRYTv2S
         qKdWr44dpuJAfvWxFABAhLA6xAc4Yktwqdm2ODwktl+lHxGa/Ys6hYpauPJz5RVhTkHy
         W5+C89WwQiTMH5wOXYQgX/HVdBSIzyUck+yxQ=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        b=Dt/rU/kVJZsvw8Rrtlos7OW7fUizolKhjRY7SWP6PRuFcVhmd7MLxPQlqOQMG7uTRy
         q7qr7wPL3RS2hrrVd3T0B6SNyV6Rz//EDGzFGDnJLyk4o8WCabPUJt/VpaYK9X5oQ9OR
         GGng8dEWs8D3nq9OyAUd+gt8g4eRYqmgrxUM8=
MIME-Version: 1.0
Received: by 10.223.118.211 with SMTP id w19mr2545802faq.14.1290592063080;
 Wed, 24 Nov 2010 01:47:43 -0800 (PST)
Received: by 10.223.75.196 with HTTP; Wed, 24 Nov 2010 01:47:43 -0800 (PST)
In-Reply-To: <4CEC4EF0.30805@lexifi.com>
References: <AANLkTinmdg+=NyumuqajsYfLHanmeo59E815DqWmWaPp@mail.gmail.com>
	<4CEC4EF0.30805@lexifi.com>
Date: Wed, 24 Nov 2010 15:17:43 +0530
Message-ID: <AANLkTi=7vLuUgaaT_7uxsTkmH+YJ7OJaaonT_7A0zU8m@mail.gmail.com>
Subject: Re: [Caml-list] Desktop GUI toolkits - current state of the art?
From: Martin DeMello <martindemello@gmail.com>
To: Alain Frisch <alain.frisch@lexifi.com>
Cc: OCaml List <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; frisch:01 frisch:01 lexifi:01 lexifi:01 ocaml:01 compiler:01 subtyping:01 recursion:01 ocaml:01 recursion:01 blog:98 wrote:01 caml-list:01 alain:01 alain:01 

On Wed, Nov 24, 2010 at 5:02 AM, Alain Frisch <alain.frisch@lexifi.com> wrote:
>
> If you're under Windows, you might be interested in the CSML tool. It allows
> you to build quite easily your own binding to .Net libraries. The CSML
> distribution contains an example of a mini-binding to Windows Forms; you can
> also see that in screenshots:
>
> http://www.lexifi.com/csml

No, I'm on linux, but CSML does look very interesting. Does it work
well with Mono?

> We have a few local extensions to the OCaml compiler that makes it easier to
> build nice APIs for GUI toolkits, with a functional flavor: implicit
> subtyping and generalized recursion. Hopefully, I'll be able to blog about
> these extensions and how they are used for GUI programming some day.

I'd love to read that when you do. I was surprised not to see much
interest in GUI DSLs in OCaml. What is generalised recursion?

martin