#Type that returns a random number
1 messages · Page 1 of 1 (latest)
no possible
also, it wouldn't be a random number if you'd get it's value as a type
why do you say so? they want a PRNG so access to true randomness isn't necessary, and arithmetic and bit shifts and such can be encoded in the type system, so i'm sure a simple PRNG could be written
if the type system can run Doom it can run a PRNG 🚎
I'm actually just curious on what the use case for this is
probably some form of game in the type system