Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Daniel de Kok
On Thu, Apr 2, 2009 at 8:39 PM, Richard Jones wrote: > Decide on a format: http://en.wikipedia.org/wiki/DocBook - check I have written one open source book, and participated in another, and DocBook was always a barrier of entrance for most potential contributors. These days I'd rather go for some

[Caml-list] [ANN] OSpec 0.1.0 - BDD for OCaml

2009-04-02 Thread Andre Nathan
Hello I'm happy to announce the first public release of OSpec, an RSpec-inspired Behavior-Driven Development library for OCaml using a Camlp4 syntax extension. You can download this release from the ocamlcore forge at http://forge.ocamlcore.org/projects/ospec/ or directly clone the repository

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread David Teller
You could start with this: http://fr.wikibooks.org/wiki/Objective_Caml . I have only had the time to write about 3 chapters (in French) but it could serve as a base. Oh, and the license and source control are mostly solved by the use of Wikibooks. Cheers, David _

[Caml-list] ASP-competition Call for Participation

2009-04-02 Thread Stephen Bond
The Second Answer Set Programming Competition Call For Participation K.U.Leuven, Belgium, spring 2009 http://www.cs.kuleuven.be/~dtai/events/ASP-competiti

[Caml-list] Re: How to achieve this camlp4 syntax extension

2009-04-02 Thread Conglun Yao
Nice code!!! Thank you very much. I'm trying to get the Module name, then used in my syntax extension. ModuleName.[ my extension ] It's really a great idea to perform checking in the rule definition. Conglun On Thu, Apr 2, 2009 at 2:00 PM, Zheng Li wrote: > On 4/2/2009 1:42 PM, Conglun Yao

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Alp Mestan
On Thu, Apr 2, 2009 at 8:39 PM, Richard Jones wrote: > > It doesn't take a huge amount to set this up (encouraging people to > write the words is quite another matter). > > Source control: http://git.ocamlcore.org/ - check > > Decide on a format: http://en.wikipedia.org/wiki/DocBook - check > > L

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Richard Jones
It doesn't take a huge amount to set this up (encouraging people to write the words is quite another matter). Source control: http://git.ocamlcore.org/ - check Decide on a format: http://en.wikipedia.org/wiki/DocBook - check License: http://creativecommons.org/ CC-BY-SA - check Mailing list fo

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Zorg 421
Great idea, would be a pleasure to contribute something to the caml community. On Thu, Apr 2, 2009 at 8:21 PM, Joel Reymont wrote: > > On Apr 2, 2009, at 7:08 PM, Richard Jones wrote: > >> So you might want to think about an alternate method of authorship, >> such as a version-controlled, shared

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Joel Reymont
On Apr 2, 2009, at 7:08 PM, Richard Jones wrote: So you might want to think about an alternate method of authorship, such as a version-controlled, shared document, that allows contributions and comes under a Free license of some sort. Like the Django Book! http://www.djangobook.com/ --- Mac

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Richard Jones
On Thu, Apr 02, 2009 at 03:40:33PM +0200, Alp Mestan wrote: > I think many of us would enjoy writing some paragraphs for such a project... > But would there be enough people to achieve the writing of an entire (and > good) book ? Once you get into the realm of having lots of authors writing an "OC

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Richard Jones
On Thu, Apr 02, 2009 at 02:37:28PM +0100, Jon Harrop wrote: > . Post 3.10 camlp4. This one is really crying out for a book or some sort of good reference ... Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://y

Re: [Caml-list] LLC book [was: Questions]

2009-04-02 Thread Damien Guichard
It's far more than just about human ressources. What you describe is some sort of "OCaml Bible". First you have to decide what book you want. If you do an OCaml Bible then probably some beginners will lack an introductory text. If you do an introductory text then probably more experienced people

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Alp Mestan
Indeed, as I said above, a book on "today's OCaml" should cover a wide variety of topics (syntax extensions with camlp4/5, general purpose libraries, specific libraries like ocamlnet, GTK+ and OpenGL binding, etc). To write such a book, there would be the need for many authors with time and knowled

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Jon Harrop
On Thursday 02 April 2009 13:41:01 Ed Keith wrote: > Having said that, I currently have some free time time and would be willing > to offer my assistance to this project. It would give me the opportunity to > hone my writing and ocaml skills, and I believe as an experienced > professional programme

[Caml-list] Re: How to achieve this camlp4 syntax extension

