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 405DD7FE44 for ; Fri, 8 Jul 2016 19:28:41 +0200 (CEST) IronPort-PHdr: 9a23:oHa+1B1HFhxjIL/FsmDT+DRfVm0co7zxezQtwd8ZsegQKvad9pjvdHbS+e9qxAeQG96Ks7Qf06GP6/uocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+kQsiJ14/uj7v60qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9YwuxhX7rgq/stEFKH7ZLgQTLpCDT1gPXp/rJngvBzHCA+O/Wc0U2MMkxMODRKTvz/gWZKknjbzsOc1+i6aO9bxS/hgVSmr6aotShjojjwAMRY29WjWjop7i6cN80HpnAB234OBONLdD/F5ZK6IJd4= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=duane.johnson@gmail.com; spf=Pass smtp.mailfrom=duane.johnson@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f176.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of duane.johnson@gmail.com) identity=pra; client-ip=209.85.223.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="duane.johnson@gmail.com"; x-sender="duane.johnson@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of duane.johnson@gmail.com designates 209.85.223.176 as permitted sender) identity=mailfrom; client-ip=209.85.223.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="duane.johnson@gmail.com"; x-sender="duane.johnson@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-io0-f176.google.com) identity=helo; client-ip=209.85.223.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="duane.johnson@gmail.com"; x-sender="postmaster@mail-io0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BsAABM4n9XhrDfVdFbhBR8BoVEoEWTBIF7IoQbgVsCgSEHOhIBAQEBAQEBAREBAQEICwsJISQLgjKCGwEEARIRHQEbEQEMAwELBgULNwICIQEBEQEFARwGExQGCIdzAQMPCA6hEYExPjGLO4FqgloFhXAKGScNUoNJAQEIAQEBAQEBGQIGEIYXg0qBA4JDgiuCHAstgloFhlKIJoloNIFag0lphW1CghSBahc3hAqIaogaCYYsEh6BDw8WCYIvEQuBax0yiTIBAQE X-IPAS-Result: A0BsAABM4n9XhrDfVdFbhBR8BoVEoEWTBIF7IoQbgVsCgSEHOhIBAQEBAQEBAREBAQEICwsJISQLgjKCGwEEARIRHQEbEQEMAwELBgULNwICIQEBEQEFARwGExQGCIdzAQMPCA6hEYExPjGLO4FqgloFhXAKGScNUoNJAQEIAQEBAQEBGQIGEIYXg0qBA4JDgiuCHAstgloFhlKIJoloNIFag0lphW1CghSBahc3hAqIaogaCYYsEh6BDw8WCYIvEQuBax0yiTIBAQE X-IronPort-AV: E=Sophos;i="5.28,331,1464645600"; d="scan'208,217";a="226116832" Received: from mail-io0-f176.google.com ([209.85.223.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Jul 2016 19:28:39 +0200 Received: by mail-io0-f176.google.com with SMTP id s93so7008784ioi.3 for ; Fri, 08 Jul 2016 10:28:39 -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; bh=PHarBB4aaZmeVjfh+AafgJpOnlTqm9hou0DMODtkg8c=; b=B7+9Oh+iT1wZz37688sE75zF4+c9nqMQ0WxZASZYlP7nA9vE3ybgdNtXzPK7vNGVpW q3mx8fTCDLmj4ChXxaLr3o2jJzXM8DlQVoXfYIgrlQqmRp9y96xHMYx8GoltkIuB+zYb v5md0C3jngZstErDjNVQtKWi7ZJ1QHXwL2iHsxYryFmPd+SsBpGmcxIUNQZcBzjXH2DK qr9hnoTNHOgydhCbylWR1LnnxiVHH0eUgNvK6BHTCyjnAEU/XrNIfThUzTOWINqrTx0G rFusssVYXvf24qlPJ7LUstfbBvM0zREStgVsrtFbVQf1K7N5fbYkW0Jol98zR6IknhEL ULUw== 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; bh=PHarBB4aaZmeVjfh+AafgJpOnlTqm9hou0DMODtkg8c=; b=BaBYGmlkLUwRjeJzMXKEARCBaabrPAVV8krcdH8yILuVJkGyd7UzTY8u4k8QvO6aG/ sXY3e6v/2ZDPDNJqlEgCCgPNPcZ+PUHaKVuEoEwsjj7bs34rVtxf2O8GUgItIybrrnNu k/LbKbAF2oMzu1isqb/z6nr6jdWsNyy9OmxfxubL7JL8vw4/kLuy5qKF1Leu70SojCwJ VCQqS99NYPZT6oc9eYggqf67HbMkAF9E0qDWvLDcRkm9tr1Xz5IQ78wWFDTIudG51k6E UpS3n0X+cSFNFiB2TV1iG8NOPDdHObiVEKpY4hJjhVaYTxl3VJIsiMCnPSYbX+oJzyig 5Tyw== X-Gm-Message-State: ALyK8tLoM5OvlWfDJTgS/3W8Nefp6K72vbiz0RWA2WXKDnS+NJyH6ERLAgbgtZVMYChi9F4UkZHRcaW2DJOMIg== X-Received: by 10.107.195.140 with SMTP id t134mr10803834iof.175.1467998918056; Fri, 08 Jul 2016 10:28:38 -0700 (PDT) MIME-Version: 1.0 Received: by 10.64.59.228 with HTTP; Fri, 8 Jul 2016 10:28:37 -0700 (PDT) In-Reply-To: References: <20160704144512.GB2458@Razor> <577FDAE1.7080207@gmail.com> From: Duane Johnson Date: Fri, 8 Jul 2016 11:28:37 -0600 Message-ID: To: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=94eb2c187d3e0aa68a053723222c Subject: Re: [Caml-list] how to encourage adoption of OCaml? --94eb2c187d3e0aa68a053723222c Content-Type: text/plain; charset=UTF-8 On Fri, Jul 8, 2016 at 11:02 AM, Yotam Barnoy wrote: > The mailing list is still off of inria.fr. > ocaml.org people, is there any way to move the mailing list domain? > > Also, could someone with ocaml github permissions start a gitter.im > page for OCaml? It should be relatively painless. > This would be great! A mailing list at ocaml.org OR google groups would have been quite inviting for me. On Fri, Jul 8, 2016 at 10:54 AM, Mohamed Iguernlala wrote: > 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. > I actually came through a link that put me at https://sympa.inria.fr/sympa/info/caml-list. I don't recall how I arrived there (it wasn't by typing inria.fr into the browser). The ocaml.org site looks great, btw! I wish I'd seen it first :) On Fri, Jul 8, 2016 at 9:33 AM, Roberto Di Cosmo wrote: > I would just like to remark that what you point out is more along an > "image" > dimension, than a "substance" one. > > Yes, I agree. I came for the substance. > The world is full of exciting "modern" programming languages that change > syntax > and semantics every couple of months, or that force you to write zillions > of > "modern" unit tests just to make sure you did not mix integers with > strings, > while in the ML (and OCaml world) we just keep writing safe and elegant > code > since the 1980's. > Ironically, I discovered OCaml a couple of weeks ago due to the Reason[1] syntax that I'd heard about on news.ycombinator.com published about a month ago. I decided to look again because it seemed to me that (a) someone was actively "caring" about how a newcomer might experience the strange syntax of OCaml, and trying to make it better, and (b) the Reason syntax actually did look more understandable to me than what I'd superficially seen of OCaml previously. Also, I discovered BuckleScript at around the same time, and because I'm familiar with the Node (javascript) ecosystem, and because BuckleScript produces readable javascript as output, my curiosity was piqued. [1] http://facebook.github.io/reason/ > If you scratch a bit the surface, it's easy to see that a lof of the "new" > exciting technology around is actually "has been", while the "old" > technology > underlying OCaml is actually "revolutionary". > I completely agree. I've been working on Ruby and Javascript systems for over a decade and I'm very familiar with the problems that come with untyped, procedural, or object-oriented languages. OCaml is very appealing from that perspective. On Fri, Jul 8, 2016 at 10:25 AM, Yotam Barnoy wrote: > It would be really nice for the mailing list to use the new ocaml.org > domain, which should be the outward face of OCaml. > Additionally, I think an official gitter.im page should be considered. > Many people are afraid to express their every thought and question on > the mailing list for fear of backlash or that they will be thought to > be spamming (a very realistic assessment, I may add). Users are much > more likely to communicate in a realtime chat environment like gitter. > IRC is simply incompatible with today's world -- many people cannot > access IRC from work, the logs aren't easily available etc as stated > by Duane. As an additional idea, the neovim project was able to create > a bridge between its IRC channel and its gitter.im page > (https://gitter.im/neovim/neovim). > > Of course, the deeper tooling issues are with things like the build > system. It's remarkable how easy it is in a language like Rust to > build a project and pull down its dependencies. Of course Rust is a > newcomer, which allowed it to avoid all the legacy issues we're > suffering from. It's extremely unfortunate that we ended up with so > many different build systems, not to mention multiple standard > libraries. > You've pointed out precisely what has made adoption difficult for me--I experience a lot of uncertainty right now while trying to "commit" to a standard library that, by definition of being so new in the OCaml ecosystem, I have no way of knowing how to judge what to commit to. I hope that the Reason folks choose a build system and standard library path--and mark it brightly--so that those who follow can experience more certainty in knowing, as newcomers, that they are in good hands and that their effort toward learning the language will be rewarded. Duane --94eb2c187d3e0aa68a053723222c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Fri, Jul 8, 2016 at 11:02 AM, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
<= div id=3D":5gh" class=3D"">The mailing list is still off of inria.fr.
ocaml.org= people, is there any way to move the mailing list domain?

