Adding a Z3K4/required of type Z40/Boolean with a default value of Z41/true
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 | T292892 Function model: Introduce a Union generic type | |||
| Resolved | cmassaro | T294135 Run All Validation as WikiFunctions | |||
| In Progress | DVrandecic | T296326 Discuss How to Implement Unions | |||
| Resolved | • AAssaf | T307699 Formalize the semantics of the function model |
Event Timeline
Comment Actions
Could this be covered by using a Maybe? I.e., a required Z6 would just be a Z3 of type String, while an optional Z6 would be a Z3 of type Maybe(String). This requires us to allow compound types, though.
Comment Actions
Yes, this is better covered with a Maybe.
This then should assume that if a key is not given the key has a void value so that we don't have to explicate it.
Comment Actions
I am moving this to unphased for now, and we will see what happens once we have Maybe.
Comment Actions
@DVrandecic: Per emails from Sep18 and Oct20 and https://www.mediawiki.org/wiki/Bug_management/Assignee_cleanup , I am resetting the assignee of this task because there has not been progress lately (please correct me if I am wrong!). Resetting the assignee avoids the impression that somebody is already working on this task. It also allows others to potentially work towards fixing this task. Please claim this task again when you plan to work on it (via Add Action... → Assign / Claim in the dropdown menu) - it would be welcome. Thanks for your understanding!
Comment Actions
Yes. And no.
Please see my opinion at https://www.wikifunctions.org/wiki/Wikifunctions_talk:Representing_identity#Proposal_6:_Multi-typed_lists