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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id EECCFBC58 for ; Wed, 15 Sep 2010 21:55:49 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYBAHPBkEw+BBBnlGdsb2JhbACiAwEBAQEJCwgJEQMfx14NgnYIgjYEhRw X-IronPort-AV: E=Sophos;i="4.56,372,1280700000"; d="scan'208";a="59338939" Received: from smtp-103-wednesday.nerim.net (HELO kraid.nerim.net) ([62.4.16.103]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Sep 2010 21:55:49 +0200 Received: from hector.lesours (ours.starynkevitch.net [213.41.244.95]) by kraid.nerim.net (Postfix) with ESMTP id 2B3F0CF0C8; Wed, 15 Sep 2010 21:55:49 +0200 (CEST) Received: from glinka.lesours ([192.168.0.1] helo=glinka) by hector.lesours with smtp (Exim 4.72) (envelope-from ) id 1Ovy56-0001wy-SB; Wed, 15 Sep 2010 21:55:48 +0200 Date: Wed, 15 Sep 2010 21:57:03 +0200 From: Basile Starynkevitch To: Vincent Gripon Cc: Thomas Gazagnaire , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Compiling Ocaml sources to c sources Message-Id: <20100915215703.d52b3875.basile@starynkevitch.net> In-Reply-To: <4C90C45E.70308@telecom-bretagne.eu> References: <4C8F660B.4060901@telecom-bretagne.eu> <1284468428.2252.400.camel@saorge.inria.fr> <4C90C45E.70308@telecom-bretagne.eu> X-Mailer: Sylpheed 3.1.0beta2 (GTK+ 2.21.7; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; basile:01 basile:01 ocaml:01 ocaml:01 syntax:01 planing:01 interp:01 trivial:01 syntax:01 cheers:01 faiencerie:01 92340:01 reine:01 wrote:01 wrote:01 On Wed, 15 Sep 2010 15:04:30 +0200 Vincent Gripon wrote: > Hi Thomas, > > Basile's suggestion allows us to use the whole OCaml syntax with no real > need for coding. That's why we are planing to use it. > Thank you for your solution. I am not sure to follow what you call "Basile's suggestion" exactly. If it is ocamljitrun.c it is just a tiny improvement over interp.c from ocaml distribution. Of course you don't need my permission to use ocamljitrun.c provided you respect its licence and its copyright owner (which is INRIA, which was my employer at the time I wrote it). And after glancing quickly at http://www.ieee.org/membership_services/membership/students/competitions/xtreme/index.html I was not able to easily find mention of a fixed set of languages like C, C#, Java, C++. However, perhaps in reality, your question becomes: what is source code in the eyes of an expert (the human jury of your competition). This don't have any easy or trivial answer. Maybe your answer should take into account the preference of the jury. The definition I usually like the most is that source code is the form of code which is preferred by the programmer (I think it is a GNU definition, or perhaps an FSF one). But again, this could be subject to interpretation, and lawyers or programmers have different views on it. And different programmers have different preferences (just think about the role of comments; there are probably important in your competition, but they don't mean anything to Ocaml.). Source code is not necessarily even a textual file (but in Ocaml or C it usually is; however I could be very pedantic and claim that source code for me is the code picture with syntax hightlighting and colors -as provided by my favorite editor's setting.). Likewise, I am not able to give a precise definition of what a text is (are two different translations or editions of the Bible the same text?). There used to be systems where source code was not textual. Long long time ago, at IRIA (the predecessor of INRIA) there used to be systems like Centaur... I also remember having a read a paper about Galaxy and hypertext programming (forgot the references). Good luck for the competition. Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***