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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6B78D7FE44 for ; Sun, 10 Jul 2016 04:33:07 +0200 (CEST) IronPort-PHdr: 9a23:ECWQdhZKXrY+iKsVZyJqxLT/LSx+4OfEezUN459isYplN5qZpcW/bnLW6fgltlLVR4KTs6sC0LuO9fu7EjZZvd6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkbvpsMeKP01hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFm0vb2rgHORhej4X4VU2Ne0kYZQluN0Bavd4zxszD6/sNy0TOFNMm+Gbk7UC695qMyGUC1oCgCPj89tmrQj5ojorhcpUeQoAB2xsb+aZuTM+s2KrLaYdofT2NbWMFAfyNEC4K4KYAICrxSbq5js4Dhqg5W/lOFDg62Cbaql2ZF Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yotambarnoy@gmail.com; spf=Pass smtp.mailfrom=yotambarnoy@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f175.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yotambarnoy@gmail.com) identity=pra; client-ip=209.85.161.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yotambarnoy@gmail.com designates 209.85.161.175 as permitted sender) identity=mailfrom; client-ip=209.85.161.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f175.google.com) identity=helo; client-ip=209.85.161.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="postmaster@mail-yw0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ByAAA0s4FXf6+hVdFchBR8Bqdcky8igj+DNwKBGQc8EAEBAQEBAQEBEQEBCQsLCR8xgjIEARKCFAEFEhEdARsSCwEDDAYFCw0CAgkdAgIhAQERAQUBCgQBDQYTEgIOh3MBAxcOoVuBMT4xizuBaoJaBYUgChknAwpSg0kBAQEBBgEBAQEBARkCBhBxhSaDSoEDgkOBfoMBgloFhlQMhyaKXjSFJGmCeoJzQoIWgWoXN4QKiGqIG4Y1Eh6BDzWCKByBaCAyAYl5AQEB X-IPAS-Result: A0ByAAA0s4FXf6+hVdFchBR8Bqdcky8igj+DNwKBGQc8EAEBAQEBAQEBEQEBCQsLCR8xgjIEARKCFAEFEhEdARsSCwEDDAYFCw0CAgkdAgIhAQERAQUBCgQBDQYTEgIOh3MBAxcOoVuBMT4xizuBaoJaBYUgChknAwpSg0kBAQEBBgEBAQEBARkCBhBxhSaDSoEDgkOBfoMBgloFhlQMhyaKXjSFJGmCeoJzQoIWgWoXN4QKiGqIG4Y1Eh6BDzWCKByBaCAyAYl5AQEB X-IronPort-AV: E=Sophos;i="5.28,339,1464645600"; d="scan'208";a="226199246" Received: from mail-yw0-f175.google.com ([209.85.161.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Jul 2016 04:33:05 +0200 Received: by mail-yw0-f175.google.com with SMTP id j17so67418989ywg.0 for ; Sat, 09 Jul 2016 19:33:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=+dSAsHh4bJiFBpKdGnZf2AsQobxF/I5p21Ei7iIU3dc=; b=OS8USOr5h3HbjF2wLxI8tog1JsrxTDb/vYhow2+ngjOqeXLYVhkSYwhCBRTQDu9xi+ BgS4N797NBwv0SMBKnf29Nv9nwzIc3SgUEh/4+1BUs1aWsJaIKMz/oFUCN/ioiTUORIh i1O4VhLd2bOaPYFEuqeDflknm1WbJ+9xjEDXc2LUOYhrKzchUcJhthYffFk5lKCoGBN1 ye+YV+COQ7AxLK97B6b6Ao2n8oVT35xJJETOPDLVoaozwI4nztM6oO2vaaysEMOmK7vh 0xj56vUks4CpYlSVrJWgYB2+MyQlbaoT9vrStNVBoD3rknMqa/sg+PeIDDaoxe9KKK7k H3HA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=+dSAsHh4bJiFBpKdGnZf2AsQobxF/I5p21Ei7iIU3dc=; b=GNKBBxW1UNISxBp798/hAcGX+vK3jIYkSUWRrvLbFK/DgtVAixcrk965F239OCizr6 JTjNR8fn3pm39f4ygJ+8fYYxIIZ5aKVsQVKY0Vrp+I527TZY3tfG6rCiKrsh2sob/l17 Q/uvxc9FRUJu2Mo8CYvyml03CnDiS3F4cdwjEpLvz7/zZYsWZ3+385zroelI9vXqOB5D k/yp0S1XzVLQ1PYUm70dRlQyjOJyrH2exGeJSPgwWA9+jFLh7ZDYKyHVJ4lmPSzr0pu4 2jTxFUChBwzYGkwBTlOs/F4wfJF36uzqbjrfHNdnyjOMWkunyYtzIlb+MsKCxNqj8cRC JURg== X-Gm-Message-State: ALyK8tJ29HQOUm/gSeTnwAHSXlVzRHLgZzXK4GfzUP3h9LbXZGmlEUkUDeubbtsMF/mT1RUAKrkvq1mMlnNK2A== X-Received: by 10.13.243.4 with SMTP id c4mr9307348ywf.263.1468117983821; Sat, 09 Jul 2016 19:33:03 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.115.66 with HTTP; Sat, 9 Jul 2016 19:32:44 -0700 (PDT) In-Reply-To: References: <20160704144512.GB2458@Razor> <577FDAE1.7080207@gmail.com> From: Yotam Barnoy Date: Sat, 9 Jul 2016 22:32:44 -0400 Message-ID: To: Ashish Agarwal Cc: Mohamed Iguernlala , Duane Johnson , Gabriel Scherer , Dean Thompson , "caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] how to encourage adoption of OCaml? If you go to gitter's home page (https://gitter.im/home#) and choose create, you should be able to create a room for the ocaml repository. -Yotam On Sat, Jul 9, 2016 at 9:46 AM, Ashish Agarwal wrot= e: > On Fri, Jul 8, 2016 at 1:02 PM, Yotam Barnoy wrot= e: > >> Also, could someone with ocaml github permissions start a gitter.im >> page for OCaml? It should be relatively painless. > > > Can you explain what needs to be done exactly. When I'm logged in, I see > nothing at gitter.im/ocaml and when I'm logged out I see links for > ocaml/oasis and ocaml/opam. So something already works. > > > >> On Fri, Jul 8, 2016 at 12:54 PM, Mohamed Iguernlala >> wrote: >> > Hi there, >> > >> > I guess you found inria.fr and not infria.fr :-). If it's the case, the >> > first thing you should notice when visiting it is the message: >> > >> > "This site is updated infrequently. For up-to-date information, please >> > visit >> > the new OCaml website at ocaml.org." >> > >> > and on ocaml.org, you'll find a "modern website" with a "more >> > conventional" >> > extension. One click later (on the Community >> > item of the upper menu), you'll get the information you need about >> > mailing >> > lists. >> > >> > Regards, >> > >> > - Mohamed. >> > >> > >> > >> > Le 08/07/2016 17:16, Duane Johnson a =C3=A9crit : >> > >> > >> > On Fri, Jul 8, 2016 at 8:40 AM, Gabriel Scherer >> > >> > wrote: >> >> >> >> Adoption is interesting but, as Tony Hoare put it, we are not fashion >> >> designers. The best thing I can think of is to communicate more and >> >> better, >> >> talk about the cool world that is being done in the OCaml communities, >> >> and >> >> importantly talking about it outside it. Supporting software projects >> >> that >> >> have a potential for impact outside the OCaml community is also key -- >> >> Coq, >> >> MLdonkey, Coccinelle, Flow, the SLAM static verifier toolkit, just to >> >> name a >> >> few. >> > >> > >> > >> > As someone who just signed up to this mailing list, may I offer some >> > observations? >> > >> > - my first impression of OCaml community was through reddit.com/r/ocam= l. >> > As >> > a reddit user, I would rank /r/ocaml as "barely alive but stable"--in >> > other >> > words, the upvotes-per-thread there are in the single digits and low >> > double-digits showing people exist there, but it is not a thriving >> > community. >> > - next, I tried to find a google group. It was hard to find any >> > substantial >> > and popular OCaml groups there. There was an OCaml aggregation list, b= ut >> > it >> > wasn't clear that it was a discussion group. My first thought was, Is >> > there >> > no mailing list? I searched around and found the infria.fr domain. To = an >> > outsider, this lends no credibility or brand-name familiarity. Not only >> > is >> > the web domain unfamiliar, but the website does not look welcoming--it >> > appears to be out of the 90s. >> > - signing up for a mailing list is slow and unrewarding. I'd much rath= er >> > sign up for a more modern community technology like reddit, facebook, >> > slack, >> > or google groups. >> > - I clicked "Info" to get more info about the mailing list on infria.fr >> > and >> > it says "Private information" inside a white bubble. Ok... >> > - I looked for a chat community, and IRC is the only option. This >> > signals >> > "old tech community" to me. Slack or gitter.im is a more inclusive, >> > modern >> > community. In order to participate in IRC, one must always be connecte= d. >> > This makes it more difficult for outsiders to come in and feel like th= ey >> > can >> > 'catch up' on the conversation (Yes, I know there are chat logs, but >> > this >> > feature is not an integrated part of IRC). >> > >> > In summary, all of the signals that I usually depend on to evaluate the >> > community around a technology are either weak or give me the impression >> > of >> > "old and barely stable". New, exciting technologies that I've seen tend >> > to >> > embrace and tap in to existing community platforms (slack, reddit, >> > github, >> > gitbook, google groups) in order to leverage the platform and amplify >> > their >> > advertising signal. >> > >> > Duane Johnson >> > >> > >> > On Fri, Jul 8, 2016 at 8:40 AM, Gabriel Scherer >> > >> > wrote: >> >> >> >> > Do others on this list feel the ramp to OCaml adoption is smoother >> >> > than >> >> > my impression suggests? >> >> >> >> I can't speak for "adoption", but I think that you have been very kind >> >> as >> >> far as user experience is concerned, that it is probably worse than y= ou >> >> suggest. >> >> >> >> We discussed some of these issues a few month ago in a thread launched >> >> by >> >> Hendrik Bloom: >> >> >> >> Is OCaml for experienced beginners? >> >> Hendrik Bloom, December 2015 >> >> https://sympa.inria.fr/sympa/arc/caml-list/2015-12/msg00077.html >> >> >> >> I gave a few remarks on the evolution of the OCaml ecosystem on the >> >> period >> >> I know of that you may be interested in: >> >> https://sympa.inria.fr/sympa/arc/caml-list/2015-12/msg00110.html >> >> >> >> I think "adoption" and "usability" are interlinked but separate issue= s. >> >> >> >> Getting adoption distributes the number of people interesting in >> >> helping >> >> on usability, so it tends to improve usability, but I tend to think >> >> that the >> >> second is actually the more interesting, important goal to aim at. >> >> >> >> Adoption is interesting but, as Tony Hoare put it, we are not fashion >> >> designers. The best thing I can think of is to communicate more and >> >> better, >> >> talk about the cool world that is being done in the OCaml communities, >> >> and >> >> importantly talking about it outside it. Supporting software projects >> >> that >> >> have a potential for impact outside the OCaml community is also key -- >> >> Coq, >> >> MLdonkey, Coccinelle, Flow, the SLAM static verifier toolkit, just to >> >> name a >> >> few. >> >> >> >> Regarding usability, I think the tooling ecosystem is too complex >> >> today. >> >> If I wanted to bootstrap a beginner to do stuff I would have to tell >> >> them >> >> about the OCaml compiler tools (ocamlc, ocamlopt), ocamlfind, a build >> >> system >> >> (omake or ocamlbuild for example), oasis, Merlin, opam, and get them = to >> >> learn either Vim or Emacs. That's a bit too much and even with the >> >> plethora >> >> of tools there are problems we haven't really solved yet -- for >> >> example, how >> >> to avoid module name conflicts. >> >> I think a lot more work is required, both incremental improvements and >> >> a >> >> few grand redesigns, before we reach a comfortable ecosystem where >> >> starting >> >> an OCaml project feels like a breeze. That's what I would aim at. >> >> >> >>> Who here is excited about making OCaml approachable to newcomers? >> >>> Where >> >>> is the main ongoing work on this? Who are the main leaders from this >> >>> perspective? >> >> >> >> >> >> This is an interesting question. To my knowledge, no one is >> >> specifically >> >> focused on this mightily important question. But it's fair to assume >> >> that we >> >> have no "usability team" today, it's more a distributed collection of >> >> efforts going in all directions from various people, for example: >> >> >> >> - Gerd Stolpmann did a lot of work on the early language tooling, >> >> notably >> >> GODI (an earlier ocaml-specific package manager) and ocamlfind, and >> >> also >> >> kept very high documentation standards that are an example to follow. >> >> >> >> - Sylvain le Gall's work on OASIS helps a lot of developers do their >> >> packaging by encapsulating, in particular, the knowledge of what to >> >> install >> >> where (not a simple question). >> >> >> >> - The OPAM team as a whole, as well as the maintainers of the public >> >> opam >> >> repository, have done tremendous work making OCaml software easy to >> >> install >> >> and deploy. (Windows is still of a sore point, but there is progress = in >> >> that >> >> area. It's a distinct possibility that the OCaml ecosystem will become >> >> nice >> >> to use on Windows before Windows disappears or gets a real Unix >> >> userland.) >> >> >> >> I would personally be interested in helping someone with a holistic >> >> approach to usability devote as much of their time as they can. (I >> >> think >> >> there are some sources of funding that could be considered, but nothi= ng >> >> very >> >> certain; from a crowd-funding perspective I would be glad to pay =E2= =82=AC30 a >> >> month >> >> to fund such a position.) I think this is a difficult position because >> >> there >> >> is a lot of thankless grunt work implied, and arguably it's not a very >> >> career-advancing move. >> >> >> >> On Fri, Jul 8, 2016 at 8:57 AM, Dean Thompson >> >> >> >> wrote: >> >>> >> >>> Thank you, everyone, for the responses and discussion. If there is >> >>> interest, I would still love to hear more thoughts about whether the= re >> >>> is a >> >>> roadmap (either de facto from the community, or explicit from leaders >> >>> of the >> >>> community) to foster broader adoption. >> >>> >> >>> I see that many organizations are making immense contributions to the >> >>> community: from language and ecosystem enhancements, to Real World >> >>> OCaml, to >> >>> the OCaml Users and Developers Workshop. Technical progress is rapid. >> >>> But so >> >>> far, to me, these wonderful contributions feel more like giving back >> >>> to the >> >>> community for us to make what we can of them, rather than anyone=E2= =80=99s >> >>> systematic effort to streamline broader uptake of OCaml. >> >>> >> >>> These are the impressions of a newcomer. If there is interest, I wou= ld >> >>> love to hear more seasoned viewpoints. >> >>> >> >>> Dean >> >>> >> >>> >> >>> >> >>> >> >>> >> >>> >> >>> -- >> >>> Caml-list mailing list. Subscription management and archives: >> >>> https://sympa.inria.fr/sympa/arc/caml-list >> >>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> >>> Bug reports: http://caml.inria.fr/bin/caml-bugs >> >> >> >> >> > >> > >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs > >