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 w

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

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

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 : >> Hi, >> >> On 08/03/2012, Sylvain Le Gall wrote: >>> Hi, >>> >>> 2012/3/8 Daniel Bünzli : Le jeudi, 8 mars 2012 ŕ 09:31, Sylvain Le Gall a écrit : > setup.ml will be enough for me ;-) But I am biased. Fo

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 wi

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 ton

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 Linu

Re: [Caml-list] odb questions

2012-03-09 Thread Daniel Bünzli
Le mercredi, 7 mars 2012 à 16:58, Edgar Friendly a écrit : > > IMHO a package should be identified by a name and version. > > I've been thinking about this for a long time, and the full consequences > of this involve not only deep changes to odb internals, but also expose > the code to a t

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 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 using them in situation

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

2012-03-09 Thread CHAAR Rabih
It still works for java 1.6 (windows) Sincerely -Original Message- From: Sebastien Ferre [mailto:sebastien.fe...@irisa.fr] Sent: Friday,March 09,2012 3:09 PM To: caml-list Subject: Re: [Caml-list] ocaml-java + lablgtk2 Hi, On 03/08/2012 03:12 PM, Gerd Stolpmann wrote: > Am Donnerstag,

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 change

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 p

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 a

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

2012-03-09 Thread fo...@x9c.fr
Le 9 mars 2012 à 18:45, Johan Grande a écrit : > 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 s

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 co

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

2012-03-09 Thread Sylvain Le Gall
Hi, 2012/3/9 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

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 dist

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

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

2012-03-09 Thread Sylvain Le Gall
Hi, 2012/3/9 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

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 recent

[Caml-list] Second CFP: SAS 2012 - 19th International Static Analysis Symposium, Deauville, France

2012-03-09 Thread Antoine Mine
[My sincere apologies for multiple or unsolicited posting] ** SAS2012 Second Call for Papers and > > > DEADLI

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