Re: [Caml-list] Can one implement greedy/inline data structures in ocaml?

2012-03-09 Thread Gabriel Scherer
I think this is a case of using a fancy new construction when a simpler construction would do just as well. For some reasons some people, even beginners, are absolutely fond of first-class modules, and insist on using them in situation where they're really not needed. I not eager to see what they

[Caml-list] Intersection Types and Related Systems (ITRS 2012) -- 2nd CFP

2012-03-09 Thread Luca Paolini
** Second CALL FOR PAPER Sixth Workshop on Intersection Types and Related Systems (ITRS 2012) June 29th, Dubrovnik (Croatia). http://itrs2012.di.unito.it/ Workshop held in

Re: [Caml-list] Re: oasis packaging questions

2012-03-09 Thread Gerd Stolpmann
Le jeudi, 8 mars 2012 à 22:27, Sylvain Le Gall a écrit : It does it the right way ;-) The I'm going to vomit files across your whole file system so that you need another bureaucratic tool/database too keep track of what I did whenever you want to remove me way. Sure if you're looking

Re: [Caml-list] Re: oasis packaging questions

2012-03-09 Thread Anil Madhavapeddy
On 8 Mar 2012, at 22:26, Sylvain Le Gall wrote: 2012/3/8 Adrien camarade...@gmail.com: Hi, On 08/03/2012, Sylvain Le Gall sylv...@le-gall.net wrote: Hi, 2012/3/8 Daniel Bünzli daniel.buen...@erratique.ch: Le jeudi, 8 mars 2012 ŕ 09:31, Sylvain Le Gall a écrit : setup.ml will be enough

Re: [Caml-list] Re: oasis packaging questions

2012-03-09 Thread Wojciech Meyer
A Makefile works just fine (and making the autogenerated code less complex rather than more would be better). This is the template Makefile I use: https://github.com/avsm/ocaml-github/blob/master/Makefile Plus you can generate this file from _oasis, via. DevFiles plugin e.g. Plugins:

Re: [Caml-list] Can one implement greedy/inline data structures in ocaml?

2012-03-09 Thread Markus Weißmann
Taking one step back, what you actually want is a data structure that: -is a container for elements of some type 'a -some elements are tagged with a state tag 'b -the elements have an ordering -you can add elements -you can tag elements with a state tag -you can remove the current element -you

[Caml-list] OCaml Users and Developers workshop (OUD)

2012-03-09 Thread Didier Remy
OCAML USERS AND DEVELOPERS WORKSHOP 2012 OUD 2012 http://oud.ocaml.org CALL FOR PRESENTATIONS Copenhagen, Denmark Fri, Sep 14th Co-located

Re: [Caml-list] Re: oasis packaging questions

2012-03-09 Thread Daniel Bünzli
Le vendredi, 9 mars 2012 à 12:56, Gerd Stolpmann a écrit : You can call it KISS, but I would call it short-sighted. This has nothing to do with bureaucracy. Imagine a package has also some utilities to install (and feeled every second package has). You just don't want to have to include tons

Re: [Caml-list] ocaml-java + lablgtk2

2012-03-09 Thread Sebastien Ferre
Hi, On 03/08/2012 03:12 PM, Gerd Stolpmann wrote: Am Donnerstag, den 08.03.2012, 14:58 +0100 schrieb Sebastien Ferre: Hi, I am considering developping an OCaml application using Lablgtk2 for the GUI, and using ocaml-java/Nickel for calling a Java library (namely, OWL-API). I am working on

Re: [Caml-list] Can one implement greedy/inline data structures in ocaml?

2012-03-09 Thread Hezekiah M. Carty
On Fri, Mar 9, 2012 at 4:21 AM, Gabriel Scherer gabriel.sche...@gmail.com wrote: I think this is a case of using a fancy new construction when a simpler construction would do just as well. For some reasons some people, even beginners, are absolutely fond of first-class modules, and insist on

Re: [Caml-list] ocaml-java + lablgtk2

2012-03-09 Thread Stefano Zacchiroli
On Fri, Mar 09, 2012 at 03:09:17PM +0100, Sebastien Ferre wrote: This looks promising, and adequate to my needs. However, the last version dates back to 2004, and is for java-1.4. Is there any chance it stills works ? Has anybody used it recently ? The version on SVN has more recent changes

Re: [Caml-list] odb questions

2012-03-09 Thread Edgar Friendly
On 03/09/2012 09:26 AM, Daniel Bünzli wrote: Without going into the dependency resolving thing, I still think it's an issue. Basically with odb you don't really know what you are downloading. http://oasis.ocamlcore.org/dev/odb/ This page shows the stable, testing and unstable versions of each

