You did! And maybe it is inevitable? I don't know. It'd be interesting to see different theories evolve, for sure. Maybe something in separation logic will mak

You did! And maybe it is inevitable? I don't know. It'd be interesting to see different theories evolve, for sure. Maybe something in separation logic will make it's way into mainstream type theory and into compilers at some point. What's cool is how much we're starting to see folks push the boundaries these days. :)