SE-0202 Amendment: Naming of the standard library random number generator

[gwendal.roue (Gwendal Roué)]

@Alejandro

it looks like Random is a namespace, designed to welcome some future random-related APIs, including generators: Random.xorshift128Plus, etc.

I said could

The current design states that Random is the default generator, rather than some empty namespace.

Exact. Still, after SE-0202, we have an identifier, Random, that's half a namespace, half a concrete type, with the caveats expressed in the OP.

I wish your full answer would have entered the Future Direction chapter of swift-evolution/proposals/0202-random-unification.md at main · swiftlang/swift-evolution · GitHub.

Because now it looks that what has a been formally accepted is a bad fit for your own envisioned future. I wish the namespacing of Random had been part of the pitch and review of SE-0202.