Topic: Fwd: Clarification needed on Concepts (and Contracts?)


Author: Bryce Glover <randomdsdevel@gmail.com>
Date: Sun, 2 Jul 2017 19:24:37 -0400
Raw View
--Apple-Mail=_55832206-B5E7-494B-B2EE-FE7A32BA2CE6
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="UTF-8"


Whoops, forgot to change the subject of this message (I copied from the dig=
est from which the message I=E2=80=99m replying to came from) to the correc=
t one.=20

> Begin forwarded message:
>=20
> From: Bryce Glover <RandomDSdevel@gmail.com>
> Subject: Re: [std-proposals] Digest for std-proposals@isocpp.org - 7 upda=
tes in 4 topics
> Date: July 2, 2017 at 7:22:24 PM EDT
> To: Jakob Riedle <jakob.riedle@gmail.com>
> Cc: std-proposals@isocpp.org
>=20
>> On Jul 2, 2017, at 6:12 PM, std-proposals@isocpp.org <mailto:std-proposa=
ls@isocpp.org> wrote:
>>=20
>> Jakob Riedle <jakob.riedle@gmail.com <mailto:jakob.riedle@gmail.com>>: J=
ul 01 11:22PM -0700=20
>>=20
>> Hi Bryce!
>> =20
>> nice to know that! I will get in touch with him. Thank you!
>> If you don't happen to find the spot, I'll watch the whole Presentation,=
=20
>> don't worry.
>> =20
>> Cheers,
>> Jakob
>> =20
>> PS: A Proposal is already started :)
>=20
>      You=E2=80=99re welcome, Jakob, and I hope contacting him goes well. =
 Still, I do wish I recall where exactly in the talk to point you (maybe so=
mewhere between half-way and three quarters or four fifths of the way throu=
gh, perhaps?)  The presentation doesn=E2=80=99t cover much new ground if yo=
u=E2=80=99ve been keeping track of language evolution lately, but it=E2=80=
=99s presented well enough, so I suppose it wouldn=E2=80=99t hurt too much =
to watch the whole thing=E2=80=A6 (note, though, that I=E2=80=99m comparing=
 it other C++Now 2017 presentations I=E2=80=99ve watched so far.  And, spea=
king of which, if you have the time, you might want to watch some of the ot=
her talks presented at C++Now there, as I=E2=80=99ve heard attendees enjoy =
going there; the talks are, given my current impressions of what I=E2=80=99=
ve seen on YouTube, generally of high quality as well.) =20
>=20
> Regards,=20
>      Bryce Glover
>      RandomDSdevel@gmail.com <mailto:RandomDSdevel@gmail.com>

--=20
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 e=
mail 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/513DFDB9-F090-42F0-81B9-EF3F21E5089C%40gmail.com=
..

--Apple-Mail=_55832206-B5E7-494B-B2EE-FE7A32BA2CE6
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset="UTF-8"

<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html charset=
=3Dutf-8"></head><body style=3D"word-wrap: break-word; -webkit-nbsp-mode: s=
pace; -webkit-line-break: after-white-space;" class=3D""><br class=3D""><di=
v>Whoops, forgot to change the subject of this message (I copied from the d=
igest from which the message I=E2=80=99m replying to came from) to the corr=
ect one. &nbsp;</div><div><br class=3D""><blockquote type=3D"cite" class=3D=
""><div class=3D"">Begin forwarded message:</div><br class=3D"Apple-interch=
ange-newline"><div style=3D"margin-top: 0px; margin-right: 0px; margin-bott=
om: 0px; margin-left: 0px;" class=3D""><span style=3D"font-family: -webkit-=
system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0=
);" class=3D""><b class=3D"">From: </b></span><span style=3D"font-family: -=
webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class=3D"">Bryc=
e Glover &lt;<a href=3D"mailto:RandomDSdevel@gmail.com" class=3D"">RandomDS=
devel@gmail.com</a>&gt;<br class=3D""></span></div><div style=3D"margin-top=
: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=3D""=
><span style=3D"font-family: -webkit-system-font, Helvetica Neue, Helvetica=
, sans-serif; color:rgba(0, 0, 0, 1.0);" class=3D""><b class=3D"">Subject: =
</b></span><span style=3D"font-family: -webkit-system-font, Helvetica Neue,=
 Helvetica, sans-serif;" class=3D""><b class=3D"">Re: [std-proposals] Diges=