Also, could someone with ocaml github permissions start a gitter.im
page for OCaml? It should be relatively painless.

<= /div>
This would be great! A mailing list at ocaml.org OR google groups would have been qui= te inviting for me.

On Fri, Jul 8, 2016 at 10:54 AM, Moh= amed Iguernlala <iguer.auto@gmail.com> wrote:
I guess = you found inria.fr and no= t infria.fr :-). If it&#= 39;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, yo= u'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.

I actually came through a link that put me at https://sympa.inria.fr/sympa/info/caml-list= . I don't recall how I arrived there (it wasn't by typing inria.fr into the browser). The ocaml.org site looks great, btw! I wish I'd seen it fi= rst :)

On Fri, Jul 8, 2016 at= 9:33 AM, Roberto Di Cosmo <roberto@dicosmo.org> wrote:
I would just like to remark that what you point out is more along an = "image"
dimension, than a "substance" one.

Yes, I agree. I came for the substance.
=C2=A0
The world is full of exciting "modern" programming languages that= change syntax
and semantics every couple of months, or that force you to write zillions o= f
"modern" unit tests just to make sure you did not mix integers wi= th strings,
while in the ML (and OCaml world) we just keep writing safe and elegant cod= e
since the 1980's.

Ironically,= I discovered OCaml a couple of weeks ago due to the Reason[1] syntax that = I'd heard about on news.ycombin= ator.com published about a month ago. I decided to look again because i= t seemed to me that (a) someone was actively "caring" about how a= newcomer might experience the strange syntax of OCaml, and trying to make = it better, and (b) the Reason syntax actually did look more understandable = to me than what I'd superficially seen of OCaml previously. Also, I dis= covered BuckleScript at around the same time, and because I'm familiar = with the Node (javascript) ecosystem, and because BuckleScript produces rea= dable javascript as output, my curiosity was piqued.

