On Wednesday, 30 November 2016 at 12:28:28 UTC, Ilya Yaroshenko
wrote:
Of course they can work with random devices. It looks strange
to me to have explicit API difference between engines and
devices. A random devices can be marked as random engines or we
can add a simple generic adaptor (Device->Engine) for them.
The terminology here (from the C++11 <random> standard) is:
* generator == source of uniformly-distributed random bits
* engine == pseudo-random generator (i.e. seedable sequences)
* device == 'truly random' generator
I will be happy to se your PR for random devices to mir-random.
I'll see what I can do.
