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 317A57FE36 for ; Thu, 30 Jun 2016 12:31:47 +0200 (CEST) IronPort-PHdr: 9a23:5Ot8VxWuhIRPCI7f1+dh52TPQTHV8LGtZVwlr6E/grcLSJyIuqrYZhODt8tkgFKBZ4jH8fUM07OQ6PG4HzVfqszR+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLshrj0osKYOVUArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzhQBGC42pUY2wSlh1QS1zU5RX+WY/ZvS7zt+470y6fa57YV7cxDBiv5qEjdB/vjT8cMDhxpG3ag8prjK9BvBKmogRkxIj8b4ScNf44daTYK4BJDVFdV9pcAnQSSri3aJECWq9YZb5V Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=deansherthompson@gmail.com; spf=Pass smtp.mailfrom=deansherthompson@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f175.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of deansherthompson@gmail.com) identity=pra; client-ip=209.85.223.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="deansherthompson@gmail.com"; x-sender="deansherthompson@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of deansherthompson@gmail.com designates 209.85.223.175 as permitted sender) identity=mailfrom; client-ip=209.85.223.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="deansherthompson@gmail.com"; x-sender="deansherthompson@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-f175.google.com) identity=helo; client-ip=209.85.223.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="deansherthompson@gmail.com"; x-sender="postmaster@mail-io0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BEAADV83RXhq/fVdFahBR9uUKBfB6FeQKBODgUAQEBAQEBAQERAQEBCAsLCSEvgjKCGgEBAQMBEigGARsdAQMBCwYFCw0uIQIRAQUBHAYTIodzAQMPCA6keYExPjGNJYJaBYZgChknDVKDSgEBAQEBAQEBAQEBAQEBAQEBAQEBARQCAQUQiA8Igk6CQ4FjGoMsgi8FmFc0hgiGLoILiT0OhV+IE4YzMIEPHoIxHoFzUolIAQEB X-IPAS-Result: A0BEAADV83RXhq/fVdFahBR9uUKBfB6FeQKBODgUAQEBAQEBAQERAQEBCAsLCSEvgjKCGgEBAQMBEigGARsdAQMBCwYFCw0uIQIRAQUBHAYTIodzAQMPCA6keYExPjGNJYJaBYZgChknDVKDSgEBAQEBAQEBAQEBAQEBAQEBAQEBARQCAQUQiA8Igk6CQ4FjGoMsgi8FmFc0hgiGLoILiT0OhV+IE4YzMIEPHoIxHoFzUolIAQEB X-IronPort-AV: E=Sophos;i="5.26,551,1459807200"; d="scan'208,223";a="224868318" Received: from mail-io0-f175.google.com ([209.85.223.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Jun 2016 12:31:46 +0200 Received: by mail-io0-f175.google.com with SMTP id g13so67128527ioj.1 for ; Thu, 30 Jun 2016 03:31:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=8DWf7fYmTuznTUiYACQIIKuMKdWSm1L1y5WzAOnOdfo=; b=Z+tprXWOkgbhE2I1eoEbuoh+UiuGzrHK1IGBXKWne8uwneZAsSwo81BpMEMx0Wa0RR ZhgZQPa+wU3Br1mh1KC7FlPs0zOVRdkuT454utu9TVJk5WikPUqg9RsNlkVwswoCrmR1 cTsruBxuJOQyvO6apsOsWJLY4soDN8VS2ewLhw3HMf0lHeme5WQ7AC9sDf51G+shhkS7 mcet2dvXudBv/d7/yzNmwrXcmlMWaaRQzXoqFv84JS7DMPLsxjFethrRaPUyjOk46ymg 1Q6zE6vloB0Y4aFLW1k4o1Hvg2sF1frUAcXHQgP778w/SXlCt335f7Pr6C4Tmfx+4k2I bqvw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=8DWf7fYmTuznTUiYACQIIKuMKdWSm1L1y5WzAOnOdfo=; b=XWorb7yQ6djRw8XD4OtsSjBYNMTgAvTOxK/p71sqaCTCr74oQTMCjeWdBzOx02vdwT faS+COebTf7GWcfEsteo4VjYema7CWIrUeshEmhmktswjJiEKEA7/CQ4QGl4JVyU7xf6 49ZNNThpNzNETDFpj4v0Yi44IHauHgcQCpPH31RAaACMxxqtti5vRFOEyp3Ozdl6iDYn hIDm+neljyPgRwRA7wPmVdTBq7U0ahrf+YDj4zebIQUJfKhx5FT3o1c82pVQODl6ZwLH z8xs+pIWZgt4N5AKCB41QHSJA1a70JZc68ZtMWEeNVOjA+hiWC0AEh81iVUcekamjOGx pDww== X-Gm-Message-State: ALyK8tJEJmwEr0WHUV+ynt0pPiRjszwtIsD8n7lNeKudqGUT6EUbAwFsODnnxTFGSlXdfA== X-Received: by 10.107.20.11 with SMTP id 11mr13948685iou.193.1467282705089; Thu, 30 Jun 2016 03:31:45 -0700 (PDT) Received: from [192.168.0.29] ([166.170.22.127]) by smtp.gmail.com with ESMTPSA id g11sm1162099iod.41.2016.06.30.03.31.44 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Thu, 30 Jun 2016 03:31:44 -0700 (PDT) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (1.0) From: Dean Thompson X-Mailer: iPad Mail (13F69) In-Reply-To: Date: Thu, 30 Jun 2016 06:31:43 -0400 Cc: "caml-list@inria.fr" Content-Transfer-Encoding: quoted-printable Message-Id: <7785E51D-EC74-4A78-8840-D4A7C18E3C56@gmail.com> References: To: Jeremy Yallop Subject: Re: [Caml-list] how to encourage adoption of OCaml? >From my understanding so far, it seems to me that mixing and matching Core = and not-Core would be tough? Everything from result types to Lwt vs Async? = Given the inspirational and educational power of Real World OCaml, many new= comers will face this issue. Dean > On Jun 30, 2016, at 6:17 AM, Jeremy Yallop wrote: >=20 >> On 30 June 2016 at 11:01, Dean Thompson wro= te: >> 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. >=20 > 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. >=20 > 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. >=20 > 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: >=20 > https://github.com/ocaml/ocaml/pull/147 >=20 > and there's a proposal for adding iterators to various container types > for the next release currently under discussion: >=20 > https://github.com/ocaml/ocaml/pull/635