10 Jul
2020
10 Jul
'20
11:45 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
On Fri, Jul 10, 2020 at 4:04 PM Inada Naoki
wrote: On Fri, Jul 10, 2020 at 2:56 PM Chris Angelico
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