Re: [Caml-list] Some comments on recent discussions

2011-12-16 Thread Alain Frisch
On 12/14/2011 06:36 PM, Gerd Stolpmann wrote: I know, and this makes me quite optimistic that it is not that hard to develop standalone executables for the frequently used Unix utilities. It's amazing how a discussion about simplifying the life for Windows users ends up with let's emulate

Re: [Caml-list] Some comments on recent discussions

2011-12-16 Thread Jonathan Protzenko
On Fri 16 Dec 2011 01:39:19 PM CET, Alain Frisch wrote: A few points: 1. It would be useful to have a completely standalone binary distribution of ocaml (with ocamlopt) under Windows. This can be achieved either with little development efforts by extracting the minimal needed subset of an

Re: [Caml-list] Some comments on recent discussions

2011-12-16 Thread Stéphane Glondu
Le 16/12/2011 13:39, Alain Frisch a écrit : 3. Binary packages are not created by casual users. It's not crazy to require, at least in the short term, a decent Unix-like environment (which includes a C compiler) in order to compile the libraries and create the binary packages. It would be nice

Re: [Caml-list] Some comments on recent discussions

2011-12-16 Thread Alain Frisch
On 12/16/2011 02:14 PM, Gerd Stolpmann wrote: Simple answer: There is a bootstrap problem: The existing Ocaml users are almost Unix-only. They do not care about Windows. In order to establish Windows-typical problem solving you need definitely more Windows users, but they will only come if you

Re: [Caml-list] Some comments on recent discussions

2011-12-16 Thread Gerd Stolpmann
Am Freitag, den 16.12.2011, 15:11 +0100 schrieb Alain Frisch: On 12/16/2011 02:14 PM, Gerd Stolpmann wrote: Simple answer: There is a bootstrap problem: The existing Ocaml users are almost Unix-only. They do not care about Windows. In order to establish Windows-typical problem solving you

Re: [Caml-list] Some comments on recent discussions

2011-12-16 Thread Edgar Friendly
On 12/16/2011 07:39 AM, Alain Frisch wrote: We don't necessarily need a full-blown packaging system, with dependency tracking, versioning, automatic download, etc. At first, maybe. In the long run, any friction in the system of inter-package dependencies grinds away at the composability of

Re: [Caml-list] Some comments on recent discussions

2011-12-15 Thread Adrien
On 15/12/2011, Martin DeMello martindeme...@gmail.com wrote: On Wed, Dec 14, 2011 at 4:52 AM, Gerd Stolpmann i...@gerd-stolpmann.de wrote: There could be an alternative: The busybox approach. We could develop a toolkit that covers all the Unix commands we need for the existing build scripts.

Re: [Caml-list] Some comments on recent discussions

2011-12-15 Thread Adrien
On 14/12/2011, David Allsopp dra-n...@metastack.com wrote: Gerd Stolpmann wrote: Am Mittwoch, den 14.12.2011, 09:27 -0800 schrieb Aleksey Nogin: On 14.12.2011 04:52, Gerd Stolpmann wrote: I don't think you will be able to convince everybody - at this point the issue becomes political

RE: [Caml-list] Some comments on recent discussions

2011-12-15 Thread Gerd Stolpmann
Am Mittwoch, den 14.12.2011, 19:41 + schrieb David Allsopp: Gerd Stolpmann wrote: Am Mittwoch, den 14.12.2011, 09:27 -0800 schrieb Aleksey Nogin: On 14.12.2011 04:52, Gerd Stolpmann wrote: I don't think you will be able to convince everybody - at this point the issue becomes

Re: [Caml-list] Some comments on recent discussions

2011-12-15 Thread Martin DeMello
On Thu, Dec 15, 2011 at 2:29 AM, Adrien camarade...@gmail.com wrote: On 14/12/2011, David Allsopp dra-n...@metastack.com wrote: Any particular reason why the GnuWin32 project doesn't already fulfil this requirement (http://gnuwin32.sourceforge.net/)? It's not maintained well and it's often

Re: [Caml-list] Some comments on recent discussions

2011-12-15 Thread Adrien
On 15/12/2011, Martin DeMello martindeme...@gmail.com wrote: On Thu, Dec 15, 2011 at 2:29 AM, Adrien camarade...@gmail.com wrote: On 14/12/2011, David Allsopp dra-n...@metastack.com wrote: Any particular reason why the GnuWin32 project doesn't already fulfil this requirement

