French study on security and functional languages
	... The document " tat des lieux des langages fonctionnels" is interesting even out of the context of computer security. [link] PS: and, most importantly, page 55 gives good marks to OCaml compared to other languages (so that we can start to troll now) :-)... more » By Francois Berenger  - 3:56am - 12 new of 12 messages

OCaml's variables

Hi, I was astouned to find the term "variables" in the Reference Manual for OCaml 4.00. Found that on page 136 in the sentence with "(...) statically constructive (...)". Did not checked, if this is on other pages also. To tired to check it, and to tired/lazy for a bugreport now... ..but thought it might be something that might better be corrected.... more » By oliver  - May 23 - 1 new of 1 message

	TPNC 2013: 2nd call for papers
	*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ****************************** ****************************** ************* 2nd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2013 Cáceres, Spain December 3-5, 2013... more » By GRLMC - URV  - May 23 - 1 new of 1 message

	[rpi] opam switch to get ocamlopt on RPi with raspbian
	The trunk was temporarily broken. Please try again! (if OPAM gets a copy on the trunk only once in a while, you might need to wait a little longer) -- Alain ... -- Caml-list mailing list. Subscription management and archives: [link] Beginner's list: [link]... more » By Alain Frisch  - May 22 - 6 new of 6 messages

	Licenses - Confusion
	Hello, I did publish one of my tools as GPLv3. It is written in OCaml. Now I saw at another project, that there is the need for an "OCaml exception" regarding linking. If thats true I may have missed a crucial points when thinking about the license for tools written in OCaml. I'm not a lwayer, and all that licenses stuff is rather+... more » By oliver  - May 22 - 13 new of 13 messages

	[rpi] getting ocamlopt on RPi with raspbian
	... ... 4.00.1 (released) is not the same as 4.01. Try: $ opam switch 4.01.0dev+trunk ..which will give you a trunk compiler with all of the ARM fixes included. Benedikt has committed several more fixes since the original one, so trunk is generally in much better shape. These changes will be in OCaml-4.1 when... more » By Anil Madhavapeddy  - May 22 - 2 new of 2 messages

	The rec/nonrec debate
	At Jane Street we have a syntax extension that allows one to write "type nonrec t = ...". I too think that non-recursive is the right default. My argument is mostly as follows: it's nice to have nonrecursive values be the default, because shadowing is so useful. And it's confusing to have two different defaults for types and values.... more » By David House  - May 20 - 7 new of 7 messages

	[ANN] Core Suite 109.23.00 + async_parallel
	I am pleased to announce the 109.23.00 release of the Core suite. The following packages were upgraded: - async_parallel - core - core_extended - jenga async_parallel is a new library. It is for running tasks in other processes on a cluster of machines. A detailed description is included in the API documentation:... more » By Jeremie Dimino  - May 20 - 1 new of 1 message

	SSTiC 2013: next registration deadline 26 May
	*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ****************************** ****************************** ********* 2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2013 Tarragona, Spain July 22-26, 2013 Organized by... more » By GRLMC  - May 19 - 1 new of 1 message

First-class modules in functor bodies

Hi, I've been wondering why the following is disallowed: ----- module M (U : sig end) = struct module type S = sig val x : int end let a = ((module struct let x = 42 end : S)) module A = (val a) end ----- The error message is: ----- File "foo.ml", line 4, characters 13-20: Error: This kind of expression is not allowed within the body of a functor.... more » By Markus Mottl  - May 19 - 5 new of 5 messages