From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id BAA15101; Fri, 28 May 2004 01:00:48 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA14937 for ; Fri, 28 May 2004 01:00:47 +0200 (MET DST) Received: from mailout01.sul.t-online.com (mailout01.sul.t-online.com [194.25.134.80]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4RN0kEV002688 for ; Fri, 28 May 2004 01:00:46 +0200 Received: from fwd04.aul.t-online.de by mailout01.sul.t-online.com with smtp id 1BTTri-00005Z-01; Fri, 28 May 2004 01:00:46 +0200 Received: from t-online.de (GECnGrZCweWmb0T5ZqmwRc49TWNiZMJf6GVPzRrDa-zchQD5FVpN8p@[217.95.165.153]) by fwd04.sul.t-online.com with esmtp id 1BTTrR-0elMVU0; Fri, 28 May 2004 01:00:29 +0200 Message-ID: <40B6730C.5000901@t-online.de> Date: Fri, 28 May 2004 01:00:28 +0200 From: szegedy@t-online.de (Christian Szegedy) User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6b) Gecko/20040214 Thunderbird/0.4 X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Looking for collaborators on a hobby project References: <40B65986.2030603@t-online.de> <1085695743.6826.154.camel@pelican.wigram> In-Reply-To: <1085695743.6826.154.camel@pelican.wigram> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Seen: false X-ID: GECnGrZCweWmb0T5ZqmwRc49TWNiZMJf6GVPzRrDa-zchQD5FVpN8p X-Miltered: at nez-perce with ID 40B6731E.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 hacks:01 type-checked:01 suitably:01 programmer's:01 python:01 debugging:01 debugging:01 ocaml:01 cope:02 syntax:02 ruby:02 ruby:02 forbid:03 typing:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear Skaller! I was not aware that you are behind the Felix project. I really admire your achievments. Ruby's classes are quite dynamic. There is a great deal of reflexivity and onw can do a lot of metaprogramming and nasty tricks like e.g. eval. I don't plan my language to cope with all Ruby finesses. The programmer shoud use the interpreted pass to do all the dirty hacks, the compiled functions would would have a much more restricted repertoire. E.g., I would not allow the user to do evals in the type-checked part of the code. (Or, alternatively the eval would be interpreted, but for the first attempts, I would simply forbid it together with other nasty features.) I would not like to do any flow analysis. The main reason to use compilation is not performance, but type-safeness. Today's computers are suitably efficient for most tasks. It's the programmer's efficiency that should be improved. (However, performance is still greatly improved over interpreted Ruby or Python by the described transformations) It is all mainly about reducing programming and debugging efforts. I can program faster in Ruby for some tasks. This is mainly because of the richer and more consistent syntax of Ruby and its excellent and well designed class library. However as a project grows, static typing in Ocaml saves me a lot of debugging time. I would like combine these two different advantages. Of course, performance should be improved when possible. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners