Page MenuHomePhabricator

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

Description

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.