From: Jon Harrop <jon@ffconsultancy.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] JIT & HLVM, LLVM
Date: Sun, 27 Sep 2009 20:33:24 +0100 [thread overview]
Message-ID: <200909272033.24980.jon@ffconsultancy.com> (raw)
In-Reply-To: <60282.70.26.46.231.1254079393.squirrel@pegasus.carleton.ca>
On Sunday 27 September 2009 20:23:13 kcheung@math.carleton.ca wrote:
> > I'm not as committed to abandoning OCaml as you seem, and have hope for
> > incremental improvement of OCaml's weaknesses, although I realize we'll
> > have to break a number of things to get to where we both (and likely
> > many others) want to be.
>
> Perhaps the future adoption of OCaml will
> depend on what OCaml 4.0 is going to be like.
> If Grand Central Dispatch makes its way
> into *nix, then I think it is extremely
> worthwhile for OCaml to have support for
> something similar.
Someone would have to inspire Xavier and/or Damien to start from scratch and
build what we need (and not what Coq needs). Realistically, that is never
going to happen. We should thank them for enlightening us but this will only
ever get built if we build it ourselves. But, hey, at least we can build it
in OCaml. ;-)
--
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e
next prev parent reply other threads:[~2009-09-27 19:33 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-09-27 17:18 David McClain
2009-09-27 17:22 ` [Caml-list] " Vincent Aravantinos
2009-09-27 17:35 ` Edgar Friendly
2009-09-27 18:51 ` Jon Harrop
2009-09-27 19:07 ` Edgar Friendly
2009-09-27 19:23 ` kcheung
2009-09-27 19:33 ` Jon Harrop [this message]
2009-09-27 21:10 ` Jon Harrop
2009-09-27 21:45 ` Vincent Aravantinos
2009-09-30 1:08 ` Mikkel Fahnøe Jørgensen
2009-09-30 11:57 ` Stéphane Glondu
2009-09-30 12:54 ` Mikkel Fahnøe Jørgensen
2009-09-30 13:42 ` Stéphane Glondu
2009-09-30 19:11 ` Mikkel Fahnøe Jørgensen
2009-09-30 15:22 ` Jon Harrop
2009-09-30 19:35 ` Mikkel Fahnøe Jørgensen
2009-09-28 12:25 ` Gerd Stolpmann
[not found] <20090927214558.D40C5BC5C@yquem.inria.fr>
2009-09-27 21:59 ` CUOQ Pascal
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=200909272033.24980.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