K1: type1, K2: type2?
Or just allowing Union(type1, type2) to be either of type1, type2 directly?
Description
Description
Status | Subtype | Assigned | Task | ||
---|---|---|---|---|---|
In Progress | DVrandecic | T282062 ZObject model: Add a key to Z3 to mark a key as optional | |||
Open | None | T290996 Support Optional Keys in Orchestrator | |||
Open | None | T314364 Use `data/definitions` Version of `Z983` in `function-orchestrator` Once We Have Unions | |||
Open | None | T292892 Function model: Introduce a Union generic type | |||
In Progress | DVrandecic | T296326 Discuss How to Implement Unions | |||
Resolved | • AAssaf | T307699 Formalize the semantics of the function model |
Event Timeline
Comment Actions
What would be the use of an untagged union? It doesn't make sense in the function model.