Xavier Leroy a écrit :
2- OCaml's strategy is close to optimal for symbolic computing.
Is MLton not several times faster than OCaml for symbolic computing?
No, only in your dreams. If there was a Caml or SML compiler that was
twice as fast as Caml on codes like Coq or Isabelle/HOL,
On Monday 30 March 2009 16:56:37 Joel Reymont wrote:
There's a nice discussion of LLVM in the context of Alice ML here:
http://lambda-the-ultimate.org/node/440
I'm told that not much has changed since.
Whoever told you that was wrong: a lot has changed in LLVM over the past five
years.
2- OCaml's strategy is close to optimal for symbolic computing.
Is MLton not several times faster than OCaml for symbolic computing?
No, only in your dreams. If there was a Caml or SML compiler that was
twice as fast as Caml on codes like Coq or Isabelle/HOL, everyone (me
included) would
On Monday 23 March 2009 14:19:00 Xavier Leroy wrote:
3- A language implementation like OCaml breaks down in four big parts:
1- Front-end compiler
2- Back-end compiler and code emitter
3- Run-time system
4- OS interface
Of these four, the back-end is not the
Hi OCaml hackers,
It is not mistake, in spite of ocaml does not take part in GSoC 2009, but
ocaml community still can benefit from it.
I would like to develop LLVM frontend to Ocaml language. LLVM does
participate in GSoC. LLVM do not mind to developed a ocaml frontend as LLVM
GSoC project.
2009/3/21 Andrey Riabushenko cd...@bk.ru:
I would like to develop LLVM frontend to Ocaml language. LLVM does
participate in GSoC. LLVM do not mind to developed a ocaml frontend as LLVM
GSoC project. I want to discuss details with you before I will make an
official proposal to LLVM.
Very
LLVM
will give ocaml an aggressive whole program optimizer and will make
possible to run ocaml on new platforms that are supported by LLVM, but
not yet by Ocaml.
Is there any such platform?
There are - PIC16, XCore, Cell SPU and Microsoft IL (F# reinvented :).
Many others are under
On Saturday 21 March 2009 13:47:40 Andrey Riabushenko wrote:
LLVM
will give ocaml an aggressive whole program optimizer and will make
possible to run ocaml on new platforms that are supported by LLVM, but
not yet by Ocaml.
Is there any such platform?
There are - PIC16, XCore,
On Saturday 21 March 2009 20:49:28 Joel Reymont wrote:
On Mar 21, 2009, at 2:51 PM, Jon Harrop wrote:
. I found that LLVM's x86 backend breaks tail calls when the return
type is a
first class struct. The workaround is to use sret form, having the
caller
preallocate the return struct and
On Saturday 21 March 2009 20:43:01 Joel Reymont wrote:
On Mar 21, 2009, at 1:38 PM, Jon Harrop wrote:
. You will succumb to ocamlopt's current run-time representation
which is
objectively inefficient (e.g. boxing floats, tuples, records) and
was only
chosen because the compiler lacks
Andrey Riabushenko wrote:
I would like to develop LLVM frontend to Ocaml language.
Sounds cool.
1.What is the best way to make ocaml frontend on your opinion?
I haven't been following LLVM, but you can learn about some of the
issues you are likely to face in my PhD dissertation. Part of
11 matches
Mail list logo