From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 716E0BC58 for ; Wed, 15 Sep 2010 17:22:49 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlYBAHaBkEzRVdg0kGdsb2JhbACTWY4ECBUBAQEBCQkMBxEDH6kYi0aGSoh6AQEDBYU8BIRKhWKJAA X-IronPort-AV: E=Sophos;i="4.56,371,1280700000"; d="scan'208";a="69577864" Received: from mail-qw0-f52.google.com ([209.85.216.52]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Sep 2010 17:22:48 +0200 Received: by qwf6 with SMTP id 6so277981qwf.39 for ; Wed, 15 Sep 2010 08:22:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received :in-reply-to:references:date:x-google-sender-auth:message-id:subject :from:to:cc:content-type:content-transfer-encoding; bh=DNUzlniA5eWNJtX4q0qDrub8kShR+nPn6iFSAtlaPUY=; b=X9/g43Lpdc81507eB/VbonW/RdX3YqB/nA2xklF+1r4k53h7oVOrExpmadTM5Rgyf7 SkE8h4JlmcsaiaukPcXirMj1HNVaHeXSMI7oiHbZ6iTtfQ5lIdaM4lRmS39upCPibEbo rtPhrdNCTsjP+a4TOIRwhv7b9lWO0vhoeloxY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; b=umCNqlpmeg9S2qFg2/Fo1Tfn+rrunX7C82l2uMgKvFiyEOeynTA70JY8fhAfA2hFzB N5DtSpQNFrGILFkVsyokL+/k31eDScGo20WRQRgsij4WkSBZST88DCWQx1w0vHTzfQIa XdqnbIn8LjYJBrp/2lpDkasEihkQjIPWifrXU= MIME-Version: 1.0 Received: by 10.229.189.140 with SMTP id de12mr1349265qcb.5.1284564167480; Wed, 15 Sep 2010 08:22:47 -0700 (PDT) Sender: grettke@gmail.com Received: by 10.229.220.211 with HTTP; Wed, 15 Sep 2010 08:22:46 -0700 (PDT) In-Reply-To: <4C90C61C.3090707@telecom-bretagne.eu> References: <4C90C61C.3090707@telecom-bretagne.eu> Date: Wed, 15 Sep 2010 10:22:46 -0500 X-Google-Sender-Auth: pn1Oj_7fVwIkgGVnPQcSWJBLLl8 Message-ID: Subject: Re: WAS Re: [Caml-list] Compiling Ocaml sources to c sources From: Grant Rettke To: Vincent Gripon Cc: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocaml:01 basile:01 cheers:01 ocaml:01 planing:01 compilable:01 pointer:01 -output-obj:01 compiler:01 beginner's:01 bug:01 ama:98 beginners:01 wrote:01 wrote:01 You can do F# with Mono. On Wed, Sep 15, 2010 at 8:11 AM, Vincent Gripon wrote: > =A0Hello Grant, > > This would likely be accepted by the contest, but it would force me to bo= ot > on my windows partition (which I prefer not to!). As Basile proposed anot= her > working suggestion, we will avoid the use of .Net. > > The contest is IEEEXtreme programming competition ( > http://www.ieee.org/membership_services/membership/students/competitions/= xtreme/index.html > ). > > Cheers. > > On 09/14/2010 02:36 PM, Grant Rettke wrote: >> >> =A0From what I've heard on-list, OCaml and F# are pretty similar; to the >> point where F# can compile OCaml. >> >> You *could* write it in OCaml, compile it under F#, and call the >> library from a C# program that only has as 'main' function. >> >> What contest are you entering? >> >> On Tue, Sep 14, 2010 at 7:09 AM, Vincent Gripon >> =A0wrote: >>> >>> Hello, >>> >>> We are currently planing to participate to a programming contest. This >>> contest allows the use of four languages (C/C#/C++/java) but not OCaml. >>> >>> We would like to use Ocaml as it is to us the language that fits the mo= st >>> the kind of exercises proposed. The organizers don't mind if we use OCa= ml >>> as >>> long as we provide an easily compilable C source to them, even if it is >>> not >>> readable. >>> >>> Is there any platform independent way to compile OCaml sources to C >>> sources? =A0And if not, do you have any pointer (we gave a try at compi= ling >>> OCaml sources to C object files using the -output-obj option but couldn= 't >>> compile then the resulting file with our C compiler)? >>> >>> Best, >>> >>> Vincent >>> >>> _______________________________________________ >>> Caml-list mailing list. Subscription management: >>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list >>> Archives: http://caml.inria.fr >>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >>> Bug reports: http://caml.inria.fr/bin/caml-bugs >>> >>> >> >> > --=20 http://www.wisdomandwonder.com/ ACM, AMA, COG, IEEE