RE: [Caml-list] Native toplevel? (was: OCamlJit 2.0)

2010-11-20 Thread Jon Harrop
Also for interactive data massaging and visualization. From: caml-list-boun...@yquem.inria.fr [mailto:caml-list-boun...@yquem.inria.fr] On Behalf Of Ashish Agarwal Sent: 18 November 2010 16:50 To: Alain Frisch Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Native toplevel? (was:

RE: [Caml-list] SMP multithreading

2010-11-20 Thread Jon Harrop
This is actually a quick way to use multiple cores with ocaml. Find a often called function that takes considerable time and offload it to C Or HLVM, F#, Scala, Clojure or any of the other languages that permit shared memory parallelism. C is particularly poor in this regard so I would not just

[Caml-list] [Was: OCamlJit 2.0]

2010-11-20 Thread Vincent Balat
On Nov 19, 2010 21:20:01, Yoann Padioleau wrote: On Nov 19, 2010, at 11:46 AM, Dario Teixeira wrote: ... Actually, Facebook has a compiler that transforms PHP source code into C++ [1], and they claim a 50% reduction in CPU usage. Yes, which is good. But if you think about it is only a x2

Re: [Caml-list] [Was: OCamlJit 2.0]

2010-11-20 Thread Benedikt Meurer
On Nov 20, 2010, at 16:19 , Vincent Balat wrote: On Nov 19, 2010 21:20:01, Yoann Padioleau wrote: On Nov 19, 2010, at 11:46 AM, Dario Teixeira wrote: ... Actually, Facebook has a compiler that transforms PHP source code into C++ [1], and they claim a 50% reduction in CPU usage. Yes,

Re: [Caml-list] OCamlJit 2.0

2010-11-20 Thread Yoann Padioleau
On Nov 19, 2010, at 11:10 AM, Benedikt Meurer wrote: Well, it is a research project, and it was driven by actual demand. A JIT engine for PHP is something less interesting from a university point of view, unless there are companies willing to sponsor/help the development. But from my

Re: [Caml-list] [Was: OCamlJit 2.0]

2010-11-20 Thread Yoann Padioleau
On Nov 20, 2010, at 7:42 AM, Benedikt Meurer wrote: On Nov 20, 2010, at 16:19 , Vincent Balat wrote: On Nov 19, 2010 21:20:01, Yoann Padioleau wrote: On Nov 19, 2010, at 11:46 AM, Dario Teixeira wrote: ... Actually, Facebook has a compiler that transforms PHP source code into C++ [1],

Re: [Caml-list] [Was: OCamlJit 2.0]

2010-11-20 Thread Benedikt Meurer
On Nov 20, 2010, at 17:10 , Yoann Padioleau wrote: It's probably not a technical decision, but more likely a marketing decision. If you tell Joe Who is Joe ? A developer ? A user ? A venture capitalist ? Joe is 99.9% of world's population, excluding experts in this special area. that

RE: [Caml-list] [Was: OCamlJit 2.0]

2010-11-20 Thread Jon Harrop
Do we have example of big companies porting their whole codebase to another language ? Yes, of course. Companies modernise all the time. We have a client who just started porting 1MLOC of C++ to F#. Flying Frog have ported hundreds of thousands of lines of OCaml to F#. It happens all the time

Re: [Caml-list] [Was: OCamlJit 2.0]

2010-11-20 Thread Gerd Stolpmann
Am Samstag, den 20.11.2010, 08:10 -0800 schrieb Yoann Padioleau: On Nov 20, 2010, at 7:42 AM, Benedikt Meurer wrote: On Nov 20, 2010, at 16:19 , Vincent Balat wrote: On Nov 19, 2010 21:20:01, Yoann Padioleau wrote: On Nov 19, 2010, at 11:46 AM, Dario Teixeira wrote: ...

Re: [Caml-list] [Was: OCamlJit 2.0]

2010-11-20 Thread Yoann Padioleau
On Nov 20, 2010, at 8:25 AM, Benedikt Meurer wrote: You can develop web services using probably any programming language available in the world. That's what I was about to say, it doesn't matter from a technological point of view. So if the programming language is irrelevant, but you have

Re: [Caml-list] [Was: OCamlJit 2.0]

2010-11-20 Thread Yoann Padioleau
On Nov 20, 2010, at 9:08 AM, Jon Harrop wrote: Do we have example of big companies porting their whole codebase to another language ? Yes, of course. Companies modernise all the time. We have a client who just started porting 1MLOC of C++ to F#. How they do that ? Are they using compiler

[Caml-list] Re: [Was: OCamlJit 2.0]

2010-11-20 Thread Sylvain Le Gall
On 20-11-2010, Yoann Padioleau pada...@wanadoo.fr wrote: On Nov 20, 2010, at 9:08 AM, Jon Harrop wrote: Do we have example of big companies porting their whole codebase to another language ? Yes, of course. Companies modernise all the time. We have a client who just started porting 1MLOC

RE: [Caml-list] [Was: OCamlJit 2.0]

2010-11-20 Thread Jon Harrop
Yoann Padioleau wrote: On Nov 20, 2010, at 9:08 AM, Jon Harrop wrote: Do we have example of big companies porting their whole codebase to another language ? Yes, of course. Companies modernise all the time. We have a client who just started porting 1MLOC of C++ to F#. How they do

RE: [Caml-list] Re: [Was: OCamlJit 2.0]

2010-11-20 Thread Jon Harrop
Sylvain Le Gall: I doubt an old code, not written with multicore in mind is easily portable to multicore. So basically, the migration you are talking about is starting a new project that will replace one software/library by another. Yes, the systems are kept loosely coupled during the

Re: [Caml-list] Re: Looking for stubs for sendmsg/recvmsg

2010-11-20 Thread Goswin von Brederlow
Sylvain Le Gall sylv...@le-gall.net writes: On 19-11-2010, Goswin von Brederlow goswin-...@web.de wrote: Sylvain Le Gall sylv...@le-gall.net writes: On 19-11-2010, Goswin von Brederlow goswin-...@web.de wrote: Sylvain Le Gall sylv...@le-gall.net writes: On 18-11-2010, Goswin von Brederlow

Re: [Caml-list] SMP multithreading

2010-11-20 Thread Goswin von Brederlow
Jon Harrop jonathandeanhar...@googlemail.com writes: This is actually a quick way to use multiple cores with ocaml. Find a often called function that takes considerable time and offload it to C Or HLVM, F#, Scala, Clojure or any of the other languages that permit shared memory parallelism. C

[Caml-list] Re: Looking for stubs for sendmsg/recvmsg

2010-11-20 Thread Sylvain Le Gall
On 20-11-2010, Goswin von Brederlow goswin-...@web.de wrote: Sylvain Le Gall sylv...@le-gall.net writes: On 19-11-2010, Goswin von Brederlow goswin-...@web.de wrote: Sylvain Le Gall sylv...@le-gall.net writes: On 19-11-2010, Goswin von Brederlow goswin-...@web.de wrote: Sylvain Le Gall