t for <a href=3D"mailto:std-proposals@isocpp.org" class=3D"">std-proposals@=
isocpp.org</a> - 7 updates in 4 topics</b><br class=3D""></span></div><div =
style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-lef=
t: 0px;" class=3D""><span style=3D"font-family: -webkit-system-font, Helvet=
ica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=3D""><b c=
lass=3D"">Date: </b></span><span style=3D"font-family: -webkit-system-font,=
 Helvetica Neue, Helvetica, sans-serif;" class=3D"">July 2, 2017 at 7:22:24=
 PM EDT<br class=3D""></span></div><div style=3D"margin-top: 0px; margin-ri=
ght: 0px; margin-bottom: 0px; margin-left: 0px;" class=3D""><span style=3D"=
font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; co=
lor:rgba(0, 0, 0, 1.0);" class=3D""><b class=3D"">To: </b></span><span styl=
e=3D"font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-seri=
f;" class=3D"">Jakob Riedle &lt;<a href=3D"mailto:jakob.riedle@gmail.com" c=
lass=3D"">jakob.riedle@gmail.com</a>&gt;<br class=3D""></span></div><div st=
yle=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left:=
 0px;" class=3D""><span style=3D"font-family: -webkit-system-font, Helvetic=
a Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=3D""><b cla=
ss=3D"">Cc: </b></span><span style=3D"font-family: -webkit-system-font, Hel=
vetica Neue, Helvetica, sans-serif;" class=3D""><a href=3D"mailto:std-propo=
sals@isocpp.org" class=3D"">std-proposals@isocpp.org</a><br class=3D""></sp=
an></div><br class=3D""><div class=3D""><meta http-equiv=3D"Content-Type" c=
ontent=3D"text/html charset=3Dutf-8" class=3D""><div style=3D"word-wrap: br=
eak-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"=
 class=3D""><div class=3D""><blockquote type=3D"cite" class=3D""><div class=
=3D"">On Jul 2, 2017, at 6:12 PM, <a href=3D"mailto:std-proposals@isocpp.or=
g" class=3D"">std-proposals@isocpp.org</a> wrote:</div><br class=3D"Apple-i=
nterchange-newline"><div class=3D""><span style=3D"font-family: arial; font=
-style: normal; font-variant-caps: normal; font-weight: normal; letter-spac=
ing: normal; orphans: auto; text-align: start; text-indent: 0px; text-trans=
form: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-t=
ext-stroke-width: 0px; background-color: rgb(255, 255, 255); color: rgb(177=
, 176, 176); font-size: 15px;" class=3D"">Jakob Riedle &lt;<a href=3D"mailt=
o:jakob.riedle@gmail.com" class=3D"">jakob.riedle@gmail.com</a>&gt;: Jul 01=
 11:22PM -0700<span class=3D"Apple-converted-space">&nbsp;</span></span><sp=
an style=3D"color: rgb(46, 46, 46); font-family: arial; font-size: inherit;=
 font-style: normal; font-variant-caps: normal; font-weight: normal; letter=
-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-=
transform: none; white-space: normal; widows: auto; word-spacing: 0px; -web=
kit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); float: no=
ne; display: inline !important;" class=3D""></span><br style=3D"color: rgb(=
46, 46, 46); font-family: arial; font-style: normal; font-variant-caps: nor=
mal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align=
: start; text-indent: 0px; text-transform: none; white-space: normal; widow=
s: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-colo=
r: rgb(255, 255, 255);" class=3D""><br style=3D"color: rgb(46, 46, 46); fon=
t-family: arial; font-style: normal; font-variant-caps: normal; font-weight=
: normal; letter-spacing: normal; orphans: auto; text-align: start; text-in=
dent: 0px; text-transform: none; white-space: normal; widows: auto; word-sp=
acing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255,=
 255);" class=3D""><span style=3D"color: rgb(46, 46, 46); font-family: aria=
l; font-size: inherit; font-style: normal; font-variant-caps: normal; font-=
weight: normal; letter-spacing: normal; orphans: auto; text-align: start; t=
ext-indent: 0px; text-transform: none; white-space: normal; widows: auto; w=
ord-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255=
, 255, 255); float: none; display: inline !important;" class=3D"">Hi Bryce!=
</span><br style=3D"color: rgb(46, 46, 46); font-family: arial; font-style:=
 normal; font-variant-caps: normal; font-weight: normal; letter-spacing: no=
