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=1.1 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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 815BBBBAF for ; Fri, 8 Aug 2008 01:00:15 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAE8bm0jAXQIm/2dsb2JhbACtEg X-IronPort-AV: E=Sophos;i="4.31,322,1215381600"; d="scan'208";a="28036560" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Aug 2008 01:00:15 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m77N09ch016964 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 8 Aug 2008 01:00:14 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjYCANgam0hQW+UCgWdsb2JhbACRPgEBECAEmxw X-IronPort-AV: E=Sophos;i="4.31,322,1215381600"; d="scan'208";a="15809894" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 08 Aug 2008 01:00:14 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1KRESq-0003uy-Df for caml-list@inria.fr; Thu, 07 Aug 2008 23:00:12 +0000 Received: from elehack.net ([216.243.177.100]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 07 Aug 2008 23:00:12 +0000 Received: from michael by elehack.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 07 Aug 2008 23:00:12 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Michael Ekstrand Subject: Re: native vs bytecode Date: Thu, 07 Aug 2008 17:12:49 -0500 Message-ID: <87fxpgzd7i.fsf@jehiel.elehack.net> References: <74a4f4670808061258q30513bbdl446240feab3fdc36@mail.gmail.com> <20080806212103.GA13743@annexia.org> <200808070902.38318.ober.14@osu.edu> <200808070913.51534.ober.14@osu.edu> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha1; protocol="application/pgp-signature" X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: elehack.net User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) Cancel-Lock: sha1:wBJ3fwQrTEnhyHurB6+Jp9g818w= Sender: news X-Miltered: at discorde with ID 489B7E79.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bytecode:01 ocaml:01 ocaml:01 gpg:01 wrote:01 writes:01 native:03 python:03 redhat:03 redhat:03 confused:04 guess:04 pointing:06 osu:07 red:92 X-Attachments: type="application/pgp-signature" --=-=-= Content-Transfer-Encoding: quoted-printable Kuba Ober writes: > On Thursday 07 August 2008, Kuba Ober wrote: >> > With this strategy, OCaml programs at Red Hat are performing as well >> > as C code, and about an order of magnitude faster & an order of >> > magnitude lower memory usage than programs written in Python, which is >> > the main language used around here. >> >> What does RedHat use OCaml for? That's just to satisfy my curiosity. A >> quick google for ocaml at redhat did not yield much. > > I should say that I did look at your page, so the question should rather = be: > what does RedHat use Ocaml for, other than what RJ is using it for? :) Educated guess based on the things listed on RJ's page and the packages presently available in Fedora 9: tools for a future version of RHEL, I would imagine :). =2D Michael =2D-=20 mouse, n: A device for pointing at the xterm in which you want to type. Confused by the strange files? I cryptographically sign my messages. For more information see . --=-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkibc2EACgkQJMBfXHjb5YXYCQCeIDLHPwIzPQNDyIAiyoxw8kMF hD0An0s/XaidOpZTG/qabKO9tSRnrBR9 =qg1Y -----END PGP SIGNATURE----- --=-=-=--