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=0.8 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 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 822A0BC37 for ; Fri, 12 Jun 2009 00:10:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjwEAA8eMUpQRFuwgWdsb2JhbACYQQEBFiO3W4QKBYha X-IronPort-AV: E=Sophos;i="4.42,204,1243807200"; d="scan'208";a="29354191" Received: from furbychan.cocan.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 12 Jun 2009 00:10:39 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1MEsTk-0001vW-DB; Thu, 11 Jun 2009 23:10:36 +0100 Date: Thu, 11 Jun 2009 23:10:36 +0100 To: Lucas Dixon Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] The state of ML: multi-threaded, saved state and support platforms Message-ID: <20090611221036.GA6010@annexia.org> References: <4A310EE5.7070704@inf.ed.ac.uk> <20090611154910.GA27827@annexia.org> <4A317AA8.40209@inf.ed.ac.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4A317AA8.40209@inf.ed.ac.uk> User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; 0100,:01 bug:01 implements:01 ocaml:01 ocaml:01 compiler:01 2009:98 lucas:98 dixon:98 donated:98 blog:98 sponsoring:98 wrote:01 compile:01 caml-list:01 On Thu, Jun 11, 2009 at 10:44:08PM +0100, Lucas Dixon wrote: > I was wondering who pays for the documentation to be kept up to date, > bug fixes, and implements new features.I saw that there is an OCaml > Consortium: http://caml.inria.fr/consortium/index.en.html > Is this INRIA or something else? Is this the source of funding that > supports OCaml? or is there INRIA backing also? Does anyone know how > many people are employed? I'm interested in how to support functional > programming environments. What level of financial support is needed? [..] > Are there organisations that offer OCaml support over the phone? Or > would that be consultancy rates for academics who specialise in OCaml? > The OCaml Consortium offers: 3000 Euros for a minimal support to Caml, > 10000 Euros or higher for more. But doesn't give much details - has > anyone ever purchased this? Xavier Leroy gave a talk about this in the OCaml Users Meeting back in Feb. I don't recall the exact numbers, but yes there are resources donated by INRIA towards updating the compiler and documentation, and yes there are companies in the Consortium, and the number of companies has grown year on year. No one I know offers support over the phone, and who'd want to when you can get better support on a mailing list? > I meant things at the level of linking compiled code/modules. F# website > says it has "a cross-compiling core shared with the popular OCaml > language", so I presume that modules written in one can be used in the > other. Only to a very limited extent. I think that camlpdf is the only major piece of code that is supposed to compile on both OCaml and F# - see: http://coherentpdf.com/blog/?p=25 Anyway, you want to link everything together from multiple languages? With OCaml the way to go would probably be either to make shared libraries (Red Hat are, I think, supposed to be sponsoring a GSoC project to make this easier), or to go with something like ocamljava and use the JVM. Rich. -- Richard Jones Red Hat