rmal; orphans: auto; text-align: start; text-indent: 0px; text-transform: n=
one; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-str=
oke-width: 0px; background-color: rgb(255, 255, 255);" class=3D""><span sty=
le=3D"color: rgb(46, 46, 46); font-family: arial; font-size: inherit; font-=
style: normal; font-variant-caps: normal; font-weight: normal; letter-spaci=
ng: normal; orphans: auto; text-align: start; text-indent: 0px; text-transf=
orm: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-te=
xt-stroke-width: 0px; background-color: rgb(255, 255, 255); float: none; di=
splay: inline !important;" class=3D"">&nbsp;</span><br style=3D"color: rgb(=
46, 46, 46); font-family: arial; font-style: normal; font-variant-caps: nor=
mal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align=
: start; text-indent: 0px; text-transform: none; white-space: normal; widow=
s: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-colo=
r: rgb(255, 255, 255);" class=3D""><span style=3D"color: rgb(46, 46, 46); f=
ont-family: arial; font-size: inherit; font-style: normal; font-variant-cap=
s: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text=
-align: start; text-indent: 0px; text-transform: none; white-space: normal;=
 widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; backgroun=
d-color: rgb(255, 255, 255); float: none; display: inline !important;" clas=
s=3D"">nice to know that! I will get in touch with him. Thank you!</span><b=
r style=3D"color: rgb(46, 46, 46); font-family: arial; font-style: normal; =
font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orp=
hans: auto; text-align: start; text-indent: 0px; text-transform: none; whit=
e-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width=
: 0px; background-color: rgb(255, 255, 255);" class=3D""><span style=3D"col=
or: rgb(46, 46, 46); font-family: arial; font-size: inherit; font-style: no=
rmal; font-variant-caps: normal; font-weight: normal; letter-spacing: norma=
l; orphans: auto; text-align: start; text-indent: 0px; text-transform: none=
; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke=
-width: 0px; background-color: rgb(255, 255, 255); float: none; display: in=
line !important;" class=3D"">If you don't happen to find the spot, I'll wat=
ch the whole Presentation,<span class=3D"Apple-converted-space">&nbsp;</spa=
n></span><br style=3D"color: rgb(46, 46, 46); font-family: arial; font-styl=
e: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: =
normal; orphans: auto; text-align: start; text-indent: 0px; text-transform:=
 none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-s=
troke-width: 0px; background-color: rgb(255, 255, 255);" class=3D""><span s=
tyle=3D"color: rgb(46, 46, 46); font-family: arial; font-size: inherit; fon=
t-style: normal; font-variant-caps: normal; font-weight: normal; letter-spa=
cing: normal; orphans: auto; text-align: start; text-indent: 0px; text-tran=
sform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-=
text-stroke-width: 0px; background-color: rgb(255, 255, 255); float: none; =
display: inline !important;" class=3D"">don't worry.</span><br style=3D"col=
or: rgb(46, 46, 46); font-family: arial; font-style: normal; font-variant-c=
aps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; te=
xt-align: start; text-indent: 0px; text-transform: none; white-space: norma=
l; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; backgro=
und-color: rgb(255, 255, 255);" class=3D""><span style=3D"color: rgb(46, 46=
, 46); font-family: arial; font-size: inherit; font-style: normal; font-var=
iant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: au=
to; text-align: start; text-indent: 0px; text-transform: none; white-space:=
 normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; b=
ackground-color: rgb(255, 255, 255); float: none; display: inline !importan=
t;" class=3D"">&nbsp;</span><br style=3D"color: rgb(46, 46, 46); font-famil=
y: arial; font-style: normal; font-variant-caps: normal; font-weight: norma=
l; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0=
px; text-transform: none; white-space: normal; widows: auto; word-spacing: =
0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255);"=
 class=3D""><span style=3D"color: rgb(46, 46, 46); font-family: arial; font=
-size: inherit; font-style: normal; font-variant-caps: normal; font-weight:=
 normal; letter-spacing: normal; orphans: auto; text-align: start; text-ind=
ent: 0px; text-transform: none; white-space: normal; widows: auto; word-spa=
cing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, =
255); float: none; display: inline !important;" class=3D"">Cheers,</span><b=
r style=3D"color: rgb(46, 46, 46); font-family: arial; font-style: normal; =
font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orp=
hans: auto; text-align: start; text-indent: 0px; text-transform: none; whit=
e-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width=
: 0px; background-color: rgb(255, 255, 255);" class=3D""><span style=3D"col=
or: rgb(46, 46, 46); font-family: arial; font-size: inherit; font-style: no=
rmal; font-variant-caps: normal; font-weight: normal; letter-spacing: norma=
l; orphans: auto; text-align: start; text-indent: 0px; text-transform: none=
; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke=
-width: 0px; background-color: rgb(255, 255, 255); float: none; display: in=
line !important;" class=3D"">Jakob</span><br style=3D"color: rgb(46, 46, 46=
); font-family: arial; font-style: normal; font-variant-caps: normal; font-=
weight: normal; letter-spacing: normal; orphans: auto; text-align: start; t=
ext-indent: 0px; text-transform: none; white-space: normal; widows: auto; w=
ord-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255=
, 255, 255);" class=3D""><span style=3D"color: rgb(46, 46, 46); font-family=
: arial; font-size: inherit; font-style: normal; font-variant-caps: normal;=
 font-weight: normal; letter-spacing: normal; orphans: auto; text-align: st=
