Модуль Случайные числа

module Random: sig .. end

Генераторы псевдослучайных чисел (ПСПЧ).

С несколькими областями, каждая область имеет свой собственный генератор, который развивается независимо от генераторов других областей. Когда область создается, её генератор инициализируется путем разделения состояния генератора, связанного с родительской областью.

В отличие от этого, все потоки в пределах области используют один и тот же локальный генератор области. Независимые генераторы можно создать с помощью функции Random.split и использовать с функциями из модуля Random.State.

Основные функции

val init : int -> unit

Инициализирует локальный генератор области, используя аргумент в качестве начального значения. Одно и то же начальное значение всегда будет генерировать ту же последовательность чисел.

val full_init : int array -> unit

То же, что и Random.init, но принимает больше данных в качестве начального значения.

val self_init : unit -> unit

Инициализирует локальный генератор области с случайным начальным значением, выбранным зависимым от системы способом. Если /dev/urandom доступен на хост-машине, он используется для предоставления высокослучайного начального значения. В противном случае, менее случайное начальное значение вычисляется из системных параметров (текущее время, идентификаторы процессов, локальное состояние области).

val bits : unit -> int

Возвращает 30 случайных битов в неотрицательном целочисленном значении.

До версии 5.0.0 использовался другой алгоритм (влияет на все последующие функции)

val int : int -> int

Random.int bound возвращает случайное целое число между 0 (включительно) и bound (исключительно). bound должно быть больше 0 и меньше 2³⁰.

val full_int : int -> int

Random.full_int bound возвращает случайное целое число между 0 (включительно) и bound (исключительно). bound может быть любым положительным целым числом.

Если bound меньше 2³⁰, Random.full_int bound равно Random.int bound. Если bound больше 2³⁰ (на 64-битных системах или в нестандартных средах, таких как JavaScript), Random.full_int возвращает значение, где Random.int вызывает Invalid_argument.

С версии 4.13.0

val int32 : Int32.t -> Int32.t

Random.int32 bound возвращает случайное целое число между 0 (включительно) и bound (исключительно). bound должно быть больше 0.

val nativeint : Nativeint.t -> Nativeint.t

Random.nativeint bound возвращает случайное целое число между 0 (включительно) и bound (исключительно). bound должно быть больше 0.

val int64 : Int64.t -> Int64.t

Random.int64 bound возвращает случайное целое число между 0 (включительно) и bound (исключительно). bound должно быть больше 0.

val float : float -> float

Random.float bound возвращает случайное число с плавающей точкой между 0 и bound (включительно). Если bound отрицательно, результат отрицателен или равен нулю. Если bound равно 0, результат равен 0.

val bool : unit -> bool

Random.bool () возвращает true или false с вероятностью 0,5 каждое.

val bits32 : unit -> Int32.t

Random.bits32 () возвращает 32 случайных бита как целое число между Int32.min_int и Int32.max_int.

С версии 4.14.0

val bits64 : unit -> Int64.t

Random.bits64 () возвращает 64 случайных бита как целое число между Int64.min_int и Int64.max_int.

С версии 4.14.0

val nativebits : unit -> Nativeint.t

Random.nativebits () возвращает 32 или 64 случайных бита (в зависимости от разрядности платформы) как целое число между Nativeint.min_int и Nativeint.max_int.

С версии 4.14.0

Расширенные функции

Функции из модуля Random.State манипулируют текущим состоянием генератора случайных чисел явно. Это позволяет использовать один или несколько детерминированных ПСПЧ, даже в многопоточной программе, без вмешательства других частей программы.

module State: sig .. end

val get_state : unit -> State.t

get_state() возвращает свежую копию текущего состояния локального генератора области (который используется основными функциями).

val set_state : State.t -> unit

set_state s обновляет текущее состояние локального генератора области (который используется основными функциями), копируя состояние s в него.

val split : unit -> State.t

Генерирует новое состояние ПСПЧ из текущего состояния локального генератора области, используемого стандартными функциями. (Состояние локального генератора области изменяется.) См. Random.State.split.

С версии 5.0.0