coroutines.ml
· 821 B · OCaml
Sin formato
Playground
open Effect
open Effect.Deep
type _ Effect.t += Yield : unit t
type status =
| Complete
| Suspended of (unit, status) continuation
let start (f : unit -> unit) : status =
match f () with
| () ->
Complete
| effect Yield, cont ->
Suspended cont
let resume co =
match co with
| Complete ->
Invalid_argument "Can't resume completed quotation" |> raise
| Suspended k ->
continue k ()
let yield () = perform Yield
let task () =
"A" |> print_endline |> yield ;
"B" |> print_endline |> yield ;
"C" |> print_endline
let () =
1 |> print_int |> print_newline ;
let co = start task in
2 |> print_int |> print_newline ;
let co = resume co in
3 |> print_int |> print_newline ;
resume co |> ignore
| 1 | open Effect |
| 2 | open Effect.Deep |
| 3 | |
| 4 | type _ Effect.t += Yield : unit t |
| 5 | |
| 6 | type status = |
| 7 | | Complete |
| 8 | | Suspended of (unit, status) continuation |
| 9 | |
| 10 | let start (f : unit -> unit) : status = |
| 11 | match f () with |
| 12 | | () -> |
| 13 | Complete |
| 14 | | effect Yield, cont -> |
| 15 | Suspended cont |
| 16 | |
| 17 | let resume co = |
| 18 | match co with |
| 19 | | Complete -> |
| 20 | Invalid_argument "Can't resume completed quotation" |> raise |
| 21 | | Suspended k -> |
| 22 | continue k () |
| 23 | |
| 24 | let yield () = perform Yield |
| 25 | |
| 26 | let task () = |
| 27 | "A" |> print_endline |> yield ; |
| 28 | "B" |> print_endline |> yield ; |
| 29 | "C" |> print_endline |
| 30 | |
| 31 | let () = |
| 32 | 1 |> print_int |> print_newline ; |
| 33 | let co = start task in |
| 34 | 2 |> print_int |> print_newline ; |
| 35 | let co = resume co in |
| 36 | 3 |> print_int |> print_newline ; |
| 37 | resume co |> ignore |