From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <christoph.hoeger@tu-berlin.de>
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 04E7D7F0D9
	for <caml-list@sympa.inria.fr>; Thu, 27 Aug 2015 08:59:18 +0200 (CEST)
IronPort-PHdr: 9a23:+Lsg+x1cXWCsdox/smDT+DRfVm0co7zxezQtwd8ZsegfKPad9pjvdHbS+e9qxAeQG96LsLQa0aGP6v2ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC1ILpjavrosCbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzjSg2A7HxUYGUflBUAVwLC5gP6V5H+63qq5sJy3SCbOYv9SrViChq46KI+Yx/yiTwbMCY5x0FJhcFqxPZQoAigvAB4246SYIaYO/dkVr/AONkXX25AWIBdWnoSUcuHc4ITAr9Zbq5jpI7nqg5L9EPmCA==
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christoph.hoeger@tu-berlin.de; spf=None smtp.mailfrom=christoph.hoeger@tu-berlin.de; spf=None smtp.helo=postmaster@mail.tu-berlin.de
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  christoph.hoeger@tu-berlin.de) identity=pra;
  client-ip=130.149.7.33;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="christoph.hoeger@tu-berlin.de";
  x-sender="christoph.hoeger@tu-berlin.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  christoph.hoeger@tu-berlin.de) identity=mailfrom;
  client-ip=130.149.7.33;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="christoph.hoeger@tu-berlin.de";
  x-sender="christoph.hoeger@tu-berlin.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail.tu-berlin.de) identity=helo;
  client-ip=130.149.7.33;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="christoph.hoeger@tu-berlin.de";
  x-sender="postmaster@mail.tu-berlin.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0CbAAAVtN5VnCEHlYJdg29pgyO6UQEJgXSFfwKBLjgUAQEBAQEBAQEQAQEBAQEICwkJIS6CHYIHAQEEIw8BRQEQCw4MAgUWCwICCQMCAQIBRQYNBgIBARAHiBMNs32VDwEBAQEGAgEbBIEiijmFCgeCaYFDBZU8hQaQYJFqhCdvgk0BAQE
X-IPAS-Result: A0CbAAAVtN5VnCEHlYJdg29pgyO6UQEJgXSFfwKBLjgUAQEBAQEBAQEQAQEBAQEICwkJIS6CHYIHAQEEIw8BRQEQCw4MAgUWCwICCQMCAQIBRQYNBgIBARAHiBMNs32VDwEBAQEGAgEbBIEiijmFCgeCaYFDBZU8hQaQYJFqhCdvgk0BAQE
X-IronPort-AV: E=Sophos;i="5.17,421,1437429600"; 
   d="scan'208";a="174997744"
Received: from mail.tu-berlin.de ([130.149.7.33])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Aug 2015 08:59:17 +0200
X-tubIT-Incoming-IP: 130.149.172.228
Received: from brego.uebb.tu-berlin.de ([130.149.172.228])
	by mail.tu-berlin.de (exim-4.76/mailfrontend-8) with esmtpsa [UNKNOWN:AES128-SHA:128]
	id 1ZUr9X-0001O2-lQ; Thu, 27 Aug 2015 08:59:16 +0200
To: Hongbo Zhang <bobzhang1988@gmail.com>
References: <1C02B1E2-D17D-4008-998E-B17048C62DFA@gmail.com>
Cc: caml users <caml-list@inria.fr>
From: =?UTF-8?Q?Christoph_H=c3=b6ger?= <christoph.hoeger@tu-berlin.de>
X-Enigmail-Draft-Status: N1110
Organization: =?UTF-8?Q?Technische_Universit=c3=a4t_Berlin?=
Message-ID: <55DEB543.3000907@tu-berlin.de>
Date: Thu, 27 Aug 2015 08:59:15 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.1.0
MIME-Version: 1.0
In-Reply-To: <1C02B1E2-D17D-4008-998E-B17048C62DFA@gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] We need a rich standard library distributed with
 OCaml, really

That just came to mind:

https://xkcd.com/927/

I'd say the best way to deal with this (rather strange) situation would
be to merge the existing libraries (maybe gradually) into the std library.

If the community at large is indeed interested in this, one should
probably think about crowdfunding such an effort. However, to avoid the
xkcd solution, first and formost at least 2 of the libraries above
should agree on that merger in principle.

and btw: core is openly developed here:
https://github.com/janestreet/core

-- 
Christoph Höger

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik
Übersetzerbau und Programmiersprachen

Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin

Tel.: +49 (30) 314-24890
E-Mail: christoph.hoeger@tu-berlin.de