art; text-indent: 0px; text-transform: none; white-space: normal; widows: a=
uto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: r=
gb(255, 255, 255); float: none; display: inline !important;" class=3D"">&nb=
sp;</span><br style=3D"color: rgb(46, 46, 46); font-family: arial; font-sty=
le: normal; font-variant-caps: normal; font-weight: normal; letter-spacing:=
 normal; orphans: auto; text-align: start; text-indent: 0px; text-transform=
: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-=
stroke-width: 0px; background-color: rgb(255, 255, 255);" class=3D""><span =
style=3D"color: rgb(46, 46, 46); font-family: arial; font-size: inherit; fo=
nt-style: normal; font-variant-caps: normal; font-weight: normal; letter-sp=
acing: normal; orphans: auto; text-align: start; text-indent: 0px; text-tra=
nsform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit=
-text-stroke-width: 0px; background-color: rgb(255, 255, 255); float: none;=
 display: inline !important;" class=3D"">PS: A Proposal is already started =
:)</span></div></blockquote></div><br class=3D""><div class=3D"">&nbsp; &nb=
sp; &nbsp;You=E2=80=99re welcome, Jakob, and I hope contacting him goes wel=
l. &nbsp;Still, I <i class=3D"">do</i> wish I recall where exactly in the t=
alk to point you (maybe somewhere between half-way and three quarters or fo=
ur fifths of the way through, perhaps?) &nbsp;The presentation doesn=E2=80=
=99t cover much new ground if you=E2=80=99ve been keeping track of language=
 evolution lately, but it=E2=80=99s presented well enough, so I <i class=3D=
"">suppose</i>&nbsp;it wouldn=E2=80=99t hurt too much to watch the whole th=
ing=E2=80=A6 (note, though, that I=E2=80=99m comparing it other C++Now 2017=
 presentations I=E2=80=99ve watched so far. &nbsp;And,&nbsp;<i class=3D"">s=
peaking</i>&nbsp;of which, if&nbsp;you have the time, you <i class=3D"">mig=
ht</i> want to watch some of the other talks presented at C++Now there, as =
I=E2=80=99ve heard attendees enjoy going there; the talks are, given my cur=
rent impressions of what I=E2=80=99ve seen on YouTube, generally of high qu=
ality as well.) &nbsp;</div><br class=3D""><div class=3D"">
<div style=3D"letter-spacing: normal; orphans: auto; text-align: start; tex=
t-indent: 0px; text-transform: none; white-space: normal; widows: auto; wor=
d-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -web=
kit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=3D""><d=
iv style=3D"letter-spacing: normal; orphans: auto; text-align: start; text-=
indent: 0px; text-transform: none; white-space: normal; widows: auto; word-=
spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webki=
t-nbsp-mode: space; -webkit-line-break: after-white-space;" class=3D""><div=
 style=3D"letter-spacing: normal; orphans: auto; text-align: start; text-in=
dent: 0px; text-transform: none; white-space: normal; widows: auto; word-sp=
acing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-=
nbsp-mode: space; -webkit-line-break: after-white-space;" class=3D""><div c=
lass=3D"">Regards,&nbsp;</div><div class=3D"">&nbsp; &nbsp; &nbsp;Bryce Glo=
ver</div><div class=3D"">&nbsp; &nbsp; &nbsp;<a href=3D"mailto:RandomDSdeve=
l@gmail.com" class=3D"">RandomDSdevel@gmail.com</a></div></div></div></div>=
</div></div></div></blockquote></div><br class=3D""></body></html>

<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/513DFDB9-F090-42F0-81B9-EF3F21E5089C%=
40gmail.com?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/513DFDB9-F090-42F0-81B9-EF3F21E5089C%=
40gmail.com</a>.<br />

--Apple-Mail=_55832206-B5E7-494B-B2EE-FE7A32BA2CE6--

.