caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Alain Frisch <alain@frisch.fr>
Cc: Aleksey Nogin <nogin@metaprl.org>, caml-list@inria.fr
Subject: Re: [Caml-list] Some comments on recent discussions
Date: Fri, 16 Dec 2011 14:14:14 +0100	[thread overview]
Message-ID: <1324041254.7750.99.camel@samsung> (raw)
In-Reply-To: <4EEB3BF7.30401@frisch.fr>

Am Freitag, den 16.12.2011, 13:39 +0100 schrieb 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 Unix under Windows"!

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 have a Windows-typical way
of distribution.

My thinking is that you can break this circle only if you go forward and
try to make as many Unix-style solutions available under Windows as
possible. Once there is a Windows community you can address it
differently, but for the time being I don't see a good alternative.

By the way, your plan includes Unix emulation, too, under point 3. It's
only more hidden.

Gerd


> 
> 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 mingw toolchain (an assembler, a linker, 
> some libraries and object files to link the main program); or with a 
> little bit more effort, by avoiding the need for an external toolchain 
> altogether.  I insist: most users of OCaml under Windows won't need a C 
> compiler or Unix-like tools.
> 
> 2. Binary packages for OCaml libraries could be simple .zip files to be 
> extracted at a precise place (under the hierarchy created by the OCaml 
> binary installer itself); or maybe even Windows installers.  If 
> installing a library only amounts to clicking on a link in a web page 
> and run the installer, it already makes the life of the casual user much 
> easier. We don't necessarily need a full-blown packaging system, with 
> dependency tracking, versioning, automatic download, etc.
> 
> 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 to adapt all the OCaml 
> libraries around so that they don't rely on external Unix tools, but 
> this is simply not going to happen.
> 
> 4. A small group of volunteers could identify the most important OCaml 
> libraries around, make sure they compile fine under Windows, submit 
> patches upstream if the build system needs to be adapted, and produce 
> binary packages for these libraries.
> 
> 5. What is important now is not to provide the ultimate package 
> management system for OCaml under Windows.  We should focus instead on 
> lowering the barrier for casual users, addressing justified complaints 
> from beginners, making it easy to use OCaml for simple native projects 
> under Windows or for porting OCaml applications developed initially for 
> Unix.  My hope is that this will be enough to attract more "native" 
> Windows users into OCaml, and then we (or they) can start thinking about 
> more ambitious goals.
> 
> 
> 
> -- Alain
> 



  parent reply	other threads:[~2011-12-16 13:14 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
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 [this message]
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=1324041254.7750.99.camel@samsung \
    --to=info@gerd-stolpmann.de \
    --cc=alain@frisch.fr \
    --cc=caml-list@inria.fr \
    --cc=nogin@metaprl.org \
    /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;
as well as URLs for NNTP newsgroup(s).