Re: Cppcon tonight at 8:30 in Bellevue
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
Re: Cppcon tonight at 8:30 in Bellevue
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.
Re: Cppcon tonight at 8:30 in Bellevue
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
Re: Cppcon tonight at 8:30 in Bellevue
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?
Re: Cppcon tonight at 8:30 in Bellevue
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
Re: Cppcon tonight at 8:30 in Bellevue
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?
Re: Cppcon tonight at 8:30 in Bellevue
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
Re: Cppcon tonight at 8:30 in Bellevue
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
