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. Bo

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.