From: David MENTRE <dmentre@linux-france.org>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: Pierre-Alexandre Voye <ontologiae@gmail.com>,
OCaml mailing list <caml-list@inria.fr>
Subject: Re: [Caml-list] Some comments on recent discussions
Date: Wed, 7 Dec 2011 14:15:26 +0100 [thread overview]
Message-ID: <CAC3Lx=bBNA9Kr87cWfv_MGn4hXw6pyk=630p7QSCfYVZ1-bvTQ@mail.gmail.com> (raw)
In-Reply-To: <CAPFanBGUMuDwGuVpV_YAmM3N0M+yR7MjS8+6U-9bks3R-3oJ3A@mail.gmail.com>
Hello Gabriel,
[ I should not participate to such a thread... anyway I'm participating. :-) ]
2011/12/7 Gabriel Scherer <gabriel.scherer@gmail.com>:
>> The French book "Le langage Caml" is very great,
Yes, yes and yes!
I especially loved the "do one *complete* program in one chapter of a
few pages" approach.
>> althought it is quite old,
>> and althought examples used in the book (write a pascal compiler, a grep
>> tool and so on) is maybe too theoristic for engineer target.
>> Maybe a translation would be sufficient ?
>
> ( For those interested, the book is available online at
> http://caml.inria.fr/pub/distrib/books/llc.pdf )
I thought about the same.
Another idea: adapt the book to ePub format extended with Javascript
(apparently latest ePub draft has such scripting capabilities) and use
js_of_ocaml tool to embed an OCaml toplevel inside the book: read the
examples, execute examples, play with the examples! Wouldn't it be
nice? ;-)
Unfortunately, it is available under a non Free license (Non
Commercial clause of CC-BY-NC-SA licence), this is a show stopper for
me. I would like such a book to be included in Debian or other Free
Software distributions.
> I have contacted Xavier Leroy and Pierre Weis a few years ago to get
> the TeX sources of the book. I didn't intend to translate from French
> to English, but only, for a start, from Caml Light to Objective Caml.
> Neither of them could find the sources (they must be about twenty
> years old and buried in a 300Mio hidden hard disk somewhere), so I
> didn't proceed further.
Wouldn't it be the non Free license, I would even start from the PDF. :-(
Best regards,
david
next prev parent reply other threads:[~2011-12-07 13:16 UTC|newest]
Thread overview: 80+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-12-06 15:24 Jonathan Protzenko
2011-12-06 15:31 ` Joel Reymont
2011-12-06 23:03 ` Martin Jambon
2011-12-06 16:01 ` Mihamina Rakotomandimby
2011-12-06 16:03 ` Benedikt Meurer
2011-12-06 16:56 ` Ashish Agarwal
2011-12-06 17:12 ` Gerd Stolpmann
2011-12-06 17:33 ` Alex Rubinsteyn
2011-12-06 17:53 ` Alain Frisch
2011-12-07 0:18 ` Paolo Donadeo
2011-12-07 1:00 ` oliver
2011-12-07 6:33 ` Mihamina Rakotomandimby
2011-12-07 1:48 ` Ashish Agarwal
2011-12-07 9:53 ` Goswin von Brederlow
2011-12-07 10:33 ` Pierre-Alexandre Voye
2011-12-07 11:18 ` Gabriel Scherer
2011-12-07 13:15 ` David MENTRE [this message]
2011-12-07 13:48 ` Alan Schmitt
2011-12-07 14:56 ` Ashish Agarwal
2011-12-07 15:52 ` oliver
2011-12-10 14:58 ` Xavier Leroy
2011-12-08 7:59 ` rixed
2011-12-08 10:37 ` oliver
2011-12-08 13:15 ` [Caml-list] Wanted book (Re: Some comments on recent discussions) Mihamina Rakotomandimby
2011-12-09 21:22 ` oliver
2011-12-09 7:13 ` [Caml-list] Some comments on recent discussions Martin Jambon
2011-12-10 20:32 ` Andrei Formiga
2011-12-10 21:01 ` Edgar Friendly
2011-12-10 21:12 ` rixed
2011-12-10 21:24 ` Edgar Friendly
2011-12-10 21:49 ` rixed
2011-12-10 22:45 ` Edgar Friendly
2011-12-10 23:58 ` Hans Ole Rafaelsen
2011-12-11 10:25 ` Gerd Stolpmann
2011-12-11 10:06 ` Gerd Stolpmann
2011-12-13 17:41 ` oliver
2011-12-13 5:54 ` Martin DeMello
2011-12-13 7:15 ` Gerd Stolpmann
2011-12-13 8:21 ` Martin DeMello
2011-12-13 8:51 ` Alain Frisch
2011-12-13 9:15 ` Gaius Hammond
2011-12-13 14:08 ` Gerd Stolpmann
2011-12-14 5:28 ` Alain Frisch
2011-12-13 9:51 ` Martin DeMello
2011-12-13 9:53 ` Adrien
2011-12-13 20:52 ` Jon Harrop
2011-12-14 6:03 ` Alain Frisch
2011-12-14 9:34 ` Jonathan Protzenko
2011-12-14 10:24 ` Alain Frisch
2011-12-14 13:37 ` Adrien
2011-12-14 14:24 ` Gabriel Scherer
2011-12-14 15:27 ` Gerd Stolpmann
2011-12-14 15:46 ` Gaius Hammond
2011-12-14 15:49 ` Adrien
2011-12-14 16:42 ` Fabrice Le Fessant
2011-12-14 17:04 ` Alain Frisch
2011-12-15 21:38 ` Adrien
2011-12-14 16:55 ` Alain Frisch
2011-12-14 21:35 ` Benedikt Meurer
2011-12-15 11:14 ` Adrien
2011-12-14 12:52 ` Gerd Stolpmann
2011-12-14 13:25 ` Jonathan Protzenko
2011-12-14 17:27 ` Aleksey Nogin
2011-12-14 17:36 ` Gerd Stolpmann
2011-12-14 19:41 ` David Allsopp
2011-12-15 10:29 ` Adrien
2011-12-15 17:41 ` Martin DeMello
2011-12-15 20:47 ` Adrien
2011-12-15 21:20 ` Martin DeMello
2011-12-15 11:25 ` Gerd Stolpmann
2011-12-16 12:39 ` Alain Frisch
2011-12-16 12:44 ` Jonathan Protzenko
2011-12-16 13:14 ` Gerd Stolpmann
2011-12-16 14:11 ` Alain Frisch
2011-12-16 14:50 ` Gerd Stolpmann
2011-12-16 13:58 ` Stéphane Glondu
2011-12-16 17:29 ` Edgar Friendly
2011-12-14 18:41 ` Dmitry Grebeniuk
2011-12-14 23:54 ` Martin DeMello
2011-12-15 10:03 ` Adrien
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAC3Lx=bBNA9Kr87cWfv_MGn4hXw6pyk=630p7QSCfYVZ1-bvTQ@mail.gmail.com' \
--to=dmentre@linux-france.org \
--cc=caml-list@inria.fr \
--cc=gabriel.scherer@gmail.com \
--cc=ontologiae@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox