blob: 795bad1ddc1807037ff5cca5ad4b67b772139e38 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# MIT License, Copyright (c) 2024 Marvin Borner
# generates three pseudo-random integers using a state monad
# printf <seed:number> | bruijn rng-state.bruijn
:import std/Combinator .
:import std/String .
:import std/Number .
:import std/Monad/State .
max (+1000)
rand [[[0 1 1]] rng]
rng (+1103515245) ⋅ 0 + (+12345) % max
rand-bool map even? rand
# accumulating bind (reversed)
triple1 rand >>= (rand >>= (rand >>= [[[[[0 3 [0 3 [0 3 [[0]]]]]]]]]))
:test ((triple1 (+50) [[1]]) =? (+745)) ([[1]])
# normal bind
triple2 rand >>= [rand >>= [rand >>= [[[0 4 [0 4 [0 4 [[0]]]]]]]]]
:test ((triple2 (+50) [[1]]) =? (+595)) ([[1]])
main string→number → triple2
|
