2 ms·
> 1. erased types (have to use behind pointer, so not shallow dynamic sizing) What prevents one from using a pointer like this already? I'm curious. > 2. Exis
by LoganDark 2y ago
> 1. erased types (have to use behind pointer, so not shallow dynamic sizing)
What prevents one from using a pointer like this already? I'm curious.
> 2. Existential types
Fair, I think.
> So we can build vtables by hand.
>
> Type safe API to any OOP ABI + tons of stuff OOP people never imagined....let's go!
Is this not already possible?
- steveklabnik 2y ago> Is this not already possible? It is, the anyhow crate does this, for example. It does require unsafe though.
- Ericson2314 2y agoI mean safely build vtables. Of course, we can already do everything unsafely.