On Wednesday, 22 July 2020 at 06:16:44 UTC, WebFreak001 wrote:
On Wednesday, 22 July 2020 at 04:33:20 UTC, James Gray wrote:[...]it seems `choose` evaluates both arguments instead of using lazy evaluation. IMO this is a broken API to me but it has been like this for longer so this would be difficult to change. Additionally with regards to storing in memory this is another problem.[...]
Thank you very much.