Jukka and Ivan will be visiting the Bay Area in September and we'd like to organize another meetup. Here are the proposed (tentative) logistics:
Date: Friday, Sept. 20
Time: 1pm - 5pm
Location: Facebook in Menlo Park (building and room TBD)
So far Ivan, Jukka, Guido, Rebecca, Martin (?), and myself have committed to attending. I'm also volunteering the rest of the Pyre team.
Please let us know in advance if you plan on attending so that we can book an adequately sized room.
Also now's the time to think about topics to discuss or presentations you want to give.
Looking at TypedDict it seems that it does not like the idea of superfluous keys existing in a dict. In my case I have a REST call returning JSON for an error and all I'm guaranteed is to get an "error" key. But there may be extra keys that provide more details about the specific error. Unfortunately I don't know the exhaustive list of keys so I can't use a TypedDict with `totality == False` to try to be complete.
I can't think of any way to somehow say "require/expect this one key, but other keys are OK". Am I missing anything that would let me do this?