From: Basile STARYNKEVITCH <basile@starynkevitch.net>
To: Sarah Mount <mount.sarah@gmail.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Benchmarks against imperative languages
Date: Sat, 4 Mar 2006 15:36:08 +0100 [thread overview]
Message-ID: <20060304143608.GA16996@ours.starynkevitch.net> (raw)
In-Reply-To: <a06ac3670603040604t7c55b692h@mail.gmail.com>
Le Sat, Mar 04, 2006 at 02:04:44PM +0000, Sarah Mount écrivait/wrote:
> Informal benchmarks (Doug Bagley, Jon Harrop, ...) of OCaml code
> against other languages seem to suggest that Ocaml code performs about
> as well as C++ code in many cases. Does anyone know of any published
> (as in dead-tree) work that might confirm/deny this?
I don't believe this question has a precise, practical answer.
We all know (by experience) that Ocaml performs quite well. We also
know that for most (but not all) of the software we are coding, the
cost and time of development does significantly matter, and a 10%
decrease in performance is not that important, hence Ocaml brings a
real win.
A real answer would be to have a team of programmers fluent in Ocaml
write a code (an real-sized application of hundreds of KLOC of source
code, representing several man-years of effort) which has exactly the
same precise specification than an existing code written in C. But
this will never happen (it is too costly but quite useless an
experiment). For example, nobody will recode in Ocaml an exact clone
of gcc-4.1, firefox-1.5, or mysql-5.0!
I don't even know about big-sized Ocaml applications which have C++
written competitors....
Why do you need more than the informal benchmarks, and your personal
experience?
Maybe a related question is "why corporations (or professionals) are
switching from C++ to Ocaml" but this is a question that won't be (for
social and political reasons easy to guess) easily and really
answered.
Is your real question: "help me to convince my boss to let me code in
OCaml"?
Regards.
--
Basile STARYNKEVITCH http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net
aliases: basile<at>tunes<dot>org = bstarynk<at>nerim<dot>net
8, rue de la Faïencerie, 92340 Bourg La Reine, France
next prev parent reply other threads:[~2006-03-04 14:36 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-03-04 14:04 Sarah Mount
2006-03-04 14:36 ` Basile STARYNKEVITCH [this message]
2006-03-04 18:01 ` [Caml-list] " David Teller
2006-03-05 9:38 ` Richard Jones
2006-03-05 14:38 ` Christophe TROESTLER
2006-03-05 4:48 ` Looking for suggestions on self-referential object definitions David Powers
2006-03-05 5:31 ` [Caml-list] " Jonathan Roewen
2006-03-05 14:37 ` David Powers
2006-03-05 8:21 ` Martin Jambon
2006-03-05 15:16 ` Oliver Bandel
2006-03-05 11:54 ` [Caml-list] Benchmarks against imperative languages Jon Harrop
2006-03-05 13:20 ` skaller
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20060304143608.GA16996@ours.starynkevitch.net \
--to=basile@starynkevitch.net \
--cc=caml-list@inria.fr \
--cc=mount.sarah@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).