[bitc-dev] Objects in BitC

[Sandro Magi]

Jonathan S. Shapiro wrote:
> So to answer your question: I think we have alternatives that fill some
> of the gaps, but in general, no, I don't think that we have any grand
> new inventions in the area of objects. What is really happening here is
> that implementing this very relatively simplistic object system proves
> to be much simpler than generalized existential types, and addresses all
> of the use cases that concern us.

Are these difficulties with existentials described anywhere?

Sandro