4 ms·

If anyone is interested in Type systems and what's a type, I highly recommend watching the first 20 mins of Sean Parent's presentation: https://youtu.be/sWgDk-

If anyone is interested in Type systems and what's a type, I highly recommend watching the first 20 mins of Sean Parent's presentation: https://youtu.be/sWgDk-o-6ZE https://youtu.be/sWgDk-o-6ZE It will change the way you think about types after this.

hackaholicjack 6y ago
yes, this video is excellent
jdnier 6y ago
That video is titled CppCon 2015: Sean Parent "Better Code: Data Structures" Did you mean instead this video? https://www.youtube.com/watch?v=mYrbivnruYw https://www.youtube.com/watch?v=mYrbivnruYw Goals for Better Code - Implement Complete Types
- deleted 6y ago
  [deleted]
- dllthomas 6y ago
  Having watched both, I believe the parent comment meant the talk they linked. The first 20 minutes has some talk about representation and type and meaning. Both talks are interesting. Both are from a very C++ perspective, particularly the one you suggest. That doesn't make them wrong, by any means. Much of it generalizes, although depending on your background it might take varying amounts of effort to understand the generalizations. In the first talk in particular, I think he conflates (in a small way) type with representation in a way that's... not... ideal? But I don't think it does a lot of harm to the talk; he has very interesting things to say particularly about representation. Some of the point of both talks overlaps with the common admonishment to "make illegal states unrepresentable", but I don't think any fully implies the other. For a very different perspective on types, I highly recommend watching https://www.youtube.com/watch?v=3U3lV5VPmOU https://www.youtube.com/watch?v=3U3lV5VPmOU, although I don't highly recommend actually programming this way.
solipsism 6y ago
I watched it, very much looking for some illumination. But it was just an exhaustive and formal definition, not giving any insight (and not appearing to attempt to) Maybe I missed something, or maybe I need to watch more. Can you explain why you recommend this segment in more detail?
thanato0s 6y ago
I ended up watching the two videos from Sean Parent mentioned here and they are great! His explanations are simple but touch important considerations we should have about type, especially when we begin to create some ADT. Thanks a lot for that!
codebeaker 6y ago
Having watched the first 20 minutes of the linked video, I'm sure that's what OP wanted to share, but I got next to nothing from it. The entire talk is about memory layouts and how nothing has a meaning unless we ascribe a meaning to it. I don't really know what this has to do with types, or type systems, which are an algebraic concern, as far as I'm concerned.

hackaholicjack 6y ago

yes, this video is excellent

jdnier 6y ago

That video is titled CppCon 2015: Sean Parent "Better Code: Data Structures" Did you mean instead this video? https://www.youtube.com/watch?v=mYrbivnruYw https://www.youtube.com/watch?v=mYrbivnruYw Goals for Better Code - Implement Complete Types

deleted 6y ago
[deleted]
dllthomas 6y ago
Having watched both, I believe the parent comment meant the talk they linked. The first 20 minutes has some talk about representation and type and meaning. Both talks are interesting. Both are from a very C++ perspective, particularly the one you suggest. That doesn't make them wrong, by any means. Much of it generalizes, although depending on your background it might take varying amounts of effort to understand the generalizations. In the first talk in particular, I think he conflates (in a small way) type with representation in a way that's... not... ideal? But I don't think it does a lot of harm to the talk; he has very interesting things to say particularly about representation. Some of the point of both talks overlaps with the common admonishment to "make illegal states unrepresentable", but I don't think any fully implies the other. For a very different perspective on types, I highly recommend watching https://www.youtube.com/watch?v=3U3lV5VPmOU https://www.youtube.com/watch?v=3U3lV5VPmOU, although I don't highly recommend actually programming this way.

solipsism 6y ago

I watched it, very much looking for some illumination. But it was just an exhaustive and formal definition, not giving any insight (and not appearing to attempt to) Maybe I missed something, or maybe I need to watch more. Can you explain why you recommend this segment in more detail?

thanato0s 6y ago

I ended up watching the two videos from Sean Parent mentioned here and they are great! His explanations are simple but touch important considerations we should have about type, especially when we begin to create some ADT. Thanks a lot for that!

codebeaker 6y ago

Having watched the first 20 minutes of the linked video, I'm sure that's what OP wanted to share, but I got next to nothing from it. The entire talk is about memory layouts and how nothing has a meaning unless we ascribe a meaning to it. I don't really know what this has to do with types, or type systems, which are an algebraic concern, as far as I'm concerned.