caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Jack Andrews" <effbiae@ivorykite.com>
To: "John Prevost" <j.prevost@gmail.com>
Cc: caml-list@inria.fr
Subject: [Caml-list] Re: c is 4 times faster than ocaml?
Date: Wed, 4 Aug 2004 18:18:16 +1000 (EST)	[thread overview]
Message-ID: <44554.60.246.254.84.1091607496.squirrel@www.ivorykite.com> (raw)
In-Reply-To: <d849ad2a040804002840189222@mail.gmail.com>

John Prevost said:
>> was the C hard to read or the O'Caml?  Any style tips for my caml?
>
> Mmm.  They were both pretty blinding.
my c style is inspired by arthur whitney of kx.com.  he is a genius.  his
language, k, is superquick.  it's an APL dialect.  he's written kdb in k,
and it goes like the clappers.  the most impressive thing is that k comes
in at <100Kb and kdb <50Kb.  he's a genius.

> The basic idea is that you would take something that you might
> otherwise do as a long sequence of calls and turn it into a single
> call.

yeah, i'm familiar with the pattern.  basically, i want to write my dbms
core in ocaml -- my only other option at the moment is c. i have to say
that looking at the -S output i am given great hope that ocaml has got
what it takes.  i thought i'd never find a functional language that was
fast, but i always believed it was possible to write a fast compiler for
one!  (i was brought up on miranda and prolog)

> ... but
> since the main idea is mainly just to amortize the necessary overhead
> across a larger amount of data, it should be preferable.

the only interface where such amortizing could occur is the API to the
database core, but i want to write the core in ocaml and i think it's
possible (see thread 'what is this magic?')

> Your chosen testcase has more necessary overhead than most, mainly
> because it's interacting heavily with a datastructure *meant* to
> interoperate with C.

you mean ocaml is not a suitable language for developing a dbms?

thanks,



jack

-------------------
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


  reply	other threads:[~2004-08-04  8:18 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-08-04  2:39 [Caml-list] " effbiae
2004-08-04  4:59 ` John Prevost
2004-08-04  5:05   ` John Prevost
2004-08-04  5:24   ` effbiae
2004-08-04  7:28     ` John Prevost
2004-08-04  8:18       ` Jack Andrews [this message]
2004-08-04 10:06         ` [Caml-list] " Mikhail Fedotov
2004-08-04 10:25           ` [Caml-list] " Jack Andrews
2004-08-04 15:38             ` [Caml-list] custom mmap modeled on bigarray Jack Andrews
2004-08-10  5:06               ` Jack Andrews
2004-08-11 14:52                 ` Eric Stokes

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=44554.60.246.254.84.1091607496.squirrel@www.ivorykite.com \
    --to=effbiae@ivorykite.com \
    --cc=caml-list@inria.fr \
    --cc=j.prevost@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).