Allow Evaluator to Request Further Dereferencing

Closed, InvalidPublic

Actions

Can you give some more detail about what's needed here and why?

I thought we would need this for generic types, but I *think* we can fully resolve generic types inside the orchestrator in a way that lets the evaluator deserialize properly.

Now I remember: I think I was concerned about how we'd handle instantiations of Z10, especially when a list can contain any number of objects of a given type.

For example, how do we (finitely) express a list of strings of unspecified length? If we could assign a ZID to a generic, e.g. Z10106, then we could specify Z10(Z6) like this (Z10010 is the function that creates list types):

Z10106 =>
{ 
  Z1K1: 'Z7',
  Z7K1: 'Z10010',
  Z10010K1: 'Z6',
  Z10010K2: 'Z10106'
}