The last miles

[John Rose]

On Jul 13, 2023, at 1:52 PM, John Rose <john.r.rose at oracle.com> wrote:
> 
> The proposed “unification” would require us to somehow simulate larval objects in terms of today’s blank identity objects

P.P.S. That’s almost possible if you declare that the new opcode makes a larval value, but closing it off is very hard. You need an explicit end-larval transition to adult. The verifier would have to enforce this. Nightmare.