Random numbers
| Run Settings | |
|---|---|
| Language | ATS |
| Language Version | |
| Run Command |
| Snippet Metadata | |
|---|---|
| Owner | Arets Paeglis |
| Created | 9 years ago |
| Modified | 9 years ago |
| Visibility | Public |
#include "share/atspre_staload.hats"
staload STDLIB = "libc/SATS/stdlib.sats"
staload TIME = "libc/SATS/time.sats"
staload UN = "prelude/SATS/unsafe.sats"
implement main0 () = () where
{
val () = $STDLIB.srand48 ($UN.cast {lint} ($TIME.time_get ())) // seeding the RNG using current time
val () = println! ($STDLIB.drand48 ())
}
| Editor Settings | |
|---|---|
| Theme | |
| Key bindings | |
| Full width | |
| Lines |