[Caml-list] Resources on OCaml's sharing

2010-03-10 Thread Matthias Puech
Dear Camlists, Does anyone know of a description of the sharing mechanism inside Ocaml's heap (I guess)? I'm interested in any kind material, from a formal account in a paper (even not directly related to Caml), to an informal description and tips of usage, anything that could fill in my shameful

[Caml-list] PLACES'10: call for participation

2010-03-10 Thread Kohei Honda
                    CALL FOR PARTICIPATION                                  PLACES'10 Programming Language Approaches to Concurrency             and communication-cEntric Software                21st March 2010, Paphos, Cyprus                      Affiliated with ETAPS 2010                       ht

[Caml-list] [ANN] OCaml Meeting 2010, 3 weeks before end of subscription

2010-03-10 Thread Sylvain Le Gall
Hello, For the third time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2010 in Paris. This year event takes place in Paris on Friday 16th April 2010. Subscription is opened and will be closed on Friday 2nd April 2010. Presentations include: * Enforcing Type-Safe Linki

Re: [Caml-list] Resources on OCaml's sharing

2010-03-10 Thread Peter Hawkins
Hi... Here are some comments for ML-like languages in general, not specific to OCaml. On Wed, Mar 10, 2010 at 1:45 AM, Matthias Puech wrote: > shameful ignorance on that matter. Particularly, I'm trying to understand: > - where architecturally it takes place in the compiler, It doesn't. The com

Re: [Caml-list] [ANN] OCaml Meeting 2010, 3 weeks before end of subscription

2010-03-10 Thread Yoann Padioleau
On Mar 10, 2010, at 2:01 AM, Sylvain Le Gall wrote: > > Hello, > > For the third time, I am proud to invite all OCaml enthusiasts to join > us at OCaml Meeting 2010 in Paris. > > This year event takes place in Paris on Friday 16th April 2010. > Subscription is opened and will be closed on Frida

[Caml-list] [ANN] CCSS 1.0

2010-03-10 Thread Dario Teixeira
Hi, CCSS is a preprocessor for CSS (Cascading Style Sheets), extending the language with arithmetic operations and variables. It was born out of frustration with the unbearable slowness and lack of support for some CSS3 constructs in other similar tools such as LESS [1]. Here are some points to

Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-10 Thread Mike Lin
On Tue, Mar 9, 2010 at 11:33 AM, Xavier Leroy wrote: > - The register-based SSE2 model fits the OCaml back-end much better > than the stack-based x87 model. In particular, "let"-bound intermediate > results of type "float" can be kept in SSE2 registers, while in > the current x87 mode they ar

Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-10 Thread Will M. Farr
On Mar 10, 2010, at 1:25 PM, Mike Lin wrote: > On Tue, Mar 9, 2010 at 11:33 AM, Xavier Leroy wrote: > Note that x86-64 bits systems as well as Mac OS X already use SSE2 as > their default floating-point model. > > I have a bunch of biological sequence analysis stuff that could be > interesting

Re: [Caml-list] [ANN] CCSS 1.0

2010-03-10 Thread Daniel Bünzli
Hello Dario, > CCSS is a preprocessor for CSS (Cascading Style Sheets), extending the > language with arithmetic operations and variables. Yes, that's badly missing in CSS. >  - The arithmetic operations are unit-aware, and will complain if you >   try adding apples and oranges, for example. Un

Re: [Caml-list] [ANN] OCaml Meeting 2010, 3 weeks before end of subscription

2010-03-10 Thread Mehdi Dogguy
Sylvain Le Gall wrote: > > The day after OCaml Meeting, Mehdi Dogguy from PPS helps me to organize > an informal day where OCaml teams can meet to work. We will have 2 > classrooms, each can host 45 persons. There will be an internet access > and a blackboard in each room. Inscription is free. > >

Re: [Caml-list] [ANN] OCaml Meeting 2010, 3 weeks before end of subscription

2010-03-10 Thread Mihamina Rakotomandimby
> Sylvain Le Gall : > For the third time, I am proud to invite all OCaml enthusiasts to join > us at OCaml Meeting 2010 in Paris. Just to acknowledge. Unfortunately I am far from Paris (Madagascar) and without any possibilitty to attend, but really interested in. I wish I could attend the next