From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBAKi7iO025791 for ; Sat, 10 Dec 2011 21:44:07 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEAAAfD405KfVI0imdsb2JhbABDomgBhiZegQkIIgEBAQoJDQcSBiGBcgEBAQMBEgITGQEbHQEDAQsGBQQHBzQhAQERAQUBDg4GEyKHZgiYDAqLZIJrhCg9iHECBQyLYQSUcYppgwg9g3o X-IronPort-AV: E=Sophos;i="4.71,332,1320620400"; d="scan'208";a="122866470" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 10 Dec 2011 21:44:02 +0100 Received: by wgbdr12 with SMTP id dr12so9909656wgb.9 for ; Sat, 10 Dec 2011 12:44:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=+y1qb79U4JcJvr2X0lKVRy7o3vLXkmMOD75iC4x4n/I=; b=tcbFvkPmbozKtQPH3C4SfU6l3nCqsNlwRc6VCJtBWSs1ZZmnHCo1ahzLtpOBpzrEVc CAIZfvHTpviYJwTWJGGfnU4a1nTT75YcQs4rOX26JNpVccQPNBDxCtJyzjmQRwTXMIob GenFC+SnwIDr+oTZSIwckY3eD5s13EkSal/Lo= MIME-Version: 1.0 Received: by 10.180.81.163 with SMTP id b3mr15997027wiy.20.1323549842043; Sat, 10 Dec 2011 12:44:02 -0800 (PST) Received: by 10.216.6.197 with HTTP; Sat, 10 Dec 2011 12:44:01 -0800 (PST) In-Reply-To: References: Date: Sat, 10 Dec 2011 21:44:01 +0100 Message-ID: From: Diego Olivier Fernandez Pons To: Gabriel Scherer Cc: caml-list Content-Type: multipart/alternative; boundary=f46d044402722d72b104b3c2f6ba Subject: Re: [Caml-list] Why isn't there a common platform for functional language interaction ? --f46d044402722d72b104b3c2f6ba Content-Type: text/plain; charset=ISO-8859-1 Caml-list On 10 December 2011 13:58, Gabriel Scherer wrote: > There already exist such a common denominator language. For > performance reasons, it is architecture-dependent [...] > There have been plans to move to a better common denominator, or at > least a better bridge language (C--, LLVM, ...) > Why should that be a low-level language ? Why not core-ML ? What I see as the very first issue is the spread of the efforts between similar yet incompatible ML dialects leading to 4 weak communities (SML, OCaml, F#, Haskell) instead of a really strong one and all the related problems that come with it (fewer books, risk for industrials, work duplication, inefficient funding, lack of visibility, etc). Example : there is an excellent whole source code optimiser ... for SML. And an award winning SMT solver ... in Caml developed in a company that invests heavily in information-centric web applications ... in F# ( http://research.microsoft.com/en-us/um/redmond/projects/z3/ if you don't know Nikolaj Bjorner's Z3). Now say you want to do an application that delivers optimal electricity production plans. What language do you choose ? Just being able to reuse the source-code between string ML dialects even after recompilation (X -> CoreML -> specific platform) would be an improvement. Diego Olivier --f46d044402722d72b104b3c2f6ba Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable =A0=A0=A0 Caml-list

On 10 December 2011 13:58, Gabriel Scherer <gabriel.scherer@gmail.com> wrote:
=A0
There already exist such = a common denominator language. For
performance reasons, it is architecture-dependent=A0
[...]
There have been plans to move to a better common denominator, or at
least a better bridge language (C--, LLVM, ...)

Wh= y should that be a low-level language ? Why not core-ML ?

What I see= as the very first issue is the spread of the efforts between similar yet i= ncompatible ML dialects leading to 4 weak communities (SML, OCaml, F#, Hask= ell) instead of a really strong one and all the related problems that come = with it (fewer books, risk for industrials, work duplication, inefficient f= unding, lack of visibility, etc).

Example : there is an excellent whole source code optimiser ... for SML= . And an award winning SMT solver ... in Caml developed in a company that i= nvests heavily in information-centric web applications ... in F# (http://research.microsoft.com/en-us/um/redmond/projects/z3/ if = you don't know Nikolaj Bjorner's Z3). Now say you want to do an app= lication that delivers optimal electricity production plans. What language = do you choose ?

Just being able to reuse the source-code between string ML dialects eve= n after recompilation (X -> CoreML -> specific platform) would be an improvement.

=A0= =A0=A0=A0=A0=A0=A0 Diego Olivier
--f46d044402722d72b104b3c2f6ba--