Built for the way software is written today.

1import silk.core.effect { Effect }
2import silk.io.logger { Logger, LogError }
3import silk.io.logger_native { StdoutLogger }
4 
5pub service Random {
6  effect fn next(self: &mut Self) -> u32
7}
8 
9effect fn program() -> ()
10  ! LogError
11  ? &mut Random | &mut Logger {
12  run Effect.log("Random number: {number}", &.{number: run Random.next()})
13}
14 
15pub struct Always42Random {}
16 
17impl Random for Always42Random {
18  effect fn next(self: &mut Self) -> u32 {
19    return 42
20  }
21}
22 
23pub effect fn main() -> ()
24  ! LogError {
25  let mut loggerProvider = StdoutLogger.make()
26  let mut randomProvider = Always42Random {}
27 
28  run program()
29    |> Effect.provideMut(&mut loggerProvider)
30    |> Effect.provideMut(&mut randomProvider)
31}