Ross Tate

@Horcrux7 In the MVP doc, it suggests that v-tables be implemented using a struct, but you're using a numeric index. Could you give some background as to why?

That all makes sense. My concern is that using an `i32` seems likely to break down when we eventually get to supporting separate compilation. But if you plan on evaluating...

Do you have an application for downcasting an `anyref` to a `funcref`? In #100, there was discussion of how to compile OCaml to the current proposal, e.g. [here](https://github.com/WebAssembly/gc/issues/100#issuecomment-654214132), and it...

I find the idea of RTT dictionaries interesting, but I am confused about some of the applications. One thing in particular is I am not sure why this would be...

That does seem like an improvement. But I am still concerned that there will be frequent collisions, both due to lots of elements (classes tend to have more virtual methods...

Thanks for putting this together, @jakobkummerow! > Ross' original JVM test used an array length of 1000, where that optimization is not applicable. There is another optimization that might have...

Very interesting! Thanks for all the effort, @jakobkummerow!

> AFAICS, the extension does not change the worst-case complexity of type checking. You could expand all type instantiations in a linear pre-pass before checking. This linear pre-pass is only...

Thanks for the nice clarification on soundness vs. contracts, @rossberg! #99 starts with a useful question: > Is Interface Types an isolation mechanism, or an interfacing mechanism? My takeaway from...

Thanks for the cool thoughts on components, @lukewagner! Interestingly, the exception you say you need isn't actually necessary for your use case. It's possible to design a static control-isolation system...