On Jul 13, 2023, at 1:52 PM, John Rose <[email protected]> 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. 

Reply via email to