220 40389 <1f9ce37e-8a55-4e48-8f84-6ace99617160@isocpp.org> article
Path: news.gmane.org!.POSTED!not-for-mail
From: Niall Douglas <nialldouglas14@gmail.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Optional fixed point arithmetic was standardised
 into C in 2008. Why doesn't C++ adopt it?
Date: Mon, 8 Oct 2018 12:45:27 -0700 (PDT)
Lines: 100
Approved: news@gmane.org
Message-ID: <1f9ce37e-8a55-4e48-8f84-6ace99617160@isocpp.org>
References: <c02eff57-39bb-4e54-b719-6598fe7a1585@isocpp.org>
 <CAFk2RUY+QC2NN5qiSzyn_rOvJfY-B4F3t3RqJrUZVA2Jvmd77g@mail.gmail.com>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: blaine.gmane.org
Mime-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_390_985588182.1539027927582"
X-Trace: blaine.gmane.org 1539027804 32538 195.159.176.226 (8 Oct 2018 19:43:24 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Mon, 8 Oct 2018 19:43:24 +0000 (UTC)
To: ISO C++ Standard - Future Proposals <std-proposals@isocpp.org>
Original-X-From: std-proposals+bncBDGKFT5YZADRBWHH53OQKGQEZEAQE5Q@isocpp.org Mon Oct 08 21:43:20 2018
Return-path: <std-proposals+bncBDGKFT5YZADRBWHH53OQKGQEZEAQE5Q@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-yb1-f200.google.com ([209.85.219.200])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <std-proposals+bncBDGKFT5YZADRBWHH53OQKGQEZEAQE5Q@isocpp.org>)
	id 1g9bR0-0008JM-U7
	for gclcip-std-proposals@m.gmane.org; Mon, 08 Oct 2018 21:43:19 +0200
Original-Received: by mail-yb1-f200.google.com with SMTP id n8-v6sf12169806ybo.9
        for <gclcip-std-proposals@m.gmane.org>; Mon, 08 Oct 2018 12:45:29 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=isocpp-org.20150623.gappssmtp.com; s=20150623;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :x-original-sender:reply-to:precedence:mailing-list:list-id
         :list-post:list-help:list-archive:list-subscribe:list-unsubscribe;
        bh=TDZ4zRhhTLiFKZUZ91cFzqbCKdGads63AdAt4aJ5v6E=;
        b=n6KzSGmakBZ+e4U9Rn+xon1PwL35TqtWKHXj/gQUynRZRBWDHDJ6BROzBfg1N6sQ6y
         tqg8yFp5v3/oqJPtSfCs7ZxqmUWk4SHx6UAjelpJpRo0J9gd2sm7HI2js1KwsZvZFdJi
         NFRK+YPHnGKrPyvYTRxDbyLRe2HNhECXduXKZC7Jbsbxp6z9v3VXZ3168LC4OGGJkXjI
         FWWuiGSzusBU4CQU5T4vrjzTRmk8g8T2TmEVtMZMF02zfeqkeFq0cma87PRv9jzfaz6G
         LiHcdHTWVaTbTkY5U3rN/7c4Ex0KmiGVXpklILXYl+Jyyyn7rSsTWKRj9VmP7C6U3LKM
         n2zA==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :x-original-sender:reply-to:precedence:mailing-list:list-id
         :list-post:list-help:list-archive:list-subscribe:list-unsubscribe;
        bh=TDZ4zRhhTLiFKZUZ91cFzqbCKdGads63AdAt4aJ5v6E=;
        b=XBxETtj0D1SuZStZumxBgOdhz5LGoDGmmc2fI847hwFgmKBVzumH+wVgCa45jbJLug
         lzOa5lI+gQcZWw+OXaF6KLAnYYLXAFSuZCv4hR1YkiIGOyohc6XR70qU5M99XOB3CUqH
         wVuM1clg9U56jagRc365rHlB4RK32scOI+CKpSgRXjW6+x0kqzRZqjSngAxOaJpSoz25
         6ZYWoYskz6TxIqMfJpVqquubYy0485tQ9jICrZQQ80B/l/y2rpuF57LuOeUIvv5v/ppx
         caYHRSl+OQklzFTXXRsrb0BdeYfNbULLMNl+963tZH17jLOWtlSihXq3n+3iYD3YAv+h
         jjOw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:date:from:to:message-id:in-reply-to:references
         :subject:mime-version:x-original-sender:reply-to:precedence
         :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help
         :list-archive:list-subscribe:list-unsubscribe;
        bh=TDZ4zRhhTLiFKZUZ91cFzqbCKdGads63AdAt4aJ5v6E=;
        b=AiPBmpX1HuUS52WA4NISUVZtd3CoVzOOoMpDlX02JZ9iqMYLv01VxtEshtNBgFBv/m
         orBBpfpHQNWuOgPWgYJ0yYsBkVgutHRUZQrc+KAuFu2JvQwEHHtcFRHj2iFi16mYmGNI
         6eX3aYSkUa1/iklGMCQK2keQeSli0/dxqYI8xUD/RPz1QhELwOg+3YK1v810FUHd8rio
         WLWdPc9oS3BZ2OCEzV5taxustuiklfJFToZXSjFJ+G9+sdh16eIucv2pBSgKJuaV3H3i
         Du4expzDrC0HDvel/3y/hyDBikWHusNVTy1nAIrIGtuGrHVdbPj1PhsnvbdHH4wgymNi
         QByg==
X-Gm-Message-State: ABuFfoixMg7JSq8zdmCNTcW2Dml+hL+thBA4cNu652Xcao9/e+GBIr3Z
	imnjdzMAOxNqDUL1V/b/kRwhxg==
