caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: skaller <skaller@users.sourceforge.net>
To: Ville-Pertti Keinonen <will@exomi.com>
Cc: skaller@users.sourceforge.net, briand@aracnet.com,
	caml-list@pauillac.inria.fr
Subject: Re: [Caml-list] exene and ocaml ?
Date: 02 Apr 2004 00:08:41 +1000	[thread overview]
Message-ID: <1080828521.13854.358.camel@pelican> (raw)
In-Reply-To: <6C27A642-83BE-11D8-96B0-000393863F70@exomi.com>

On Thu, 2004-04-01 at 19:24, Ville-Pertti Keinonen wrote:
> On Apr 1, 2004, at 11:19 AM, skaller wrote:

> Yes, my "reasonably well" was in the context of current expectations 
> and tools.  I'd really love for OCaml to have efficient threading 
> (especially if they were implemented using continuations).
> 
> I wouldn't use or recommend a massively multithreaded approach unless 
> there was a practical and efficient enough environment available.  

Indeed it would be a disaster to use Posix threads for this ..

> CML, 
> Oz and presumably Felix would be efficient enough in their threading 
> concepts, but don't seem to have the real-world practicality of OCaml 
> (or mainstream languages).  I'll admit to not having tested Felix yet, 
> although I've downloaded it quite some time ago.

Conceptually, Felix is much more 'real world' in some ways than
Ocaml: it is designed to use the C/C++
object model directly, it is designed to allow almost seamless
binding to C/C++ at the source code and object code level.
For example to map a C++ type T for use in Felix you just write:

	type T = "T";

and to make a function

	T f(T);

available you just write:

	fun f: T -> T = "f($1)";

Where Felix misses out on the 'real world' part is of course
maturity: its pre-alpha, and currently there is only one
user who is trying to build a game with it; I don't even
use it myself at this stage (other than building artificial
tests).

--

John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net



-------------------
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-04-01 14:09 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-04-01  4:08 briand
2004-04-01  7:25 ` Ville-Pertti Keinonen
2004-04-01  8:19   ` skaller
2004-04-01  9:24     ` Ville-Pertti Keinonen
2004-04-01 14:08       ` skaller [this message]
2004-04-11  6:46         ` briand
2004-04-11  8:41           ` skaller
2004-04-11  9:02             ` Richard Jones
2004-04-11  9:26               ` skaller
2004-04-11 13:21           ` Ville-Pertti Keinonen
2004-04-01 14:34       ` skaller
2004-04-02  5:09       ` briand

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=1080828521.13854.358.camel@pelican \
    --to=skaller@users.sourceforge.net \
    --cc=briand@aracnet.com \
    --cc=caml-list@pauillac.inria.fr \
    --cc=will@exomi.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).