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 m

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.