Re: [Caml-list] odb questions

2012-03-09 Thread Daniel Bünzli
Le vendredi, 9 mars 2012 à 17:26, Edgar Friendly a écrit : http://oasis.ocamlcore.org/dev/odb/ Ah missed that. Maybe you should mention the link in the README.md (searching for odb ocaml on the web brings me directly to github). While I agree it'd be nice to just parse oasis files,

[Caml-list] SSNC 2012: 2nd announcement

2012-03-09 Thread GRLMC
*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject* * 2012 INTERNATIONAL SPRING SCHOOL IN NATURAL COMPUTING SSNC 2012 Tarragona, Spain May 28 – June 1st, 2012

[Caml-list] A js_of_ocaml equivalent for the JVM?

2012-03-09 Thread Philippe Veber
Dear camlers, I used js_of_ocaml several times and was really stunned of how clever (notably because writing interfaces boils down to writing types) and efficient this approach is. Would a similar thing work for the JVM, that is a compiler from ocaml bytecode to java bytecode? I guess it wouldn't

Re: [Caml-list] A js_of_ocaml equivalent for the JVM?

2012-03-09 Thread Johan Grande
Le 09/03/2012 18:12, Philippe Veber a écrit : Dear camlers, I used js_of_ocaml several times and was really stunned of how clever (notably because writing interfaces boils down to writing types) and efficient this approach is. Would a similar thing work for the JVM, that is a compiler from ocaml

Re: [Caml-list] ocaml-java + lablgtk2

2012-03-09 Thread fo...@x9c.fr
Le 8 mars 2012 à 15:12, Gerd Stolpmann a écrit : Am Donnerstag, den 08.03.2012, 14:58 +0100 schrieb Sebastien Ferre: Hi, I am considering developping an OCaml application using Lablgtk2 for the GUI, and using ocaml-java/Nickel for calling a Java library (namely, OWL-API). I am working

Re: [Caml-list] Re: oasis packaging questions

2012-03-09 Thread Daniel Bünzli
Le jeudi, 8 mars 2012 à 22:27, Sylvain Le Gall a écrit : Let say that if you just use $htmldir, it will help whatever packaging system that cooperate with oasis to enforce it in the future. In fact it is possible to not say anything at all, just don't mention InstallDir, oasis doesn't

Re: [Caml-list] Re: oasis packaging questions

2012-03-09 Thread Sylvain Le Gall
Hi, 2012/3/9 Daniel Bünzli daniel.buen...@erratique.ch: Le jeudi, 8 mars 2012 à 22:27, Sylvain Le Gall a écrit : Let say that if you just use $htmldir, it will help whatever packaging system that cooperate with oasis to enforce it in the future. In fact it is possible to not say anything

Re: [Caml-list] Re: oasis packaging questions

2012-03-09 Thread Daniel Bünzli
Le vendredi, 9 mars 2012 à 20:11, Sylvain Le Gall a écrit : Document reference Title: Xmlm's documentation and module reference Format: html Index: Xmlm.html Install: true DataFiles: doc/*.html, doc/*.css Document distribution Title: Xmlm's distribution information files

Re: [Caml-list] Re: oasis packaging questions

2012-03-09 Thread Daniel Bünzli
E.g setting Type: ocamlbuild + a couple of field to tell that your doc will be extracted from some libraries/module and build using ocamldoc + ocamlbuild: Document api-ounit Title: API reference for OUnit Type: ocamlbuild (0.2) BuildTools+: ocamldoc XOCamlbuildLibraries: oUnit

Re: [Caml-list] ocaml-java + lablgtk2

2012-03-09 Thread Sebastien Ferre
On 03/09/2012 05:06 PM, Stefano Zacchiroli wrote: On Fri, Mar 09, 2012 at 03:09:17PM +0100, Sebastien Ferre wrote: This looks promising, and adequate to my needs. However, the last version dates back to 2004, and is for java-1.4. Is there any chance it stills works ? Has anybody used it

Re: [Caml-list] Re: [oss-security] CVE request: Hash DoS vulnerability (ocert-2011-003)

2012-03-09 Thread Richard W.M. Jones
On Tue, Feb 07, 2012 at 08:34:12AM +, Richard W.M. Jones wrote: On Mon, Feb 06, 2012 at 06:10:15PM -0700, Kurt Seifried wrote: On 02/06/2012 06:05 PM, Kurt Seifried wrote: So going through various things looks like Ocaml is vulnerable and has not had a CVE # assigned for this issue