From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain.frisch@lexifi.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 03035BC57
	for <caml-list@yquem.inria.fr>; Wed,  1 Dec 2010 12:43:25 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlEBAAvE9UzB/BfVlGdsb2JhbACjKAEBAQEJCwgJEQMfxBiFRwSKY4MQ
X-IronPort-AV: E=Sophos;i="4.59,283,1288566000"; 
   d="scan'208";a="82065143"
Received: from msa04.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.213])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Dec 2010 12:43:24 +0100
Received: from [192.168.1.63] ([83.199.17.96])
	by mwinf5d33 with ME
	id dnjP1f00C24Mw4b03njPC1; Wed, 01 Dec 2010 12:43:24 +0100
Message-ID: <4CF634D9.6070006@lexifi.com>
Date: Wed, 01 Dec 2010 12:43:21 +0100
From: Alain Frisch <alain.frisch@lexifi.com>
Organization: LexiFi
User-Agent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.9.2.12) Gecko/20101027 Thunderbird/3.1.6
MIME-Version: 1.0
To: Martin DeMello <martindemello@gmail.com>
Cc: OCaml List <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] Desktop GUI toolkits - current state of the art?
References: <AANLkTinmdg+=NyumuqajsYfLHanmeo59E815DqWmWaPp@mail.gmail.com>	<4CEC4EF0.30805@lexifi.com> <AANLkTi=7vLuUgaaT_7uxsTkmH+YJ7OJaaonT_7A0zU8m@mail.gmail.com>
In-Reply-To: <AANLkTi=7vLuUgaaT_7uxsTkmH+YJ7OJaaonT_7A0zU8m@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
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 fwiw:01 blog:98 blog:98 wrote:01 wrote:01 

On 11/24/2010 10:47 AM, Martin DeMello wrote:
> On Wed, Nov 24, 2010 at 5:02 AM, Alain Frisch<alain.frisch@lexifi.com>  wrote:
>> 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?

FWIW, I've blogged about our extensions related to laziness:

https://www.lexifi.com/blog/ocaml-extensions-lexifi-semi-implicit-laziness

-- Alain