Re: [Caml-list] questions

2009-04-01 Thread FALCON Gilles RD-RESA-LAN
Hi, When M. Ober say the official material is of poor quality. i am French and really surprise. I saw Xavier Leroy teach caml at the CNAM in france, and he know how to teach. The official document is not an ocaml curse, that's right. (The inria is not pay for that ) I totally agree that it

Re: [Caml-list] Dynamic loading of native code : what about librairies and packs ?

2009-04-01 Thread Julien Signoles
Hello, I am discovering this feature of loading dynamically native code. The Frama-C framework (www.frama-c.cea.fr) provides now a plugin architecture that allows you to develop your own plugin and loads it directly in the framework. I targeted to adapt a simple tool I developped as a

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

2009-04-01 Thread Martin Jambon
Goswin von Brederlow wrote: Hi, small add on to my last mail. Think of it as having a set of work queues: clean, dirty, reading, writing, write_prepare. The objects need to be able to quickly jump from one queue to the back of another when the objects internal state changes. And is not

Re: [Caml-list] questions

2009-04-01 Thread Mihamina Rakotomandimby (R12y)
FALCON Gilles RD-RESA-LAN wrote: I totally agree that it would be pleasant to have more documentation on Ocaml, especially if you don't have ocaml lesson. Yes and No. The problem can be felt in PHP, where you see anyone witing anything. So, yes, there should be more documents on Ocaml, but the

Re: [Caml-list] questions

2009-04-01 Thread Xavier Leroy
I saw Xavier Leroy teach caml at the CNAM in france, and he know how to teach. Just for the record: I never lectured at CNAM, but probably you're thinking of Pierre Weis, who taught a great programming in Caml course there for several year. That course was the main starting point for our book

Re: [Caml-list] questions

2009-04-01 Thread Till Varoquaux
Well his praise still applies: I did take a course in which Xavier Leroy taught and it was crystal clear. I was also very impressed by Didier Remy who came only once. It also helps that the core O'caml is based on ml which uses a very clear and regular semantic. Till On Wed, Apr 1, 2009 at 9:13

Re: [Caml-list] questions

2009-04-01 Thread Thomas Gazagnaire
I have also learned ocaml with Le Langage Caml and I really enjoyed this book (it was one of the first book on language programming that I rode). It might a be a good idea to update the content of this book and to translate it into ocaml/english :-) Thomas 2009/3/31 Martin Jambon

Re: [Caml-list] PowerPC 405

2009-04-01 Thread xclerc
Le 30 mars 09 à 15:45, xclerc a écrit : (...) I have built a MacOS-to-Linux cross-compiler last week. I do confirm that the hard part is getting a cross-[g]cc up and running. In fact, this is so tedious that I strongly encourage to resort to either a prepackaged cross-[g]cc (from

[Caml-list] DEFUN09: Call for Talks Tutorials (co-located w/ ICFP09)

2009-04-01 Thread Matthew Fluet (ICFP Publicity Chair)
Call for Talks and Tutorials ACM SIGPLAN 2009 Developer Tracks on Functional Programming http://www.defun2009.info/ Edinburgh, Scotland, September 3 and 5, 2009 The workshop will be held in conjunction with ICFP 2009

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

2009-04-01 Thread Goswin von Brederlow
Martin Jambon martin.jam...@ens-lyon.org writes: Would the following work for you: No. Not just like this. type 'a linked = { data : 'a; mutable next : linked option } (* constraint 'a = .. *) let create data next = { data = data; next = (next : linked option) } let

Re: [Caml-list] questions

2009-04-01 Thread Kuba Ober
Hi, When M. Ober say the official material is of poor quality. i am French and really surprise. I saw Xavier Leroy teach caml at the CNAM in france, and he know how to teach. The official document is not an ocaml curse, that's right. (The inria is not pay for that ) I have given recently

Re: [Caml-list] questions

2009-04-01 Thread Kuba Ober
On Apr 1, 2009, at 8:59 AM, Mihamina Rakotomandimby (R12y) wrote: FALCON Gilles RD-RESA-LAN wrote: I totally agree that it would be pleasant to have more documentation on Ocaml, especially if you don't have ocaml lesson. Yes and No. The problem can be felt in PHP, where you see anyone

[Caml-list] FroCoS'09 Call for Papers

2009-04-01 Thread Roberto Sebastiani
- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE - Final Call for Papers 7th International

Re: [Caml-list] questions

2009-04-01 Thread David MENTRE
Hello, On Tue, Mar 31, 2009 at 16:44, Martin Jambon martin.jam...@ens-lyon.org wrote: There is however one book that covers the essentials, Le Langage Caml by Weis and Leroy, which despite using the Caml Light dialect is the most enlightening programming book I've ever got to read. I heartily

Re: [Caml-list] questions

2009-04-01 Thread Jon Harrop
On Wednesday 01 April 2009 20:13:41 David MENTRE wrote: Unfortunately, this book is out of print and hard to find. Incidentally, if anyone out there is still sitting on such a (good) book I'd be interested in publishing it for them. The result won't be as cheap as an O'Reilly because our

[Caml-list] OCaml job at MyLife

2009-04-01 Thread Martin Jambon
MyLife, a people search engine, is seeking an engineer to join a back-end software development team in Mountain View, California. The primary requirements for this position are: - proficiency in the OCaml programming language -- as most of the team's software is written in OCaml - proficiency