Re: [Caml-list] Some comments on recent discussions

2011-12-15 Thread Martin DeMello
On Thu, Dec 15, 2011 at 12:47 PM, Adrien camarade...@gmail.com wrote: On 15/12/2011, Martin DeMello martindeme...@gmail.com wrote: This seems better-maintained: https://github.com/bmatzelle/gow/wiki At the very least it would be a good starting point. I had never heard of that one before

Re: [Caml-list] Some comments on recent discussions

2011-12-15 Thread Adrien
On 14/12/2011, Alain Frisch al...@frisch.fr wrote: On 12/14/2011 04:49 PM, Adrien wrote: But windows actually has symlinks. Kind of. Starting with Vista and the corresponding NTFS version. But by default you need to be an administrator to use them, you can only create a limited number of

Re: [Caml-list] Some comments on recent discussions

2011-12-14 Thread Gerd Stolpmann
Am Mittwoch, den 14.12.2011, 07:03 +0100 schrieb Alain Frisch: On 12/13/2011 10:53 AM, Adrien wrote: On 13/12/2011, Alain Frischal...@frisch.fr wrote: As Xavier said, it would be great to find someone who'd like to join the core dev team in order to improve support for Windows. Anyone

Re: [Caml-list] Some comments on recent discussions

2011-12-14 Thread Gabriel Scherer
As for the build systems, I'd advise everyone to use OASIS instead of custom systems: it's not perfect on windows but for cairo2 and archimedes, I think I only had to change paths from backward-slashes to forward-slashes in setup.data (or the other way round) (took 15 seconds). A

Re: [Caml-list] Some comments on recent discussions

2011-12-14 Thread Gerd Stolpmann
Am Mittwoch, den 14.12.2011, 14:37 +0100 schrieb Adrien: On 14/12/2011, Alain Frisch al...@frisch.fr wrote: On 12/13/2011 10:53 AM, Adrien wrote: On 13/12/2011, Alain Frischal...@frisch.fr wrote: As Xavier said, it would be great to find someone who'd like to join the core dev team in

Re: [Caml-list] Some comments on recent discussions

2011-12-14 Thread Gaius Hammond
; Jonathan Protzenkojonathan.protze...@gmail.com; Martin DeMellomartindeme...@gmail.com; Gerd Stolpmanni...@gerd-stolpmann.de; caml-list@inria.fr Subject: Re: [Caml-list] Some comments on recent discussions Am Mittwoch, den 14.12.2011, 14:37 +0100 schrieb Adrien: On 14/12/2011, Alain Frisch al

Re: [Caml-list] Some comments on recent discussions

2011-12-14 Thread Alain Frisch
On 12/14/2011 02:37 PM, Adrien wrote: Actually, I think that you should have used the /etc/alternatives symlinks: /usr/bin/gcc points to /etc/alternatives/FOO and you can make this FOO symlink point to the /usr/bin/BAR binary that you want. The problem is that flexlink.exe (and ocamlopt.exe)

Re: [Caml-list] Some comments on recent discussions

2011-12-14 Thread Martin DeMello
On Wed, Dec 14, 2011 at 4:52 AM, Gerd Stolpmann i...@gerd-stolpmann.de wrote: There could be an alternative: The busybox approach. We could develop a toolkit that covers all the Unix commands we need for the existing build scripts. It would include easy things like cp, mv etc., but also a

Re: [Caml-list] Some comments on recent discussions

2011-12-13 Thread oliver
On Sat, Dec 10, 2011 at 05:32:45PM -0300, Andrei Formiga wrote: [...] Regarding documentation, this is a problem in many fronts, beginning with the book situation. Practical OCaml was a good idea, badly executed. And Jason Hicks' fine book [...] Fine book, but the author's name was Jason

RE: [Caml-list] Some comments on recent discussions

2011-12-13 Thread Jon Harrop
Adrien wrote: On 13/12/2011, Alain Frisch al...@frisch.fr wrote: As Xavier said, it would be great to find someone who'd like to join the core dev team in order to improve support for Windows. Anyone interested? In my experience, OCaml is working mostly fine on Windows. I can see some

Re: [Caml-list] Some comments on recent discussions

