← Back to context

Comment by thealistra

2 days ago

My point is can you write a json deserializer with this, where allocation of every child is defacto optional, depending on input JSON?

As long as the verifier can be satisfied by wrapping the different results in a common type you should be fine. There has to be some way to appease it in that scenario as otherwise even trivial programs wouldn't be able to pass.