220 39732 article Path: news.gmane.org!.POSTED!not-for-mail From: Niall Douglas Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: D1095R0/N2xxx draft 4: Zero overhead deterministic failure - A unified mechanism for C and C++ Date: Sun, 12 Aug 2018 11:50:44 -0700 (PDT) Lines: 78 Approved: news@gmane.org Message-ID: References: <206ed6c7-67da-43db-8d21-5d2a359b19b0@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1253_1258095478.1534099844585" X-Trace: blaine.gmane.org 1534099720 20127 195.159.176.226 (12 Aug 2018 18:48:40 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 12 Aug 2018 18:48:40 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBDGKFT5YZADRBBMDYLNQKGQEGWIOX7A@isocpp.org Sun Aug 12 20:48:36 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-yw1-f69.google.com ([209.85.161.69]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fovPo-00059I-G7 for gclcip-std-proposals@m.gmane.org; Sun, 12 Aug 2018 20:48:36 +0200 Original-Received: by mail-yw1-f69.google.com with SMTP id 135-v6sf20009247ywr.17 for ; Sun, 12 Aug 2018 11:50:47 -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=m24caqRwD7x1/vQSrxuKHFAMfGDDBYlPxppS8XNnuUw=; b=GZRNLE+osOoPaDL14KWeEWPNsWfU8z0p51UHKifQdPVz7Sskp5ly6seENnuzVbMmwF VE76K2cOypnOj07JYNurmX0iWN3ziefwHIsn8fU2QttT/gsCyO4Tll5rwe4JjKYIAnxc Ceba5u6AkyZcdA2vSO/YsiY1VwX+riXU9ewrcMvZ/rnu3s79bTXd7iZBvFotCjXxKQfT LDIj+XhbH43TCUhB/I0V3E6i4Knxof/SoVo63AgujVv/p5ZsC8jFXTHoA9o4arIp411D s1x06Lg3ZXcQlnMZd5oVCqlve4ikzK2R89VsEE+3nYhtuISHoGDP6HSgv0kdcw+Ykgqq JqUg== 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=m24caqRwD7x1/vQSrxuKHFAMfGDDBYlPxppS8XNnuUw=; b=gicuWiMSkB6mLDcycIUBO3ATDBv0VywiPhNRpr+3KahPyb1X57vjuby7C9D7jkFJlo 7PEW0Rsnazl8SfflN/niFOStc4mLveTzX8Pf3dExYnryQkhQzTnhNDBrnkd0QGFYAVNm SrK5I79+fCu0c6T4ZrkiOGMSQigTzZWmTVDM+Fok8qseUCuEQcYdqYIxQc6ioQAzVKyo 0AxHLR8BV/bmgocIAiXgx+j1XUQGnr40RZaeXjqsoe7kK5z6Wpp4Ma0i5WJRKi0N+B1F Dl7kAs54AUWq5f3HTloJifoq4DhnOew8jTQzn4aNonZb+rcVkLyk6thcR3p3z0QrzfLt baEQ== 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=m24caqRwD7x1/vQSrxuKHFAMfGDDBYlPxppS8XNnuUw=; b=QqEWWQrBFwlEotHlVRYIy8uOSRmwsl5xTpRn1tCS7byypen+6tajqDTOY6DwImd9e9 /oGv6rCINLI6XbmoBK57FMU3vLCsQI1yo8vG9K3tgkxQ5NgzD/Tm/hE9t0D72ZFpLhR4 tCJP1WBxM9UsCWcM11muM7L0UgGZyAZDHSjWQgQIPGbW+PxF9D6LuLE2R7xRlSwgyT2f YEN63VlAEGgHyib9BqWcD7iSMku/M9XQh7OX+MdIoD6jEJXXj4ke2HL1g19w0mKq/OLP e4VDeVV2UhoU4LGEuTjlkiqA0Q49E2QWh5JmMtHqufUQ1AwzDaPVVkK+Zf7mHdyP03T7 EsvQ== X-Gm-Message-State: AOUpUlHqkGsZf5K5qkiT6blYPR/Se55RqJwlAFRlkBdvobuWO1u3VDPg 2eGvnrKREhS09BhBLskWV9TiMA== X-Google-Smtp-Source: AA+uWPwINslXMd3rfF779wyk3SfUUisHKcIYGbyfJ9hSFAttfyWoG3qni2Un11G+BLZaOuBCEThEiw== X-Received: by 2002:a81:440c:: with SMTP id r12-v6mr4211338ywa.209.1534099846753; Sun, 12 Aug 2018 11:50:46 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a0d:e6d7:: with SMTP id p206-v6ls2285977ywe.12.gmail; Sun, 12 Aug 2018 11:50:45 -0700 (PDT) X-Received: by 2002:a81:7dd6:: with SMTP id y205-v6mr314386ywc.1.1534099845120; Sun, 12 Aug 2018 11:50:45 -0700 (PDT) In-Reply-To: X-Original-Sender: nialldouglas14@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:39732 Archived-At: ------=_Part_1253_1258095478.1534099844585 Content-Type: multipart/alternative; boundary="----=_Part_1254_349956525.1534099844585" ------=_Part_1254_349956525.1534099844585 Content-Type: text/plain; charset="UTF-8" On Friday, August 10, 2018 at 11:22:56 AM UTC+1, Dimitrij Mijoski wrote: > > From C++ point of view this seems to me like an implementation detail for > the zero-overhead deterministic exceptions, rather than actual language > specification. I'd rather see an actual implementation, than a > specification that we don't know if it works. Only when you try to > implement something, you will notice all the details you are probably > missing now. > >> >> A major compiler vendor intends to implement P0709 by early 2019. The papers forming this discussion is to set the general approach any prototype should take. Regarding better type interop between C and C++, well baby steps first. Let's solve the exception throwing interop problem, and move on from there. I would also add that there are languages which only speak C, but have much better interop with C++'s richer type system. 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/e2c2c74f-a9e0-42ae-90f3-606e8d2b9325%40isocpp.org. ------=_Part_1254_349956525.1534099844585 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Friday, August 10, 2018 at 11:22:56 AM UTC+1, Dimitrij = Mijoski wrote:
From C++ point of view this seems to me like an implementation detail= for the zero-overhead deterministic exceptions, rather than actual languag= e specification. I'd rather see an actual implementation, than a specif= ication that we don't know if it works. Only when you try to implement = something, you will notice all the details you are probably missing now.

=
A major compiler vendor intends = to implement P0709 by early 2019.

The papers formi= ng this discussion is to set the general approach any prototype should take= ..

Regarding better type interop between C and C++,= well baby steps first. Let's solve the exception throwing interop prob= lem, and move on from there. I would also add that there are languages whic= h only speak C, but have much better interop with C++'s richer type sys= tem.

Niall

--
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+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/e2c2c74f-a9e0-42ae-90f3-606e8d2b9325= %40isocpp.org.
------=_Part_1254_349956525.1534099844585-- ------=_Part_1253_1258095478.1534099844585-- .