Comment by DonHopkins
2 hours ago
Donald Rumsfeld forgot the zero-sized unknown: you know its type, you know its complete value, but you don't know which instance it is.
https://news.ycombinator.com/item?id=12975257
> COM is essentially a formal way of using C++ vtables [1] from C and other languages, so you can create and consume components in any language, and call back and forth between them. It's a way of expressing a rational subset of how C++ classes work and format in memory, in a way that can be implemented in other languages.
> It was the outcome of the C / C++ / Visual Basic language wars at Microsoft.
> you know its type, you know its complete value, but you don't know which instance it is.
Is it an incoherent view to consider there to only be one instance? I understand Rust considers () its "unit type" a ZST.
Reading https://en.wikipedia.org/wiki/Unit_type, your question "which instance is it" seems equivalent to asking Python "but which None instance is it?"