The random module

Random numbers: bytes from the operating system’s secure source, and Generator, a fast seedable generator for everything else.

random is a module: bring it in with import random (and write random.next_int(1..>6)) or import names directly with import [Generator, shuffle] from random.

• Entropy: bytes, fill and secure_ulong, from the operating system, for keys, tokens and identifiers
• Generators: Generator, seeded from entropy or from a fixed seed, and next_int, next_double, next_bool, choose and shuffle on this thread’s own generator

Example

import random;

main(): int {
    var die = random.next_int(1..>6);            # 1 to 6
    var names = ["ada", "grace", "edsger"];
    random.shuffle(names);
    var key = random.bytes(32);                   # 32 secure bytes
    var replay = random.Generator(42);            # the same numbers every run
    print(replay.next_double());
    return 0;
}

Source: runtime/random/module.pep