While it might not always be used, it would be interesting to see this implemented in a way that lets people reproduce an exact sequence of random outputs.
We could implement this as a tag and mechanism, namely <util.random_seed> and server.set_random_seed. Alternatively, we can add <util.random_seed> and <util.random[(<seed>)]. ...>, with no seed specified defaulting to the current seed used.
While it might not always be used, it would be interesting to see this implemented in a way that lets people reproduce an exact sequence of random outputs.
We could implement this as a tag and mechanism, namely
<util.random_seed>andserver.set_random_seed. Alternatively, we can add<util.random_seed>and<util.random[(<seed>)]. ...>, with no seed specified defaulting to the current seed used.