From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1B6FD81799 for ; Thu, 25 Jul 2013 20:52:35 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gildor478@gmail.com) identity=pra; client-ip=209.85.219.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gildor478@gmail.com designates 209.85.219.50 as permitted sender) identity=mailfrom; client-ip=209.85.219.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oa0-f50.google.com) identity=helo; client-ip=209.85.219.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="postmaster@mail-oa0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiADAGtz8VHRVdsylGdsb2JhbABbhAu9YYEPCBYOAQEBAQcLCwkSKoIlAQVAATgBAwwBBQULOyISAQUBHAYTFIdqAw+cRo9OhGgnDYhYAQUMjkJ8hDoDl1+PaBYpgV2CXzqBNQ X-IPAS-Result: AiADAGtz8VHRVdsylGdsb2JhbABbhAu9YYEPCBYOAQEBAQcLCwkSKoIlAQVAATgBAwwBBQULOyISAQUBHAYTFIdqAw+cRo9OhGgnDYhYAQUMjkJ8hDoDl1+PaBYpgV2CXzqBNQ X-IronPort-AV: E=Sophos;i="4.89,744,1367964000"; d="scan'208";a="22276978" Received: from mail-oa0-f50.google.com ([209.85.219.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Jul 2013 20:52:34 +0200 Received: by mail-oa0-f50.google.com with SMTP id k7so5197476oag.23 for ; Thu, 25 Jul 2013 11:52:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=yvZDim4d8O+G7gRzlgjtLSyIbnG1gmM/6AEkh70QWjE=; b=G8N8E9yY1E5atxtZaGckicPBPN5q2T7NuHMfk1xE06k4aYQ7CrLiKWIf8nG2mesj9d Tggnjfzq2j+Xw3NkNSEUDnwxsQMMOkoBxN8HVfoHxC/iRz05DsYmlhmT4JFzY8ZC1DFm 4WUiQHWqG/+mZPMIzoPXmE7+XYjp+WuojNC1sfaYsghEGRA1U2WoGaswva/MWS9N5vq1 XQPlBGyqDJev7jAhvIcvlDnNwBSfQAZghBJH2VLGXFivpIuqQh1UzHaOGhLqPwnfImyE CoWrTaEIbI8er7ANd+gX2ACgW7nNjV7KjLFM5thw62uVGgMhsnp42YO44wz6QHbSON50 XPyA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=yvZDim4d8O+G7gRzlgjtLSyIbnG1gmM/6AEkh70QWjE=; b=dMXtw7xWyub68XluNaZwEcwFHJvzmB6NdJr3Z8aE5N0qz2l+XdUKKxfn/Y48IDPnfH QRiOxsN4qG3kMhexEzg/8HZYATD9X6Jk2vhyhMrVrSEMiFvF4EjJ8i0saEaFjsKdMHB9 musTCPEsYs0QOpdeMaXLVJlimH8ax0s8NP/xD9MPAoTyANQc9uZZK8nNfE+ZIWPlfLv/ hvmNAWVKhdbJ03zexD2hxMy8oj4VKhO05HFqYh7nrzoR5dTLcubY1Fod3xYBA0RXjF4z Snv4V32tNL36TW4sHCQpB2OeZDnTqZugftXAqlAf73heUeDVosad3/SYmxWpX3phhJqs 5h2A== MIME-Version: 1.0 X-Received: by 10.50.171.163 with SMTP id av3mr486299igc.33.1374778353245; Thu, 25 Jul 2013 11:52:33 -0700 (PDT) Sender: gildor478@gmail.com Received: by 10.64.65.105 with HTTP; Thu, 25 Jul 2013 11:52:33 -0700 (PDT) In-Reply-To: <1D522E1F83AF4B689104DF7ED47C1684@erratique.ch> References: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de> <1D522E1F83AF4B689104DF7ED47C1684@erratique.ch> Date: Thu, 25 Jul 2013 20:52:33 +0200 X-Google-Sender-Auth: OEHLaBxYSeTl7Yh4z3d1WezJJ4o Message-ID: From: Sylvain Le Gall To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Cc: caml-list Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Re: GODI is shutting down 2013/7/25 Daniel B=FCnzli : >> I don't think making some people feel uncomfortable is great. > Personally I don't choose my tools based on politeness, I choose them fro= m the perspective of technical excellence, usability, licensing and mainten= ance. > > If OCamlPro produces software that matches these criterions I see absolut= ely no reason of not using it even if it renders other tools obsolete and I= 'm actually very glad OCamlPro exists at the moment to inject energy into b= uilding a better OCaml environment. > > As far as I'm concerned they produced opam, ocp-indent and ocp-index whic= h are tools I use every day and I'm very happy with --- I'm not convinced b= y ocp-build so far but I don't mind using if it eventually matches my needs. > > What I mostly see in the "general topic of OCamlPro vs some members of th= e community" (your words) is ego problems. Totally agree that is an of ego problem. I hope it was clear enough in my first mail. The topic is probably more about community management than technical stuff. I think OCamlPro do a great technical job. I just wish they improve their PR to be not only "good technically" but also "have a good leadership". The OCaml community is too small to split it even more because of this kind of conflict. On the long term, having good leadership will help us (re)grow the OCaml community and that should be a goal for all of us. Cheers Sylvain