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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id F3CD2BC57 for ; Sat, 20 Nov 2010 16:42:36 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0AAFR750zRVdY0k2dsb2JhbACUYo17CBUBAQEBCQkKCREDH6EWi3sBBY1jAQSFSw X-IronPort-AV: E=Sophos;i="4.59,229,1288566000"; d="scan'208";a="67553235" Received: from mail-bw0-f52.google.com ([209.85.214.52]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Nov 2010 16:42:36 +0100 Received: by bwz4 with SMTP id 4so4851374bwz.39 for ; Sat, 20 Nov 2010 07:42:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:content-type:mime-version :subject:from:in-reply-to:date:content-transfer-encoding:message-id :references:to:x-mailer; bh=fmqR9+6dSK+MkgAtBSH2GrJvEPnQ0sHNgKn0uW4bGSs=; b=bvFb3VUQ4+EMUUth5RSHM2HgK+v2YJtqnVWZExEWO0gdutQovdwJuJFkFWRb2QFbcv 9bFEyICkX1jYxpsca2eRWjlUi17rMMhRGm/3ymIAmgG61RrEv+Ql0BUmokWksoLMD/5E hApAt0MvW+nd9NtcNnKjTZnWlHZaHQE1RENVY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; b=QxLCjtsUYICDITRflQVWjaOEheKu8UWa/KaCXBh+JlguuRuv5b+9DVtMDPtrezVd60 +VWO/lsEycJAEQlzHg8dLDeHLK/xP16aCt0B0yD8D8EXfKr+QiFtt1NULqhNqVvyMrf4 Chtg6AGYnbHHCEQc8f22TDwzLSbhscNKN907o= Received: by 10.204.120.132 with SMTP id d4mr1549774bkr.17.1290267755539; Sat, 20 Nov 2010 07:42:35 -0800 (PST) Received: from bespin.kosmos.all (ip-95-223-170-32.unitymediagroup.de [95.223.170.32]) by mx.google.com with ESMTPS id d12sm1430190bkw.7.2010.11.20.07.42.34 (version=SSLv3 cipher=RC4-MD5); Sat, 20 Nov 2010 07:42:34 -0800 (PST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Apple Message framework v1081) Subject: Re: [Caml-list] [Was: OCamlJit 2.0] From: Benedikt Meurer In-Reply-To: <201011201619.47211.vincent.balat@pps.jussieu.fr> Date: Sat, 20 Nov 2010 16:42:32 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: References: <980786.74593.qm@web111507.mail.gq1.yahoo.com> <023DB1B5-B4D6-4C2A-AAF6-2368F93BEBB6@wanadoo.fr> <201011201619.47211.vincent.balat@pps.jussieu.fr> To: caml-list@yquem.inria.fr X-Mailer: Apple Mail (2.1081) X-Spam: no; 0.00; compiler:01 speedup:01 bytecode:01 reimplement:01 bytecode:01 ocaml:01 haskell:01 2.0:98 20,:98 webservices:98 webservices:98 imho:01 wrote:01 wrote:01 caml-list:01 On Nov 20, 2010, at 16:19 , Vincent Balat wrote: > On Nov 19, 2010 21:20:01, Yoann Padioleau wrote: >> On Nov 19, 2010, at 11:46 AM, Dario Teixeira wrote: > ... >>> Actually, Facebook has a compiler that transforms PHP source code = into >>> C++ [1], and they claim a 50% reduction in CPU usage. >>=20 >> Yes, which is good. But if you think about it is "only" a x2 speedup = vs a >> really slow bytecode interpreter (the Zend PHP interpreter). PHP is = known >> for being more than 30 times slower than C. >> It's even slower than Ruby on >> = http://shootout.alioth.debian.org/u32/which-programming-languages-are-fast= >> est.php There are lots of opportunities to do better IMHO. >=20 > Would it be completely inconceivable for a company like facebook to=20 > reimplement everything using a fast well designed typed language > instead of "spending hundreds of millions of dollars on machines that = run PHP=20 > bytecode interpreters"? (quoting Yoann) It's probably not a technical decision, but more likely a marketing = decision. If you tell Joe that your webservices run on Java, PHP or = .NET, he'll say "great", "sure" or "wow" (not because Joe's familiar = with the technology or the theory, but because he's familiar with the = terms). Tell Joe your webservices run on OCaml or Haskell and the best = answer you can get will be "what?". > Vincent [not completely joking] Benedikt=