From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 C303F7EE4B for ; Fri, 27 Sep 2013 17:56:12 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of david.mentre@gmail.com) identity=pra; client-ip=209.85.215.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="david.mentre@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of david.mentre@gmail.com designates 209.85.215.53 as permitted sender) identity=mailfrom; client-ip=209.85.215.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="david.mentre@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-la0-f53.google.com) identity=helo; client-ip=209.85.215.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="postmaster@mail-la0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjUCAGOqRVLRVdc1m2dsb2JhbABahBGCY758CBYOAQEBAQEGCwsJFCiCJgEFQAE4AQMMAQUFCwM4HwIBEgEFARwGEwiHbAMPm2+PXIQvJw2JZAEFDIxagRyFdgOOTYdJgWmMRINKGCmBYoJtOg X-IPAS-Result: AjUCAGOqRVLRVdc1m2dsb2JhbABahBGCY758CBYOAQEBAQEGCwsJFCiCJgEFQAE4AQMMAQUFCwM4HwIBEgEFARwGEwiHbAMPm2+PXIQvJw2JZAEFDIxagRyFdgOOTYdJgWmMRINKGCmBYoJtOg X-IronPort-AV: E=Sophos;i="4.90,994,1371074400"; d="scan'208";a="34652333" Received: from mail-la0-f53.google.com ([209.85.215.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Sep 2013 17:56:05 +0200 Received: by mail-la0-f53.google.com with SMTP id el20so2352600lab.12 for ; Fri, 27 Sep 2013 08:56:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=ObMUlL0J4WwekexAndZB2Ivsbh5qgDtZzqN3ZaJWQ80=; b=xEQrc3CWNxH/1UQl7Fq43kO2J/XcuOEHzuLIQgKavEMEEAU2KlgTBaTX9Rsm9KpH8i V1OIgmtiFHZ9YYPZW8D8dHcBFp6imdlQzBaZQhI8Hj6Wvc1EYdowFV28xd0FElBHJvmI KH/4Xbpp6Av24H20AKATdDxge28eGRBwjhAMAKy2QlRLuFo0QxSHlphIBm5RSr7PmhGx JAphmfArE2aTRnTMoVxwL2Uu/q/oWeEAGrZIkWLDzwPMQLJhDLR8thocv9kjI+i6JCOn r4057+RnV+CjymdArHQr11dRysWqhHk2MPeu6m4HqCeJgE+KFoXIetvIvrnDWXqVjobz QoeA== X-Received: by 10.112.64.36 with SMTP id l4mr9039143lbs.15.1380297365687; Fri, 27 Sep 2013 08:56:05 -0700 (PDT) MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.112.45.108 with HTTP; Fri, 27 Sep 2013 08:55:35 -0700 (PDT) In-Reply-To: References: <20130927091146.54ef8c42@atmarama.noip.me> <524569E1.20701@etorok.net> From: David MENTRE Date: Fri, 27 Sep 2013 17:55:35 +0200 X-Google-Sender-Auth: cOyIE2pU1zyExf_MPrDt7QTmSbo Message-ID: To: Paolo Donadeo Cc: OCaml mailing list Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] UFO (United Forces of OCaml) Hello, 2013/9/27 Paolo Donadeo : > But, regarding the specific case of the > "extended library", there aren't many libraries, but only two: > Batteries and Core. And I think both of them have very strong points, > and the design is quite different. Is there a short document somewhere explaining those design differences? Best regards, david