X-Google-Smtp-Source: ACcGV62kYIDdycBAK+6/Qu4zlX1CBlc7XWl0JF7Ea+fvCEas4M1omnt9A3kBdqkp5oIslEGk8fjF1Q==
X-Received: by 2002:a81:af15:: with SMTP id n21-v6mr14043556ywh.3.1539027929370;
        Mon, 08 Oct 2018 12:45:29 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 2002:a81:3984:: with SMTP id g126-v6ls537670ywa.4.gmail; Mon, 08
 Oct 2018 12:45:28 -0700 (PDT)
X-Received: by 2002:a81:57cd:: with SMTP id l196-v6mr267591ywb.4.1539027928155;
        Mon, 08 Oct 2018 12:45:28 -0700 (PDT)
In-Reply-To: <CAFk2RUY+QC2NN5qiSzyn_rOvJfY-B4F3t3RqJrUZVA2Jvmd77g@mail.gmail.com>
X-Original-Sender: nialldouglas14@gmail.com
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Spam-Checked-In-Group: std-proposals@isocpp.org
X-Google-Group-Id: 399137483710
List-Post: <https://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <https://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <https://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>,
 <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:40389
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/40389>

------=_Part_390_985588182.1539027927582
Content-Type: multipart/alternative; 
	boundary="----=_Part_391_746561743.1539027927583"

------=_Part_391_746561743.1539027927583
Content-Type: text/plain; charset="UTF-8"


>
> > So, learned something new from WG14 today, namely that C standardised 
> optional fixed point arithmetic back in 2004, with a second edition in 
> 2008. I didn't know that before. Here is a pre-publication draft of the 
> standard ISO/IEC TR 18037:2008: 
> > 
> > http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1169.pdf 
> > 
> > Why doesn't WG21 simply adopt this instead of the (library) fixed point 
> arithmetic proposals currently before it? 
>
> Probably for the same reason why complex is a library type in C++; 
> WG21 thinks it can do better with a library approach than 
> with a built-in one. 
>

Well, sure. But I really wish the authors of the relevant papers before 
WG21 described in their motivation why they think that a library approach 
is clearly superior to an already published standard. That's a fairly high 
bar, in my opinion, to meet when essentially proposing "I don't think the 
standardised way is sufficient for reasons A, B and C. Here's what I 
propose instead ...". And I don't remember such explanatory text in 
motivations. I was hoping somebody could link me to such a text, I could 
read it, and as someone without domain expertise in fixed point arithmetic, 
I could go away feeling satisfied WG21 is on the right track on this.

Niall

-- 
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/1f9ce37e-8a55-4e48-8f84-6ace99617160%40isocpp.org.

------=_Part_391_746561743.1539027927583
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<blockquote class=3D"gmail_quote" style=3D"margin: 0;margin-left: 0.8ex;bor=
der-left: 1px #ccc solid;padding-left: 1ex;">&gt; So, learned something new=
 from WG14 today, namely that C standardised optional fixed point arithmeti=
c back in 2004, with a second edition in 2008. I didn&#39;t know that befor=
e. Here is a pre-publication draft of the standard ISO/IEC TR 18037:2008:
<br>&gt;
<br>&gt; <a href=3D"http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1169.p=
df" target=3D"_blank" rel=3D"nofollow" onmousedown=3D"this.href=3D&#39;http=
://www.google.com/url?q\x3dhttp%3A%2F%2Fwww.open-std.org%2Fjtc1%2Fsc22%2Fwg=
14%2Fwww%2Fdocs%2Fn1169.pdf\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNGfSrA39=
IJzox4tATMeVx-OowCCBQ&#39;;return true;" onclick=3D"this.href=3D&#39;http:/=
/www.google.com/url?q\x3dhttp%3A%2F%2Fwww.open-std.org%2Fjtc1%2Fsc22%2Fwg14=
%2Fwww%2Fdocs%2Fn1169.pdf\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNGfSrA39IJ=
zox4tATMeVx-OowCCBQ&#39;;return true;">http://www.open-std.org/jtc1/<wbr>sc=
22/wg14/www/docs/n1169.pdf</a>
<br>&gt;
<br>&gt; Why doesn&#39;t WG21 simply adopt this instead of the (library) fi=
xed point arithmetic proposals currently before it?
<br>
<br>Probably for the same reason why complex is a library type in C++;
<br>WG21 thinks it can do better with a library approach than
<br>with a built-in one.
<br></blockquote><div><br></div><div>Well, sure. But I really wish the auth=
ors of the relevant papers before WG21 described in their motivation why th=
ey think that a library approach is clearly superior to an already publishe=
d standard. That&#39;s a fairly high bar, in my opinion, to meet when essen=
tially proposing &quot;I don&#39;t think the standardised way is sufficient=
 for reasons A, B and C. Here&#39;s what I propose instead ...&quot;. And I=
 don&#39;t remember such explanatory text in motivations. I was hoping some=
body could link me to such a text, I could read it, and as someone without =
domain expertise in fixed point arithmetic, I could go away feeling satisfi=
ed WG21 is on the right track on this.</div><div><br></div><div>Niall</div>=
<div><br></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org">std-proposa=
ls+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org">std-proposals@isocpp.org</a>.<br />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/1f9ce37e-8a55-4e48-8f84-6ace99617160%=
40isocpp.org?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.=
com/a/isocpp.org/d/msgid/std-proposals/1f9ce37e-8a55-4e48-8f84-6ace99617160=
%40isocpp.org</a>.<br />

------=_Part_391_746561743.1539027927583--

------=_Part_390_985588182.1539027927582--

.