2009-04-02 Thread Zheng Li
On 4/2/2009 1:42 PM, Conglun Yao wrote: Different kinds of error happened, when trying to use it. Even the ordinary expression: List.length [1; 2;3 ], failed. 'List' is parsed as module_longident, try to match the rule I defined. Thanks for any help. Conglun You may have a look at the so

Re: [Caml-list] How to achieve this camlp4 syntax extension

2009-04-02 Thread Conglun Yao
David and Jérémie, Thanks for your guys quick response. It seems I get idea how to achieve it. pa_do and pa_open are useful! It's a pity I viewed the code of pa_infix before, but never noticed it was part of a project. Conglun On Thu, Apr 2, 2009 at 1:40 PM, David Teller wrote: >   Hi, >  I'

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Ed Keith
--- On Thu, 4/2/09, Alp Mestan wrote: > I think it would be a better effort to start a new work, even if harder. > OCaml's has known some evolutions, there are many key projects (Extlib, > > Core, Batteries, ...) so it would be nice to throw most of today's OCaml > in > an entirely new book. M

Re: [Caml-list] How to achieve this camlp4 syntax extension

2009-04-02 Thread David Teller
Hi, I'm not going to quite answer your question yet -- I'd need to check the source of Camlp4 for this. However, I can point out that what you're trying to do looks very much like pa_open, by Alain Frisch. let _ = open M1.M2 in e will execute [e] using module [M1.M2]. Cheers, David On Thu,

Re: [Caml-list] How to achieve this camlp4 syntax extension

2009-04-02 Thread Jérémie Dimino
Conglun Yao wrote: > I tried to achieve the following syntax extension, but failed. > > Add expression .[ ] after a module name, inside .[ ] I want to refer > to the specified module, like > > let _ = M1.M2.[ here is my syntax, using M1.M2 module ] You should have a look at delimited overloadin

[Caml-list] How to achieve this camlp4 syntax extension

2009-04-02 Thread Conglun Yao
Dear all, I tried to achieve the following syntax extension, but failed. Add expression .[ ] after a module name, inside .[ ] I want to refer to the specified module, like let _ = M1.M2.[ here is my syntax, using M1.M2 module ] Here is my attempt (failed) EXTEND Gram GLOBAL: expr; expr: LEV

Re: [Caml-list] questions

2009-04-02 Thread Florian Hars
Xavier Leroy schrieb: > Maybe that shouldn't be titled "tutorial" at all. The manual has been a known PR disaster for ages. http://caml.inria.fr/pub/ml-archives/caml-list/2002/10/72ebe64a56c256607772b32ceb58197d.en.html - Florian. ___ Caml-list mailin

Re: [Caml-list] Bug? Constraints get ignored in methods

2009-04-02 Thread Jacques GARRIGUE
From: Goswin von Brederlow > I want to keep a linked list of structures that have a common subset > of functionality. I thought this would be a good use of ocaml objects. > A base class with the common subset of functionality and methods to > link them. And then derived classes for the specific t

Re: [Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Alp Mestan
On Thu, Apr 2, 2009 at 10:06 AM, Xavier Leroy wrote: > It could be nice to translate it in English, at least to have a >>> larger base of readers, and adapt the examples from Caml Light to >>> Objective Caml (I don't know how much the syntaxes differ though) >>> >> >> The syntax is very close f

[Caml-list] Re: LLC book [was: Questions]

2009-04-02 Thread Xavier Leroy
It could be nice to translate it in English, at least to have a larger base of readers, and adapt the examples from Caml Light to Objective Caml (I don't know how much the syntaxes differ though) The syntax is very close for the subset of Caml used in the book. Right. Parts of the standar

Re: Re : [Caml-list] questions

2009-04-02 Thread David MENTRE
Hello, On Wed, Apr 1, 2009 at 22:23, Matthieu Wipliez wrote: > Isn't the book written in French? (I mean "Le langage Caml"...). Yes. > It could be nice to translate it in English, at least to have a larger base > of readers, and adapt the examples from Caml Light to Objective Caml (I don't >

[Caml-list] Efficient parallel programming without a concurrent GC

2009-04-02 Thread Jon Harrop
I believe I have envisaged a useful and feasible way to combine the benefits of OCaml's GC with efficient parallel programming without requiring a concurrent GC. I have been considering the ramifications of being able to quote HLVM code in camlp4 macros as a DSL from within OCaml programs. Tha