[1] http://facebook.github.io/reason/

If you scratch a bit the surface, it's easy to see that a lof of the &q= uot;new"
exciting technology around is actually "has been", while the &quo= t;old" technology
underlying OCaml is actually "revolutionary".
<= /div>
I completely agree. I've been= working on Ruby and Javascript systems for over a decade and I'm very = familiar with the problems that come with untyped, procedural, or object-or= iented languages. OCaml is very appealing from that perspective.
<= div class=3D"gmail_extra">
On Fri, Jul = 8, 2016 at 10:25 AM, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
It would be really nice for the mailing list to use the new = ocaml.org=
domain, which should be the outward face of OCaml.
Additionally, I think an official gitter.im page should be considered.
Many people are afraid to express their every thought and question on
the mailing list for fear of backlash or that they will be thought to
be spamming (a very realistic assessment, I may add). Users are much
more likely to communicate in a realtime chat environment like gitter.
IRC is simply incompatible with today's world -- many people cannot
access IRC from work, the logs aren't easily available etc as stated
by Duane. As an additional idea, the neovim project was able to create
a bridge between its IRC channel and its gitter.im page
(https://gitter.im/neovim/neovim).

Of course, the deeper tooling issues are with things like the build
system. It's remarkable how easy it is in a language like Rust to
build a project and pull down its dependencies. Of course Rust is a
newcomer, which allowed it to avoid all the legacy issues we're
suffering from. It's extremely unfortunate that we ended up with so
many different build systems, not to mention multiple standard
libraries.

You= 've pointed out precisely what has made adoption difficult for me--I ex= perience a lot of uncertainty right now while trying to "commit" = to a standard library that, by definition of being so new in the OCaml ecos= ystem, I have no way of knowing how to judge what to commit to. I hope that= the Reason folks choose a build system and standard library path--and mark= it brightly--so that those who follow can experience more certainty in kno= wing, as newcomers, that they are in good hands and that their effort towar= d learning the language will be rewarded.

Duane
--94eb2c187d3e0aa68a053723222c--