Newbie questions about Pliant

Newbie questions about Pliant

generating a random integer of any length

generate_id gives alphanumeric, but I just want random N digits.
Message posted by maybe Boris Reitman on 2008/09/22 17:06:01
How can I generate a sequence of random digits of any length requested ?
Whats the best way to do it ?

Message posted by maybe Hubert Tonneau on 2008/09/22 17:10:04
In order to generate pseudo random:

module "/pliant/language/unsafe.pli"
var Int size := ...
var Str s := repeat size " "
memory_random s:characters s:len

In order to generate strong random:

module "/pliant/util/crypto/random.pli"
var Intsize := ...
var Str s := random_string size
Message posted by maybe Hubert Tonneau on 2008/09/22 17:15:47
Maybe I should have added that it will generate a string full of random bits.

If you want digits, you might do:

module "/pliant/util/crypto/intn.pli"
var Int size := ...
var Str s := string (random 10n^size)

or just:

var Intn i := random 10n^size