Re: [Caml-list] More cores

2008-12-19 Thread Ulf Wiger (TN/EAB)
Alexy Khrabrov skrev: Well, it's fun to join the old discussion in the new times. The fact that computers go multicore at a greater scale makes it recurrent. Erlang makes concurrency easy due to purity, and OCaml is famous for being eclectic. Why not embrace Erlang's model by imposing

Re: [Caml-list] Ocaml, a practical functional language?

2008-09-01 Thread Ulf Wiger (TN/EAB)
Luca de Alfaro skrev: And where else can you find a debugger that can execute code (or give you the impression it does) backwards? This is invaluable when trying to find things like where an exception is thrown: you simply run the code until it exits throwing the exception, then you back

Re: [Caml-list] native vs bytecode

2008-08-07 Thread Ulf Wiger (TN/EAB)
Peng Zang skrev: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 What do you mean by dynamically load? You cannot mix native and bytecode generally speaking. I don't know of any speed comparisons of OCaml bytecode. You can always compile to native code, which is faster, so I don't understand

Re: [Caml-list] Re: Where's my non-classical shared memory concurrency technology?

2008-05-20 Thread Ulf Wiger (TN/EAB)
Gerd Stolpmann skrev: This is simply nonsense. Different concurrency techniques have different problems. True. For example, in event handling-based concurrency you do not need locks, hence you cannot run into deadlocks. Yes you can. We've even had to write design rules to this effect to

[Caml-list] Re: not all functional languages lack parallelism

2008-05-09 Thread Ulf Wiger (TN/EAB)
Jon Harrop skrev: On Friday 09 May 2008 13:33:16 Ulf Wiger wrote: Jon Harrop skrev: 1. Lack of Parallelism: Yes, this is already a complete show stopper. Exploiting multicores requires a scalable concurrent GC and message passing (like JoCaml) is not a substitute.