[m-users.] The new random module(s)

[Julian Fondren]

On 2019-09-04 23:40, Julien Fischer wrote:
> Hi Julian,
> 
> On Wed, 4 Sep 2019, Julian Fondren wrote:
> 
>> One benefit to the new code is that you don't need to use the FFI (or
>> read from a random device) just to get a random seed.
> 
> The intention here is that the stdlib will provide an interface to
> a random device on the system (/dev/random etc, whatever is appropriate
> for the underlying target language / platform).

oh... yeah. I assumed this was already happening with the new random
since it had a 'default seed', but that's actually a constant.

Even though there isn't an I/O argument, an :- initialize could set
a mutable that's then only ever read from the promise_pure'd init.