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 EA8827FE36 for ; Thu, 30 Jun 2016 12:59:23 +0200 (CEST) IronPort-PHdr: 9a23:pl/TQxYoZRcqCf7XQKuZn83/LSx+4OfEezUN459isYplN5qZpcuzbnLW6fgltlLVR4KTs6sC0LuO9fm/EjdZqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ3pzxjr/5oMSbSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jEuAPPBTCT4X8EV2wQlFIcAg7L6zn1U4399zDmse5l3SCcO4v6QOZndy6l6vJETwT3iSFPKTk/uEvNh8B9lqZcv1r1qBtk3I/SJZ/QPtJhc6mbcd5MFjkJZdpYSyEUWtD0VIAIFedUeL8A94Q= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=goswin-v-b@web.de; spf=Pass smtp.mailfrom=goswin-v-b@web.de; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=pra; client-ip=212.227.15.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of goswin-v-b@web.de designates 212.227.15.3 as permitted sender) identity=mailfrom; client-ip=212.227.15.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; 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@mout.web.de) identity=helo; client-ip=212.227.15.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CUAQDW+nRXhwMP49RAGoQUfQGxLIgVgXwihXUCgTk6EgEBAQEBAQEBEQEBAQgNCQkhL4IyghsBAQQ6PxALDgoJJQ8FKCGIKAEaBAotvU0fhFQBAQEBAQEEAQEBASOKdYdsgi8FmQuGCIgvgkKHBQqFY4cpiFwlCoI+gVlsAYlHAQEB X-IPAS-Result: A0CUAQDW+nRXhwMP49RAGoQUfQGxLIgVgXwihXUCgTk6EgEBAQEBAQEBEQEBAQgNCQkhL4IyghsBAQQ6PxALDgoJJQ8FKCGIKAEaBAotvU0fhFQBAQEBAQEEAQEBASOKdYdsgi8FmQuGCIgvgkKHBQqFY4cpiFwlCoI+gVlsAYlHAQEB X-IronPort-AV: E=Sophos;i="5.26,551,1459807200"; d="scan'208";a="224871940" Received: from mout.web.de ([212.227.15.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Jun 2016 12:59:23 +0200 Received: from frosties.localnet ([134.3.242.84]) by smtp.web.de (mrweb003) with ESMTPSA (Nemesis) id 0M8Qqo-1bW68W263G-00w0ky; Thu, 30 Jun 2016 12:59:22 +0200 Received: from mrvn by frosties.localnet with local (Exim 4.87) (envelope-from ) id 1bIZgn-0004c7-PN; Thu, 30 Jun 2016 12:59:21 +0200 Date: Thu, 30 Jun 2016 12:59:21 +0200 From: Goswin von Brederlow To: Gerd Stolpmann Cc: Damien Doligez , caml users Message-ID: <20160630105920.GA16808@frosties> References: <5E818FB5-6908-4E29-838E-C6A2836F60CE@inria.fr> <20160627090929.GB24144@frosties> <1467026350.6080.9.camel@e130.lan.sumadev.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1467026350.6080.9.camel@e130.lan.sumadev.de> User-Agent: Mutt/1.5.23 (2014-03-12) X-Provags-ID: V03:K0:nWckYOXOrZcD/IJGtQZwumUKSWWmGaiDGBsRset+ABeihoVZD+i pvNF31ES7isltHE8znJEUZs1inUfIVl8hm3EC2hXhkGkFI4PNrcwCoFIcod+N10bfGIUiX6 KZQVnoza13mXwXm7704b4ZEIjgwiNEiwAnOQI/cCZkdIDFMhIHeE2nLwShWai6bHumQ8ChR C8jWPR56DMyeOeO1AQbGQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:Vib7b9U0wXE=:uSr7H2ksMMPsgnmvkPGrlT eahrjlcRPkT53cG0S+gE7+MagNd9z0ySOjxLFIrBRWoA8pEz60kKZo7fWFm5WBmyPQxlimar0 ZyBDtbmB6WieM8EBu22hIs/gtLsLNMJAqBhb7dMh3xLTxRakWJUhcnv6fCPDk2x6kP4kX4EoQ rQefMgbu421Y+RFD7A+J+y+rkyjGrktkfQnbq4M6+bI/+2ijy6rX2oa4Yxg7BcrBhsS/qIjfM pDgvtLJQRUJPe7TzDbmChfdgxaEIpB4n44OiKsCUPpIrnD27EquKU06fz4+RwWr4qfocZHGed jpJn+pmXsHnodo9c01YnCA7LBa874WRAfOZx9kJVqt9JNrZYJu2zIdp0PhNx8gqWfaeMLGLUH c+aZAHBYp9n5Lbj6ga1xed1UMkXLV+4294OZmSCKLAsb8qUHlFjH7Hym4Z4Kb2KG6/tj+DD0z r6z9wBfreju6kBm1fIUfVPQ7dzRvziNc65SjPNejuEClGbXyPW0qocAkyMNCYAQC/YJh3dQOO HVXInHk6JNLYP8U+4Oh9MBi5RaWHM55DGCIe9owp9fJcXyjJKxwcZzL40WxpgYbGjHt/tM9WD JyFU8Egaw27hl/9mkHSEymgQQGYP44di3ED1s0g9ADvMP0orFBEU9jTp3zpt1fzoj7pQQxoTi 4Wh+dnWwa/1SzT8sjMy2M7gJnUJxQ5ElHl6VXmQ4sxx5O/+zDhrv9RPA3RiUB9IZihyMKCLMS jeqWWG26O3uZ2fFfbMpVI1R1U3w1CKyQFKc2ulSNeKpAux2xMWKXu1xM8Pc= Subject: Re: [Caml-list] About contributions to the Standard Library On Mon, Jun 27, 2016 at 01:19:10PM +0200, Gerd Stolpmann wrote: > Am Montag, den 27.06.2016, 11:09 +0200 schrieb Goswin von Brederlow: > > Why should we contribute when contibutions are just left to bitrot? > > > > Like: http://caml.inria.fr/mantis/view.php?id=4909 which has had a > > patch for 6 1/2 year that's just left rotting. > > I guess you hit one of the pain points of the current library design, > namely the various integer types (and the issue of combinatorial > increase of possible variants). In my most recent code (a data science > lib) I solved that radically - no support for 32 bit architectures > anymore. The truth is that with current OCaml you cannot support both 32 > bit and 64 bit equally well. Either you get a performance loss from > boxed ints, or you get macros in central places of your code. > > Of course, that's no excuse for not responding at all. > > Gerd But that patch addresses exactly that problem by introducing a new Bigarray type that is fast (uses int, not a boxed type) and also uses the same size on 32bit and 64bit. There are many cases where 31bit integers are sufficient but in ocaml one can not use them consistently on 32bit and 64bit. MfG Goswin