Re: [Caml-list] JIT & HLVM, LLVM

2009-09-29 Thread Mikkel Fahnøe Jørgensen
2009/9/27 Jon Harrop : > On Sunday 27 September 2009 20:23:13 kche...@math.carleton.ca wrote: >> If Grand Central Dispatch makes its way >> into *nix... > > Incidentally, what exactly (technically) is Grand Central and how does it > relate to existing alternatives and the state-of-the-art? I Google

Re: [Caml-list] xpath or alternatives

2009-09-29 Thread Mikkel Fahnøe Jørgensen
In line with what Yaron suggests, you can use a combinator parser. I do this to parse json, and this parser could be adapted to xml by focusing on basic syntax and ignoring the details, or you could prefilter xml and use the json parser directly. See the Fleece parser embedded here: There is als

Re: [Caml-list] ANN: pa_polyrec: syntax for polymorphic recursion

2009-09-29 Thread Jeremy Yallop
Thanks for the comments, Damien. Damien Guichard wrote: Problems are : 1. functions are harder to type 2. type errors are quite hard to interpret and to locate (although *pa-polyrec* certainly helps in this department) 3. benchmarks show you pay a certain (small) price for the add

Re: [Caml-list] Incremental linking

2009-09-29 Thread Gerd Stolpmann
Am Dienstag, den 29.09.2009, 20:39 +0200 schrieb Dawid Toton: > I have lot of modules and they are compiled to native code. > So I have .cmx and .o files and want to link them faster. Well, you can link several .cmx files (and their accompanying .o files) to a .cmxa file (and an accompanying .a f

[Caml-list] Incremental linking

2009-09-29 Thread Dawid Toton
I have lot of modules and they are compiled to native code. So I have .cmx and .o files and want to link them faster. Is is possible to make linking an associative operation acting on modules? I would like to do something like the following: Knowing the correct partial order of modules (that com

[Caml-list] Incremental linking

2009-09-29 Thread Dawid Toton
I have lot of modules and they are compiled to native code. So I have .cmx and .o files and want to link them faster. Is is possible to make linking an associative operation acting on modules? I would like to do something like the following: Knowing the correct partial order of modules (that com

Re: [Caml-list] ANN: pa_polyrec: syntax for polymorphic recursion

2009-09-29 Thread Damien Guichard
Hi Jeremy, Your syntax extension is nice and simple enough. It will really help in demystifying polymorphic recursion. The provided examples are particularly usefull in understanding where polymorphic recursion matters. My opinion is that polymorphic recursion is largeley overestimated and has