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 601F87F168 for ; Fri, 28 Aug 2015 16:01:32 +0200 (CEST) IronPort-PHdr: 9a23:7UxcWxKn1yPTn72BL9mcpTZWNBhigK39O0sv0rFitYgUKfvxwZ3uMQTl6Ol3ixeRBMOAu6kC1ruempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lQciP3oye7KObxd76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtM0rzyMFsPsk84tEUL7mV6U+V71RSjo8YE4v48i+kh3CUwaVrlEVVGkbllIcBAzE8hzgdpnwqDDm8Ot7nSOXJ8n3S/Y4VGLxvO9QVBb0hXJfZHYC+2bNh5kogQ== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=oliver@first.in-berlin.de; spf=None smtp.mailfrom=oliver@first.in-berlin.de; spf=None smtp.helo=postmaster@einhorn.in-berlin.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn.in-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AuAQDCaOBVnAgqbcBeg29pBoMdvF+FewKBPDwQAQEBAQEBAQEQAQEBAQEICwkJIS6CHYIHAQEDASMPAQVRCxoCGA4CAlcZiCYIBAmvW5RiAQoBAQEaBIEiikCFEheCUoFDBZU/hQaHagdLiCaQOIE6hCdvgk0BAQE X-IPAS-Result: A0AuAQDCaOBVnAgqbcBeg29pBoMdvF+FewKBPDwQAQEBAQEBAQEQAQEBAQEICwkJIS6CHYIHAQEDASMPAQVRCxoCGA4CAlcZiCYIBAmvW5RiAQoBAQEaBIEiikCFEheCUoFDBZU/hQaHagdLiCaQOIE6hCdvgk0BAQE X-IronPort-AV: E=Sophos;i="5.17,424,1437429600"; d="scan'208";a="175203386" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Aug 2015 16:01:31 +0200 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from localhost (yak.in-berlin.de [192.109.42.109]) by einhorn.in-berlin.de (8.14.4/8.14.4/Debian-4) with ESMTP id t7SE1VSo025251 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Fri, 28 Aug 2015 16:01:31 +0200 Received: from x55b21205.dyn.telefonica.de (x55b21205.dyn.telefonica.de [85.178.18.5]) by webmail.in-berlin.de (Horde Framework) with HTTP; Fri, 28 Aug 2015 16:01:31 +0200 Date: Fri, 28 Aug 2015 16:01:31 +0200 Message-ID: <20150828160131.Horde.yFsjEXbEUSqLKAWsxHEkzDz@webmail.in-berlin.de> From: Oliver Bandel To: caml-list@inria.fr References: <20150828.140826.2157566405742612169.Christophe.Troestler@umons.ac.be> In-Reply-To: <20150828.140826.2157566405742612169.Christophe.Troestler@umons.ac.be> User-Agent: Horde Application Framework 5 Content-Type: text/plain; charset=utf-8; format=flowed; DelSp=Yes MIME-Version: 1.0 Content-Disposition: inline Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] We need a rich standard library distributed with OCaml, really Zitat von Christophe Troestler (Fri, 28 Aug 2015 14:08:26 +0200) [...] > 1. INTEROPERABILITY: While many, possibly overlapping, libraries may [...] [...] > 2. LICENSES: Every opam package comes with a license which should > help companies to choose which ones to use. For the problem Hongbo > mentioned, maybe one could develop a tool that does the following: [...] Possibly that's not a questio of a tool, but rather a question of lawyers. Are there already schemes / tables, that suggest what combinations of licenses do fit, and which not? And: the result may also be different, depending on the question (which aspects of the problem of licenses is looked at). So, I think a tool would be the step that comes after classification of the problem. [...] > given a white-list of licenses that the company has agreed are OK > (e.g. ISC) and a list of opam packages, the tool would warn if any > of the (recursive) dependencies does not have a “good” license. [...] Also a "which license do I choose", or "what do I have to add" (e.g. linking exception for OCaml and GPL-like licenses) would pop up. => which license can be used / derived for the project that someone wants to program, from those licenses that are available in the libs (which might have different licensing schemes) So, thats the reverse question of "what libs can I chose to fit in license X". So possible questions are: - what lib(s) can I use, which to fit into "I need license X for my program" - what license(s) can I chose for my program, if I use library Y > > 3. APPLICATION DOMAINS: A newcomer has to use resources like > https://github.com/rizo/awesome-ocaml/blob/master/sotu.md Ah, didn't knew that. More of "we have a lot of documents, cluttered through the web". Also seems like some (a lot of?) entries are missing there... Ciao, Oliver