2011-12-13 Thread Alain Frisch
On 12/13/2011 10:53 AM, Adrien wrote: On 13/12/2011, Alain Frischal...@frisch.fr wrote: As Xavier said, it would be great to find someone who'd like to join the core dev team in order to improve support for Windows. Anyone interested? In my experience, OCaml is working mostly fine on

Re: [Caml-list] Some comments on recent discussions

2011-12-12 Thread Martin DeMello
Better Windows support would be very nice too. A friend recently had a python app that he wanted to port to native code, and I offered to do it for him in OCaml. The linux version was quick and easy to develop, and we both believed that he could just install OCaml and the required libraries on

Re: [Caml-list] Some comments on recent discussions

2011-12-12 Thread Gerd Stolpmann
Hi Martin, GODI is currently broken on Windows, and I would need to invest again a few days to get at least the basics running again. This is a big problem for me, because I've personally no direct advantage from this, and there is also the question how you can keep such a very different port

Re: [Caml-list] Some comments on recent discussions

2011-12-11 Thread Gerd Stolpmann
Am Samstag, den 10.12.2011, 17:32 -0300 schrieb Andrei Formiga: On Tue, Dec 6, 2011 at 12:24 PM, Jonathan Protzenko jonathan.protze...@gmail.com wrote: = Improving the community = I think the main point of the discussion is to improve the community. If we really want to improve OCaml

Re: [Caml-list] Some comments on recent discussions

2011-12-11 Thread Gerd Stolpmann
Am Samstag, den 10.12.2011, 22:12 +0100 schrieb ri...@happyleptic.org: What I'd really like is a way to mix any version I want of the packages I install, especially experimental versions for the packages I want to test or contribute to. I stopped using GODI some time ago because I wanted

Re: [Caml-list] Some comments on recent discussions

2011-12-10 Thread Xavier Leroy
On 12/07/2011 12:18 PM, Gabriel Scherer wrote: The French book Le langage Caml is very great, 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

Re: [Caml-list] Some comments on recent discussions

2011-12-10 Thread Edgar Friendly
On 12/10/2011 03:32 PM, Andrei Formiga wrote: The question is: what should be done? What must be done to enable OASIS-DB? Sylvain has worked with me to enable auto-installation of oasis-db packages via odb[2]. There's not a large repo of packages[1], but most of it is auto-installable (run

Re: [Caml-list] Some comments on recent discussions

2011-12-10 Thread Edgar Friendly
On 12/10/2011 04:12 PM, ri...@happyleptic.org wrote: What I'd really like is a way to mix any version I want of the packages I install, especially experimental versions for the packages I want to test or contribute to. I stopped using GODI some time ago because I wanted master of ocaml and

Re: [Caml-list] Some comments on recent discussions

2011-12-10 Thread Edgar Friendly
On 12/10/2011 04:49 PM, ri...@happyleptic.org wrote: I will try to use it for some time. But your description of it does not match my dreams. Ideally, I would `odb install this-package --version=X.Y.Z`, and `odb install another-one --branch=master`, and odb would upgrade and/or rebuild what's

Re: [Caml-list] Some comments on recent discussions

2011-12-08 Thread oliver
Hello, On Thu, Dec 08, 2011 at 08:59:22AM +0100, ri...@happyleptic.org wrote: The French book Le langage Caml is very great, althought it is quite old, I'd also like to advertise the book Programmation Fonctionnelle, Générique et Objet by Philippe Narbel that I found very good and which is

Re: [Caml-list] Some comments on recent discussions

2011-12-08 Thread Martin Jambon
On 12/06/2011 09:53 AM, Alain Frisch wrote: That said, I'd argue to avoid creating a community fork. I would like to point out that in the GitHub jargon, a fork is just a personal branch, usually intended to be merged back into the main repository via a so-called pull request. I hope there

Re: [Caml-list] Some comments on recent discussions

2011-12-07 Thread Goswin von Brederlow
Ashish Agarwal agarwal1...@gmail.com writes: A standard library does not imply big or that it is part of the standard distribution. Both Batteries and Core would make fine standard libraries. Neither is very big and both are independent of the standard distribution. But having 5 different

Re: [Caml-list] Some comments on recent discussions

2011-12-07 Thread Pierre-Alexandre Voye
2011/12/7 Paolo Donadeo p.dona...@gmail.com I don't say there are no problems, and everything is fine. But if I have do point at a problem, especially for newcomers, I would say that we need a book, an up to date book, written in good English and published by O'Relly. The French book Le

