Thread overview | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
|
September 21, 2016 Cppcon tonight at 8:30 in Bellevue | ||||
---|---|---|---|---|
| ||||
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. |
September 21, 2016 Re: Cppcon tonight at 8:30 in Bellevue | ||||
---|---|---|---|---|
| ||||
Posted in reply to Walter Bright | 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 |
September 21, 2016 Re: Cppcon tonight at 8:30 in Bellevue | ||||
---|---|---|---|---|
| ||||
Posted in reply to Brad Anderson | 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.
|
September 22, 2016 Re: Cppcon tonight at 8:30 in Bellevue | ||||
---|---|---|---|---|
| ||||
Posted in reply to Walter Bright | 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
|
September 22, 2016 Re: Cppcon tonight at 8:30 in Bellevue | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrei Alexandrescu | 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?
|
September 22, 2016 Re: Cppcon tonight at 8:30 in Bellevue | ||||
---|---|---|---|---|
| ||||
Posted in reply to Walter Bright | 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
|
September 22, 2016 Re: Cppcon tonight at 8:30 in Bellevue | ||||
---|---|---|---|---|
| ||||
Posted in reply to Atila Neves | 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?
|
September 22, 2016 Re: Cppcon tonight at 8:30 in Bellevue | ||||
---|---|---|---|---|
| ||||
Posted in reply to cym13 | 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
|
September 22, 2016 Re: Cppcon tonight at 8:30 in Bellevue | ||||
---|---|---|---|---|
| ||||
Posted in reply to Brad Anderson | 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
|
Copyright © 1999-2021 by the D Language Foundation