Am 25.10.2010 10:39, schrieb Jacques Le Normand:
I am pleased to announce an experimental branch of the O'Caml compiler:
O'Caml extended with Generalized Algebraic Datatypes.
Of course, some would claim than 3.12 is already almost there:
http://okmij.org/ftp/ML/first-class-modules/#naive-GADTs
Aaron Bohannon schrieb:
To my very pleasant surprise, I found the throughput *increased* by about
2%!!
[...] utterly defying my GC intuition.
Maybe you stay in L3 cache with the more compact heap, what is your resident set
size with and without the additional compactions? Performance on
Richard Jones schrieb:
On Thu, Sep 24, 2009 at 02:47:17AM +0100, Jon Harrop wrote:
Wow! 2.6x faster on 2 cores is good. ;-)
Isn't that impossible? Or is the multicore GC better than the single
threaded one? (Sorry if this is a stupid or obvious question)
It might just happen that the size
I think that
Fatal error: exception Pxp_core_types.A.At(In entity [toplevel] = PRIVATE, at
line 2, position 175:
, _)
is a suboptimal message for
No DTD found, maybe you should use Pxp_tree_parser.parse_wfdocument_entity
instead
- Florian
___
Erik de Castro Lopo schrieb:
The Linux kernel which is the one I am interested in is C only.
The kernel I linked to is in C, too (well, 7500 lines of C accompanied
by 20 lines of proof that the C actually implements the formal
specification automatically generated from the Haskell
Erik de Castro Lopo schrieb:
That makes sense. I do quite low level stuff as well, even Linux device
drivers and that is not ever going to be done in Ocaml or Haskell :-).
People do use Haskell in developing OS kernels, and you can't get more
low-level than that:
Dario Teixeira schrieb:
So, can someone find any problems with this reasoning?
No, the kind of compatibility with legacy code you described is
one of the original design goals of UTF-8, see
http://www.cl.cam.ac.uk/~mgk25/ucs/utf-8-history.txt
- Florian.
Matthieu Dubuget schrieb:
Any idea?
You are probably using windows, which is a bit weird about operations
on open files.
- Florian.
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Jean Guyader wrote:
Is it possible to generate 32 bits assembly code with a 64 bits ocamlopt?
If you are adventurous, you might be able to set up a cross compilation
environment, look at the PowerPC 405 thread from a few days ago for
ideas.
The easier way is probably to set up a 32 bit chroot
Xavier Leroy schrieb:
Maybe that shouldn't be titled tutorial at all.
The manual has been a known PR disaster for ages.
http://caml.inria.fr/pub/ml-archives/caml-list/2002/10/72ebe64a56c256607772b32ceb58197d.en.html
- Florian.
___
Caml-list mailing
Benjamin Canou schrieb:
Please note that this is an early version, in particular the DOM
interface module is neither pretty nor well typed.
If you enhance these APIs, you should probably try to coordinate it
with whatever might happen in http://code.google.com/p/ocamljs/
so that source code
Robert Morelli schrieb:
The emacs tags system didn't work for you?
There is no way to produce tags files for emacs that does actually work, no?
exuberant-ctags doesn't support caml, otags is still on 3.09 and ocamltags
doesn't understand files in directories...
Am I missing something?
-
I'm playing with ocamljs, and the build instructions contain:
| Unpack the OCaml 3.10.0 distribution and run ./configure only,
| with the same options you gave when you built OCaml, then symlink it
| to ocamljs-0.1/ocaml.
What is the canonical way in godi to do so?
Recompiling and issuing a
cp
Richard Jones schrieb:
I've to find an IDE that can edit email.
Be careful what you wish for:
http://eclipsemail.org/wiki/index.php/Welcome_to_Eclipsemail
- Florian
___
Caml-list mailing list. Subscription management:
Oliver Bandel schrieb:
...but where is HDCaml now?
Where the hump says it is. You must have been the victim of a temporary
network anomaly.
Yours, Florian.
___
Caml-list mailing list. Subscription management:
15 matches
Mail list logo
