[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 in

Re : [Caml-list] questions

2009-04-01 Thread Matthieu Wipliez
Isn't the book written in French? (I mean "Le langage Caml"...). 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) just my two cents, Cheers Matthie

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 overh

Re: [Caml-list] questions

2009-04-01 Thread David MENTRE
Hello, On Tue, Mar 31, 2009 at 16:44, Martin Jambon 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 agree. It's ability t

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

2009-04-01 Thread Martin Jambon
Goswin von Brederlow wrote: > Martin Jambon 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 =

[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 Sy

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" witi

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] Bug? Constraints get ignored in methods

2009-04-01 Thread Goswin von Brederlow
Martin Jambon 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 set_next

[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: Re: [Caml-list] questions

2009-04-01 Thread xahlee
Hi Xavier Leroy, On Mar 31, 2009 9:31am, Xavier Leroy wrote: One last word to you, that Xah Lee troll, and anyone else on this list: if you're not happy with the existing material, write something better. Everyone will thank you and you'll get to better appreciate the difficulty of the task.

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 binaries

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 > Kuba Ober

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 A

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 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

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 i

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 wo

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