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 A5565BBAF for ; Thu, 25 Nov 2010 12:17:45 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AssBALbU7UxKfVI0kGdsb2JhbACUUTGBJIxbCBUBAQEBCQkMBxEDH6N8i3wBBY4KAQSFRw X-IronPort-AV: E=Sophos;i="4.59,253,1288566000"; d="scan'208";a="80187945" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Nov 2010 12:17:45 +0100 Received: by wwb17 with SMTP id 17so760739wwb.9 for ; Thu, 25 Nov 2010 03:17:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:from:to:references :in-reply-to:subject:date:organization:message-id:mime-version :content-type:content-transfer-encoding:x-mailer:thread-index :content-language; bh=9Bca/JqPI9BxsDJhuKmw0Ewb9lHjDfupXDSRPg+lQdU=; b=H2c/E+4jBgEH8g5wdcHYHKTleM27iw99Al4Awdt6aweeZedvDxTpG8/WVL2IOz1R84 mGJ9rXq0AaxeNPRfAqXuwbf0oj+GVugDNKdMeQkZT0oCcuYoJ0vDN+Z+vr+J4mhChwrf OR5i90L9dM5p+OoQDQOqEWnOlgZhjAvkT3eFQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=from:to:references:in-reply-to:subject:date:organization:message-id :mime-version:content-type:content-transfer-encoding:x-mailer :thread-index:content-language; b=jeqG79uxF6CpiDutuqgmZmgAHIQ0Xybin5w/FPQCBb30adCIrPPjyfgZBZgK7FxSlE K+SniW6jdokrUBU62KmPjLynRKg7gZyucCxGaf9ItKEfIJfV7ajwtiQJ0NOr0+hcA+YD a7K2Z0TKFeLe4VOCeHbAEAvPV6qBEkXZbbfbw= Received: by 10.216.153.147 with SMTP id f19mr1106309wek.40.1290683864489; Thu, 25 Nov 2010 03:17:44 -0800 (PST) Received: from WinEight ([87.113.160.118]) by mx.google.com with ESMTPS id x28sm261101weq.16.2010.11.25.03.17.40 (version=SSLv3 cipher=RC4-MD5); Thu, 25 Nov 2010 03:17:41 -0800 (PST) From: Jon Harrop To: References: <538372.76249.qm@web111505.mail.gq1.yahoo.com> <20101123225615.GA28697@siouxsie> <068901cb8b69$b9021720$2b064560$@com> <20101124122415.0d62a10a.mle+ocaml@mega-nerd.com> In-Reply-To: <20101124122415.0d62a10a.mle+ocaml@mega-nerd.com> Subject: RE: [Caml-list] Is OCaml fast? Date: Thu, 25 Nov 2010 11:17:15 -0000 Organization: Flying Frog Consultancy Message-ID: <078d01cb8c92$51401860$f3c04920$@com> MIME-Version: 1.0 Content-Type: text/plain; charset="windows-1255" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Office Outlook 12.0 Thread-Index: AcuLdnoI/2vAu5T0QRqCiDYfbzalUABGlJbA Content-Language: en-gb X-Spam: no; 0.00; ocaml:01 structs:01 hash:01 ocaml:01 cheers:01 statically:01 beginner's:01 bug:01 bounces:98 beginners:01 wrote:01 typing:01 heap:01 caml-list:01 caml-list:01 Boxing and generics with type erasure making it difficult or impossible = to reduce the density of references in the heap. Structs and reified = generics=FD can give huge performance improvements. Hash tables and complex = arithmetic are some examples where I often see F# running 5-20=AA faster than = idiomatic OCaml/Java code. Cheers, Jon. > -----Original Message----- > From: caml-list-bounces@yquem.inria.fr [mailto:caml-list- > bounces@yquem.inria.fr] On Behalf Of Erik de Castro Lopo > Sent: 24 November 2010 01:24 > To: caml-list@inria.fr > Subject: Re: [Caml-list] Is OCaml fast? >=20 > Jon Harrop wrote: >=20 > > Many of the things that can make OCaml and Java slow were inherited > > from Lisp. They are, in effect, designs that still bear the burden > > of dynamic typing despite being statically typed. >=20 > I'm curious, what in your opinion are those things? >=20 > Erik > -- > ---------------------------------------------------------------------- > Erik de Castro Lopo > http://www.mega-nerd.com/ >=20 > _______________________________________________ > 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