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 1BA7A7FC41 for ; Mon, 28 Sep 2015 09:40:47 +0200 (CEST) IronPort-PHdr: 9a23:inDlARW35Z7Bj046FI+HBjgawp7V8LGtZVwlr6E/grcLSJyIuqrYZhyHt8tkgFKBZ4jH8fUM07OQ6PC8HzFcqs/Q4DgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2PJVgUz2PsMftbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN4xxd7FTDSwnPmYp/4Wr8ECbFUrcrkcbB0wQngBFChON1hbhRZ38qCSy4vB6wzKQMNf5ZbUsWHG58LwtTwXn3nQpLTk8pULai893xIRSoxu9rlQrwIPVY4aTN+ZWcabUfNdcTm1ECJUCHxddC5+xOtNcR9EKOvxV+syk/wMD Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=keikonkt@gmail.com; spf=Pass smtp.mailfrom=keikonkt@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f170.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of keikonkt@gmail.com) identity=pra; client-ip=209.85.213.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="keikonkt@gmail.com"; x-sender="keikonkt@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of keikonkt@gmail.com designates 209.85.213.170 as permitted sender) identity=mailfrom; client-ip=209.85.213.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="keikonkt@gmail.com"; x-sender="keikonkt@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-ig0-f170.google.com) identity=helo; client-ip=209.85.213.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="keikonkt@gmail.com"; x-sender="postmaster@mail-ig0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B+AgAx7ghWlKrVVdFdhGEGxTYCgTAHOxEBAQEBAQEBARABAQEBBwsLCR8wgh2CBwEBAQMBEhEdARsdAQMBCwYFBAEGDSoCAiEBAREBBQEcBhMih3YBAwoIqGKBMD4xi0eBbIJ5iWIKGScNVoQ2AQEBAQYBAQEBGAEFDotiglCCPQeCaYFDBZVwix+BcIFPkiqDWYIhEiOBFzeCMIF/PDOJIQEBAQ X-IPAS-Result: A0B+AgAx7ghWlKrVVdFdhGEGxTYCgTAHOxEBAQEBAQEBARABAQEBBwsLCR8wgh2CBwEBAQMBEhEdARsdAQMBCwYFBAEGDSoCAiEBAREBBQEcBhMih3YBAwoIqGKBMD4xi0eBbIJ5iWIKGScNVoQ2AQEBAQYBAQEBGAEFDotiglCCPQeCaYFDBZVwix+BcIFPkiqDWYIhEiOBFzeCMIF/PDOJIQEBAQ X-IronPort-AV: E=Sophos;i="5.17,602,1437429600"; d="scan'208";a="179689098" Received: from mail-ig0-f170.google.com ([209.85.213.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Sep 2015 09:40:46 +0200 Received: by igxx6 with SMTP id x6so44398801igx.1 for ; Mon, 28 Sep 2015 00:40:45 -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=l8c8ODdQIn1jJ++FrhZ0UQxCfXbbQu+JCQmtmr41cf0=; b=yFg4m+YP558TsMNGhyiJKZ/xBoHk5dIyHdphOwvyYV9Xlattr7vikj684XkzTkv5ir NuoeovY6rt0tKQgFCKADNzv+71DueVAfdBYjIgGgyBjkLyf0gIljGBHOZvD54aQc0/G2 xMet3qTye/jglwiN9rU1IekW7vQWK7o/PCIn+BO5PxCICuMLnMIGesVrInuF4s4hR9zG 2nuPdJyBLTTA9WmkaxbhLR106xNkld6OXOTu7oljNCvr8WKPozVTcFS72W1I2E1n5TNz GSlFhD//V6/Cb4wYXWnDmD+qGc5FgatLCrSToY2IYoAs8LAgo0u/zcf18IV0Jo+WIaGl yQUA== MIME-Version: 1.0 X-Received: by 10.50.70.98 with SMTP id l2mr13530796igu.52.1443426045151; Mon, 28 Sep 2015 00:40:45 -0700 (PDT) Received: by 10.107.11.67 with HTTP; Mon, 28 Sep 2015 00:40:45 -0700 (PDT) In-Reply-To: References: <270D5C05-462B-43B7-918D-6135D41B0BD6@mpi-sws.org> Date: Mon, 28 Sep 2015 09:40:45 +0200 Message-ID: From: Keiko Nakata To: Andreas Rossberg Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7b3a9592ae721e0520c9d029 Subject: Re: [Caml-list] unsigned 64-bit integers --047d7b3a9592ae721e0520c9d029 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Andreas Rossberg wrote: > On Keiko Nakata wrote: > > Why do you not make your unsigned int64 an abstract type (to make sure > singed and unsigned int64 won't be mixed up)? > > Well, because that wouldn=E2=80=99t match the design being implemented th= ere. For > an assembly-like language, you don=E2=80=99t want to factor that way. For= other > purposes a separate ADT would make a lot of sense, of course. In any case, > I was only pointing to this for the implementation of individual operator= s, > not necessarily for the module as a whole. > Sure, I was just curious. I'll play around with your library. I am porting some low level C++ code to OCaml. Thanks! Best regards, Keiko --047d7b3a9592ae721e0520c9d029 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On Andreas Rossberg <rossberg@mpi-sws.org> wrote:
On Keiko Nakata <keikonkt@gmail.com> wrote:
> Why do you not make your unsigned int64 an abstract type (to make sure= singed and unsigned int64 won't be mixed up)?

Well, because that wouldn=E2=80=99t match the design being implement= ed there. For an assembly-like language, you don=E2=80=99t want to factor t= hat way. For other purposes a separate ADT would make a lot of sense, of co= urse. In any case, I was only pointing to this for the implementation of in= dividual operators, not necessarily for the module as a whole.

Sure, I was just curious.

I'= ll play around with your library. I am porting some low level C++ code to O= Caml. Thanks!


Best regards,
Keiko
<= /div>
--047d7b3a9592ae721e0520c9d029--