July 10, 2020
2:15 a.m.
Oh, sorry. I read you did "random pick from dict", but I hadn't read you did "random pick and mutate dict" use case or not. On Fri, Jul 10, 2020 at 3:08 PM Chris Angelico <rosuav@gmail.com> wrote:
On Fri, Jul 10, 2020 at 4:04 PM Inada Naoki <songofacandy@gmail.com> wrote:
On Fri, Jul 10, 2020 at 2:56 PM Chris Angelico <rosuav@gmail.com> wrote:
but it might be mutated in between. So the list would have to be reconstructed fresh every time.
Do you think the use case is common enough to add a feature to builtin type? I can not imagine.
Go back and reread my post, I already answered this and several other questions :)
ChrisA
-- Inada Naoki <songofacandy@gmail.com>