Re: [Caml-list] Some comments on recent discussions

2011-12-07 Thread Gabriel Scherer
The French book Le langage Caml is very great, 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

Re: [Caml-list] Some comments on recent discussions

2011-12-07 Thread David MENTRE
Hello Gabriel, [ I should not participate to such a thread... anyway I'm participating. :-) ] 2011/12/7 Gabriel Scherer gabriel.sche...@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

Re: [Caml-list] Some comments on recent discussions

2011-12-07 Thread Ashish Agarwal
On Wed, Dec 7, 2011 at 8:15 AM, David MENTRE dmen...@linux-france.orgwrote: 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

Re: [Caml-list] Some comments on recent discussions

2011-12-07 Thread oliver
On Wed, Dec 07, 2011 at 12:18:18PM +0100, Gabriel Scherer wrote: [...] In the context of engineers-friendly OCaml learning document that could possibly warrant translation, there is also Maxence Guesdon's Introduction au langage OCaml. I see it as a well-presented subset of the Oreilly book,

[Caml-list] Some comments on recent discussions

2011-12-06 Thread Jonathan Protzenko
Dear OCaml hackers, I'm very uneasy about the current opinions that are voiced on the caml-list. I have good reasons to think I'm not the only one in that situation, so please allow me to raise a few concerns about some recent discussions. There's several subtopics in the OCaml maintenance

Re: [Caml-list] Some comments on recent discussions

2011-12-06 Thread Joel Reymont
On Dec 6, 2011, at 4:24 PM, Jonathan Protzenko wrote: GitHub has a fantastic integration between the bug tracker, the commit messages (git commit -m Fix #486 closes bug 486 on the bug tracker), the source repositories. You can discuss patches in-place. You can interact in a very easy

Re: [Caml-list] Some comments on recent discussions

2011-12-06 Thread Benedikt Meurer
On Dec 6, 2011, at 16:24 , Jonathan Protzenko wrote: [...] If it's about improving the general situation with OCaml and its community (the title of this thread contains the word community), then I believe hacking on the compiler is not the most effective way to achieve that goal. We're

Re: [Caml-list] Some comments on recent discussions

2011-12-06 Thread Ashish Agarwal
I agree that package management, a *single* standard library, and a good web presence are the most useful things we can do. We desperately need oasis, oasis-db, and eventually an OCaml Platform to succeed. The standard library contenders are Batteries and Jane St Core. Ideally these could be

Re: [Caml-list] Some comments on recent discussions

2011-12-06 Thread Gerd Stolpmann
Dear OCaml hackers, I'm very uneasy about the current opinions that are voiced on the caml-list. I have good reasons to think I'm not the only one in that situation, so please allow me to raise a few concerns about some recent discussions. There's several subtopics in the OCaml

Re: [Caml-list] Some comments on recent discussions

2011-12-06 Thread Alex Rubinsteyn
== Leaving our own corner of the web == The OCaml community likes to stay in its own corner of the web, in isolation. A narrow plug: I want to encourage people to post and comment on http://www.reddit.com/r/ocaml. OCaml's web presence often looks like a ghost town. I think it's starting to

Re: [Caml-list] Some comments on recent discussions

2011-12-06 Thread Martin Jambon
On 12/06/2011 07:31 AM, Joel Reymont wrote: On Dec 6, 2011, at 4:24 PM, Jonathan Protzenko wrote: GitHub has a fantastic integration between the bug tracker, the commit messages (git commit -m Fix #486 closes bug 486 on the bug tracker), the source repositories. You can discuss patches

Re: [Caml-list] Some comments on recent discussions

2011-12-06 Thread Paolo Donadeo
I just want to add some erratic thoughts summoned by the recent strikeflame/strike... discussion about the state of the OCaml union. For this reason I'm not pretending to be coherent or to have an answer to each and every problem, I'm not John Wayne and I'll never be. OCaml community is basically

Re: [Caml-list] Some comments on recent discussions

2011-12-06 Thread oliver
Hey! :-) On Wed, Dec 07, 2011 at 01:18:35AM +0100, Paolo Donadeo wrote: I just want to add some erratic thoughts summoned by the recent strikeflame/strike... discussion about the state of the OCaml union. For this reason I'm not pretending to be coherent or to have an answer to each and