From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBE5SiPV016537 for ; Wed, 14 Dec 2011 06:28:44 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtABAMgz6E7UGyoDlGdsb2JhbABEqGKCRSIBAQEBBwILCQkUAyKBcgEBBThAARALGAkWDwkDAgECATcBDRMBBwEBh3q2YYhZgxoElHKFTYxd X-IronPort-AV: E=Sophos;i="4.71,350,1320620400"; d="scan'208";a="135313687" Received: from smtp3-g21.free.fr ([212.27.42.3]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Dec 2011 06:28:25 +0100 Received: from [192.168.0.10] (unknown [78.192.0.38]) by smtp3-g21.free.fr (Postfix) with ESMTP id 62D60A650D; Wed, 14 Dec 2011 06:28:18 +0100 (CET) Message-ID: <4EE833E9.5010105@frisch.fr> Date: Wed, 14 Dec 2011 06:28:09 +0100 From: Alain Frisch User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:8.0) Gecko/20111105 Thunderbird/8.0 MIME-Version: 1.0 To: Gaius@Gaius.org.UK CC: Martin DeMello , Gerd Stolpmann , Jonathan Protzenko , caml-list@inria.fr References: <4EDE33A0.6070004@gmail.com> <1323760512.9833.9.camel@samsung> <4EE711FB.5020602@frisch.fr> <1848574200-1323767677-cardhu_decombobulator_blackberry.rim.net-892048724-@b18.c4.bise7.blackberry> In-Reply-To: <1848574200-1323767677-cardhu_decombobulator_blackberry.rim.net-892048724-@b18.c4.bise7.blackberry> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Some comments on recent discussions On 12/13/2011 10:15 AM, Gaius Hammond wrote: > I suspect that all the OCaml-on-Windows enthusiasts find their needs met by F#. Maybe interoperability between OCaml and F# is the way to go on Windows. Do you mean source-level compatibility between the two languages? I'm afraid they are too different, and limiting oneself to their intersection is not realistic for a large project (and you'd loose many benefits of each language). For a bridge between the two languages, it would not be very different from a generic bridge between OCaml and .Net (similar to CSML), with the same major issue of having to deal with two separate GCs and references between them, maybe just with a better structural treatment for sum types. Not very exciting, and to make it usable, one would also need to address existing issues with OCaml under Windows anyway. Also, I don't think that people really want to use both languages in the same project. Maybe you mean something else with interoperability? Alain