www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.announce - Cppcon tonight at 8:30 in Bellevue

reply Walter Bright <newshound2 digitalmars.com> writes:
Wednesday 09/21/2016 8:30pm: Writing Secure C++

CppCon is being hosted at the Meydenbauer Center in Bellevue. Directions and 
parking information can be found here:

http://www.meydenbauer.com/parking-directions/

Additional information on CppCon can be found here: http://cppcon.org/

Don't need a ticket to attend this one, all are welcome. I plan on being there.
Sep 21 2016
next sibling parent reply Brad Anderson <eco gnuk.net> writes:
On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright 
wrote:

 Wednesday 09/21/2016 8:30pm: Writing Secure C++

 CppCon is being hosted at the Meydenbauer Center in Bellevue. 
 Directions and parking information can be found here:

 http://www.meydenbauer.com/parking-directions/

 Additional information on CppCon can be found here: 
 http://cppcon.org/

 Don't need a ticket to attend this one, all are welcome. I plan 
 on being there.


The website[1] says it's quite a bit more than free ($1195 for 
late registration). Great conference though. There are a lot of 
exceptional talks that come out of it. We were just talking about 
the slides[2] for the Using Types Effectively talk this year in 
#D on Freenode. My own programming has been increasingly adopting 
this style over the last year so it's nice to learn some of the 
type theory lingo. For anyone viewing the slides, Variant and 
Nullable are the D equivalents of C++'s variant and optional.

1. http://cppcon.org/registration/
2. 
http://www.elbeno.com/presentations/using-types-effectively/presentation.html
Sep 21 2016
parent reply Walter Bright <newshound2 digitalmars.com> writes:
On 9/21/2016 3:48 PM, Brad Anderson wrote:

 On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright wrote:

 Wednesday 09/21/2016 8:30pm: Writing Secure C++

 CppCon is being hosted at the Meydenbauer Center in Bellevue. Directions and
 parking information can be found here:

 http://www.meydenbauer.com/parking-directions/

 Additional information on CppCon can be found here: http://cppcon.org/

 Don't need a ticket to attend this one, all are welcome. I plan on being there.


 The website[1] says it's quite a bit more than free ($1195 for late
 registration). Great conference though. There are a lot of exceptional talks
 that come out of it. We were just talking about the slides[2] for the Using
 Types Effectively talk this year in #D on Freenode. My own programming has been
 increasingly adopting this style over the last year so it's nice to learn some
 of the type theory lingo. For anyone viewing the slides, Variant and Nullable
 are the D equivalents of C++'s variant and optional.

 1. http://cppcon.org/registration/
 2. http://www.elbeno.com/presentations/using-types-effectively/presentation.html


Sorry I wasn't clear. The free entry is only for the 8:30 talk.
Sep 21 2016
parent reply Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:
On 9/21/16 7:37 PM, Walter Bright wrote:

 On 9/21/2016 3:48 PM, Brad Anderson wrote:

 http://www.elbeno.com/presentations/using-types-effectively/presentation.html


 Sorry I wasn't clear. The free entry is only for the 8:30 talk.


Slides are nice, I hope the talk was good. His notion of total functions 
gets a bit weakened by the existence of the default constructor (e.g. if 
the return type has a default value, you can always write a total 
function that just returns it). In order to avoid such degenerate cases, 
he'd need to add the requirement that the function is also injective 
(maps different inputs to different outputs). Then his examples are 
meaningful (and beautiful).

In D, the closest we get to the notion of a total function is a nothrow 
pure function. As far as I know we cannot enforce injectivity.


Andrei
Sep 22 2016
parent reply Brad Anderson <eco gnuk.net> writes:
On Thursday, 22 September 2016 at 14:03:04 UTC, Andrei 
Alexandrescu wrote:

 On 9/21/16 7:37 PM, Walter Bright wrote:

 On 9/21/2016 3:48 PM, Brad Anderson wrote:

 http://www.elbeno.com/presentations/using-types-effectively/presentation.html


 Sorry I wasn't clear. The free entry is only for the 8:30 talk.


 Slides are nice, I hope the talk was good. His notion of total 
 functions gets a bit weakened by the existence of the default 
 constructor (e.g. if the return type has a default value, you 
 can always write a total function that just returns it). In 
 order to avoid such degenerate cases, he'd need to add the 
 requirement that the function is also injective (maps different 
 inputs to different outputs). Then his examples are meaningful 
 (and beautiful).

 In D, the closest we get to the notion of a total function is a 
 nothrow pure function. As far as I know we cannot enforce 
 injectivity.


 Andrei


Just to be clear, this wasn't slides for the talk Walter was 
attending. I'm not sure if Walter was going to the Lightning 
Talks, the Concepts/Range talk, or the Biggest Security Fails 
talk. This was just a separate one from earlier in the week.

I remember you recommending Types and Programming Languages by 
MIT Press awhile back. Is that still what you'd recommend for 
learning about type theory?
Sep 22 2016
parent Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:
On 9/22/16 2:35 PM, Brad Anderson wrote:

 I remember you recommending Types and Programming Languages by MIT Press
 awhile back. Is that still what you'd recommend for learning about type
 theory?


Yes, although not a lot of current work is available in book format at 
all. Also, I've heard Pierce's second book "Advanced Topics in Types and 
Programming Languages" is just way esoteric. Maybe Timon has some more 
recommendations. -- Andrei
Sep 22 2016
prev sibling parent reply Atila Neves <atila.neves gmail.com> writes:
On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright 
wrote:

 Wednesday 09/21/2016 8:30pm: Writing Secure C++

 CppCon is being hosted at the Meydenbauer Center in Bellevue. 
 Directions and parking information can be found here:

 http://www.meydenbauer.com/parking-directions/

 Additional information on CppCon can be found here: 
 http://cppcon.org/

 Don't need a ticket to attend this one, all are welcome. I plan 
 on being there.


D's been explicitly mentioned in two talks that I've been to so 
far.

Atila
Sep 22 2016
parent reply cym13 <cpicard openmailbox.org> writes:
On Thursday, 22 September 2016 at 19:50:40 UTC, Atila Neves wrote:

 On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright 
 wrote:

 Wednesday 09/21/2016 8:30pm: Writing Secure C++

 CppCon is being hosted at the Meydenbauer Center in Bellevue. 
 Directions and parking information can be found here:

 http://www.meydenbauer.com/parking-directions/

 Additional information on CppCon can be found here: 
 http://cppcon.org/

 Don't need a ticket to attend this one, all are welcome. I 
 plan on being there.


 D's been explicitly mentioned in two talks that I've been to so 
 far.

 Atila


Which talks are those?
Sep 22 2016
parent Atila Neves <atila.neves gmail.com> writes:
On Thursday, 22 September 2016 at 21:21:06 UTC, cym13 wrote:

 On Thursday, 22 September 2016 at 19:50:40 UTC, Atila Neves 
 wrote:

 On Wednesday, 21 September 2016 at 22:32:27 UTC, Walter Bright 
 wrote:

 Wednesday 09/21/2016 8:30pm: Writing Secure C++

 CppCon is being hosted at the Meydenbauer Center in Bellevue. 
 Directions and parking information can be found here:

 http://www.meydenbauer.com/parking-directions/

 Additional information on CppCon can be found here: 
 http://cppcon.org/

 Don't need a ticket to attend this one, all are welcome. I 
 plan on being there.


 D's been explicitly mentioned in two talks that I've been to 
 so far.

 Atila


 Which talks are those?



Developing C++   Facebook Scale

and

Implementing `static` control flow in C++14


Atila
Sep 22 2016