From: Jon Harrop <jon@ffconsultancy.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] F# weaknesses
Date: Tue, 9 Dec 2008 01:51:44 +0000 [thread overview]
Message-ID: <200812090151.44586.jon@ffconsultancy.com> (raw)
In-Reply-To: <200812082352.02684.jon@ffconsultancy.com>
On Monday 08 December 2008 23:52:02 Jon Harrop wrote:
> I think the interesting question is "how might we accomplish this"...
I have been giving this question a lot of thought recently. The problem is
that the goal is quite obvious and objective but the route is not at all
obvious.
I think the best way to proceed is to build a DSL that is initially useful
(e.g. for numerics) and use macros and LLVM to get it JIT compiled. Then grow
the language and garner users until it is feasible to create a stand-alone
version of the language.
I believe it is quite feasible to create a MiniML with its source quoted
inside OCaml programs using Camlp4 and an LLVM backend for it that beats
OCaml's performance on some tasks. That alone would be useful and it can be
improved incrementally from there until it is a full-blown language
implementation.
--
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e
prev parent reply other threads:[~2008-12-09 1:49 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-12-08 20:02 Gabriel Kerneis
2008-12-08 20:45 ` [Caml-list] " Dario Teixeira
2008-12-08 23:52 ` Jon Harrop
2008-12-09 1:51 ` Jon Harrop [this message]
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=200812090151.44586.jon@ffconsultancy.com \
--to=jon@ffconsultancy.com \
--cc=caml-list@yquem.inria.fr \
/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).