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 D70807FE36 for ; Thu, 30 Jun 2016 12:18:01 +0200 (CEST) IronPort-PHdr: 9a23:YUNIGB1HfsxnsKo5smDT+DRfVm0co7zxezQtwd8ZsegRLvad9pjvdHbS+e9qxAeQG96Ks7Qd1KGM7ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNeNxJ7qn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT41NdZ/i9Ro/Ms8dJbGeW/JvxgDO8QMDNzH2084oXXtR7GVRCI4DNIXmgflAFIDhLZ7Bb/Roz2tAP1s+N83G+ROsigHp4uXjH3zapxRRr5wBYOMzo+6CmDm8V0iKVDiB2krh17hYXTZdfGZ7JFYqrBcIZCFiJ6VcFLWnkEW9vkYg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.220.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yallop@gmail.com designates 209.85.220.172 as permitted sender) identity=mailfrom; client-ip=209.85.220.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@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-qk0-f172.google.com) identity=helo; client-ip=209.85.220.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qk0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BKAACL8XRXf6zcVdFahBR9Brk9gXwehXkCgTEHOBQBAQEBAQEBAREBAQkLCwkfMYIyghsBAQQSER0BGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTIodzAQMXDqR3gTE+MYs7gWqCWgWGYAoZJw1Sg0oBAQEBAQUBAQEBARoCAQUQcYl0gkOEfoJaBZhXNIYIhi6CC48qiBOGMxIegQ8egjGBdjsyiUgBAQE X-IPAS-Result: A0BKAACL8XRXf6zcVdFahBR9Brk9gXwehXkCgTEHOBQBAQEBAQEBAREBAQkLCwkfMYIyghsBAQQSER0BGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTIodzAQMXDqR3gTE+MYs7gWqCWgWGYAoZJw1Sg0oBAQEBAQUBAQEBARoCAQUQcYl0gkOEfoJaBZhXNIYIhi6CC48qiBOGMxIegQ8egjGBdjsyiUgBAQE X-IronPort-AV: E=Sophos;i="5.26,551,1459807200"; d="scan'208";a="224866248" Received: from mail-qk0-f172.google.com ([209.85.220.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Jun 2016 12:17:49 +0200 Received: by mail-qk0-f172.google.com with SMTP id j2so81590850qkf.3 for ; Thu, 30 Jun 2016 03:17:49 -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; bh=uaY37u5XVFtcxCM/qzvUsKer+yoYk4/vi2rqMuTviXw=; b=TjH1cDAVVfyaJtIYdOVq4WmniiVKgnrZXsHoDfXBJZM5BDW2X76g1F0fzQ4RzROZD6 2qGnNrdn6Ee0VD1A2ESamEwODvQfBYDN+QMXn+bCXJ2gdh0X3K5wU+JAJLo0lOVSk6Lm bP1hGyj2Fv+8oMiu3ovRDMx8Uycs/XRby+NnPu0NGfdjsaME551+B/q695OSG+DcQ1rI tpXraGGsJGv7ffSg2KeBIdBb2aGxS6evERzWTBDE6fSm+Pc+JVK2QtwRxMIahY6sR8Rs Jyl2gwNw/kdVruaE2EtP8dOAkTwRKMePpwraxmBRUvI5b6opZuOSKZD66CD1vi8mScMY OG/Q== 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; bh=uaY37u5XVFtcxCM/qzvUsKer+yoYk4/vi2rqMuTviXw=; b=XqmExcQimz9h5OFszZIXbMs02NzcWKqbD0zgC+bJr3P2/lHhJZdCPpBoSFz8kFEfy6 pcq+iYewn5fr5qelposICZqlgEgadH3E+96xgvTt0KTJiIP89a91GBxVJRwZ1marVEzX NwDa7L6ee7Ca7WY6lKhjnFPzAvDCCPDq01DMnjr9BbS9UXwwpSYr4EAcg22illtyaZ/N oXLoKfhtaiGWHJJwFz73Tq38ZZB55JvzZgq8VhBwmrK8TfJUKdLEQGADlHGYts9RmTmM TagGxJD95Xpvmldn+PIF/orNMMEQs/7MEdUXJQjDuywKRM0m+89RrHdNrjakMWcG4jMo YQ4w== X-Gm-Message-State: ALyK8tJiVKNNy4e70TDnfw+U1LKsPHO8ehhl89T+Urdwpw6N4FcEsRExTtbDZGbVvOwNrwD/Lalcv+bVEDBG8g== X-Received: by 10.55.153.197 with SMTP id b188mr16708501qke.161.1467281868538; Thu, 30 Jun 2016 03:17:48 -0700 (PDT) MIME-Version: 1.0 Received: by 10.55.182.6 with HTTP; Thu, 30 Jun 2016 03:17:47 -0700 (PDT) In-Reply-To: References: From: Jeremy Yallop Date: Thu, 30 Jun 2016 11:17:47 +0100 Message-ID: To: Dean Thompson Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] how to encourage adoption of OCaml? On 30 June 2016 at 11:01, Dean Thompson wrote: > It is hard for me to judge because I came through RWO, but it appears to me that the lack of consensus on standard library comes up pretty quickly. I think the standard library situation is much less of a concern than it once was, now that it's easy to distribute small OCaml packages and manage dependencies. In the past distribution difficulties discouraged dependencies: for example, even though many people prefer the design of ocaml-re and ocaml-pcre to the regular expression facilities in the standard library, the administrative overhead of an additional dependency made the standard library the easier choice overall. In that situation it's desirable for the standard library to be large and featureful. Nowadays there's much less benefit to having regular expression support in the standard library, since depending on ocaml-re or ocaml-pcre is just a matter of adding a line to an opam file and a few lines to the build configuration. The standard library still has a useful role to play, since it's easier to make libraries interoperate if they can communicate via common types, and several recent and proposed changes have that kind of role in mind. For example, the latest release of OCaml added a 'result' type to the standard library, which was previously defined in incompatible but essentially equivalent ways in several libraries: https://github.com/ocaml/ocaml/pull/147 and there's a proposal for adding iterators to various container types for the next release currently under discussion: https://github.com/ocaml/ocaml/pull/635