Page MenuHomePhabricator

ZObject model: Add a key to Z3 to mark a key as optional
Open, LowPublic


Adding a Z3K4/required of type Z40/Boolean with a default value of Z41/true

Event Timeline

Is this properly a property of the Key or of the Type which uses it?

Jdforrester-WMF renamed this task from Add a key to Z3 to mark a key as optional to ZObject model: Add a key to Z3 to mark a key as optional.Jun 2 2021, 5:28 PM

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.

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.

I am moving this to unphased for now, and we will see what happens once we have Maybe.

Aklapper added a subscriber: Aklapper.

@DVrandecic: Per emails from Sep18 and Oct20 and , 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!