From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <raould@gmail.com>
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 8B8D77F168
	for <caml-list@sympa.inria.fr>; Thu, 27 Aug 2015 22:17:41 +0200 (CEST)
IronPort-PHdr: 9a23:a5YX9h8KKSHUX/9uRHKM819IXTAuvvDOBiVQ1KB91O0cTK2v8tzYMVDF4r011RmSDd6dta4P0raJ+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStWU0Zj8jrzts7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+kBDZUQqJrlcRd2gSlh0AVw3M9g37WJv8tyb+su1V1yyTPMmwRrcxD2eM9aBuHSXhjzoDfxIk82yf3tZ5i79frDquohV+x8jfZ4TDZ6k2Rb/UYd5PHTkJZc1WTSEUR9rkN4Y=
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=raould@gmail.com; spf=Pass smtp.mailfrom=raould@gmail.com; spf=None smtp.helo=postmaster@mail-ob0-f181.google.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  raould@gmail.com) identity=pra; client-ip=209.85.214.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="raould@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  raould@gmail.com designates 209.85.214.181 as permitted
  sender) identity=mailfrom; client-ip=209.85.214.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="raould@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-ob0-f181.google.com) identity=helo;
  client-ip=209.85.214.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="postmaster@mail-ob0-f181.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0C1CADlbt9Vm7XWVdFehEkPBrIji1UBBodyAoExBz4OAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIHAQEEEhEdARsdAQMMBgULDwImAgIiAREBBQEcBhsah3YBAxKlAYEvPjGLQIFsgnmKIQoZJw1WhEcBAQEBAQEEAQEBAQEXAQUOgRSKP4ULB4JpgUMFjWGHXIxzmRUSI4EXF4QuHjOCTQEBAQ
X-IPAS-Result: A0C1CADlbt9Vm7XWVdFehEkPBrIji1UBBodyAoExBz4OAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIHAQEEEhEdARsdAQMMBgULDwImAgIiAREBBQEcBhsah3YBAxKlAYEvPjGLQIFsgnmKIQoZJw1WhEcBAQEBAQEEAQEBAQEXAQUOgRSKP4ULB4JpgUMFjWGHXIxzmRUSI4EXF4QuHjOCTQEBAQ
X-IronPort-AV: E=Sophos;i="5.17,423,1437429600"; 
   d="scan'208";a="144005582"
Received: from mail-ob0-f181.google.com ([209.85.214.181])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Aug 2015 22:17:40 +0200
Received: by obbwr7 with SMTP id wr7so26083623obb.2;
        Thu, 27 Aug 2015 13:17: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:date:message-id:subject:from:to
         :cc:content-type;
        bh=oWB7bkuQWaZ+e6drrZEvXuythIETX5ljcbF5+bFSQPQ=;
        b=LVMGMdpucDJ5uJjEGYafpbaqS4Ec+rM++if4OkofieKUiwZKRYHGq+5QUrkfiPeBCL
         cS9CbHwURpUMDmeyo9r6HhWSI1VBLW25FeXI8mQBP9V5e40NI5lE1fSEtb1qS3I82/+H
         0GiA0f3xVxdetKj7GpX49Cqu7VBBQYTqWqIbk98ZG5jt+pCNWRU0DuTUOlYkXDCVtMa0
         dGt7SwrMzBwlbKSlbE31rtvylsGT9S15Qvhmlb8XlwLxLX1spPLdF+gZGO3OXXbrCwMp
         DFYUQXYFN0u2/Mz9WyT1yO0U7oqg2UqXHErcMNbyD2l+SUmKTrs/LVOM4k6PoWokLKlc
         o/pg==
MIME-Version: 1.0
X-Received: by 10.60.176.37 with SMTP id cf5mr3605324oec.19.1440706659340;
 Thu, 27 Aug 2015 13:17:39 -0700 (PDT)
Received: by 10.182.172.36 with HTTP; Thu, 27 Aug 2015 13:17:39 -0700 (PDT)
In-Reply-To: <CAFrFfuFuMcDwhsMYhAw77bhth2gjQYpe7HcAusqWCbggRQ6nvg@mail.gmail.com>
References: <1C02B1E2-D17D-4008-998E-B17048C62DFA@gmail.com>
	<CAN=ouMRvhoNXoQw3uOLBTY3f+daBigvDzyXWqhSWsiq8mjhcYQ@mail.gmail.com>
	<CAPFanBFK6y=5+TLDU0oo_z3Ts-LO22m6PZjytQW415LqGO041g@mail.gmail.com>
	<55DEE7E5.1020104@inria.fr>
	<CAFrFfuFuMcDwhsMYhAw77bhth2gjQYpe7HcAusqWCbggRQ6nvg@mail.gmail.com>
Date: Thu, 27 Aug 2015 13:17:39 -0700
Message-ID: <CAJ7XQb7tAcObncB3xyppmPVuNd6E32mfDMBRPHA6OPfmUow6Sg@mail.gmail.com>
From: Raoul Duke <raould@gmail.com>
To: Martin DeMello <martindemello@gmail.com>
Cc: Romain Bardou <romain.bardou@inria.fr>, "caml-list@inria.fr" <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] We need a rich standard library distributed with
 OCaml, really

As a thought experiment, consider each function being its own
component. That isn't really an idea beyond the pale, in my opinion.
So if that's the case, then why can't one component depend upon
another. The boundaries we assume are reasonable (everything in a
namespace or module or whatever) are completely arbitrary. So yes if
library X that is 4k relies on 50 other libs that are around 1MB each,
sure that is (perhaps, even there it is context sensitive) lame. But
1k + 2 other 1K libs, not so much. etc.