Compare commits
No commits in common. "4952b06c2cec453fa3c09de152a53f784073e2a408eefb2fd795b8bc422e308e" and "4ec7d300c953718992c9d90fa1aa2480838bfcb90763e6e396ded72da8156dd2" have entirely different histories.
4952b06c2c
...
4ec7d300c9
2 changed files with 7 additions and 7 deletions
12
index.sz
12
index.sz
|
|
@ -39,14 +39,14 @@ build it.
|
||||||
ConcurrentML brings the multithreading story for bjolang into the 1990s. It uses events that can be combined and synced on, meaning you can build trees of events and then preform them. This is indeed an extra layer for most operations in cml compared to CSP-inspired things, but allows us to write composable events. The function @code{within} returns a new event can be composed with other events. You can of course perform @code{within} in golang by writing a special function that races two fibers, but the composable version is not writeable.
|
ConcurrentML brings the multithreading story for bjolang into the 1990s. It uses events that can be combined and synced on, meaning you can build trees of events and then preform them. This is indeed an extra layer for most operations in cml compared to CSP-inspired things, but allows us to write composable events. The function @code{within} returns a new event can be composed with other events. You can of course perform @code{within} in golang by writing a special function that races two fibers, but the composable version is not writeable.
|
||||||
|
|
||||||
@codeblock[#:lang "bjolang"]{
|
@codeblock[#:lang "bjolang"]{
|
||||||
(: within (-> Duration (Event %a) (Event (Option %a))))
|
(: within (-> int (Event %a) (Event (Option %a))))
|
||||||
(defun (within d ev)
|
(defun (within ms ev)
|
||||||
(choose (wrap ev #(Some &))
|
(choose (wrap ev #(Some &))
|
||||||
(wrap (timeout d) (fun (u) None))))
|
(wrap (timeout ms) (fun (u) None))))
|
||||||
|
|
||||||
(sync (within (milliseconds 20) (chan-recv kitchen))) ;; => None, and nothing is consumed
|
(sync (within 20 (chan-recv kitchen))) ;; => None, and nothing is consumed
|
||||||
(sync (within (milliseconds 500) (chan-recv kitchen))) ;; => (Some "dinner")
|
(sync (within 500 (chan-recv kitchen))) ;; => (Some "dinner")
|
||||||
(sync (within (milliseconds 20) (spawn-evt (count-to 1000)))) ;; works on fibers too
|
(sync (within 20 (spawn-evt (count-to 1000)))) ;; works on fibers too
|
||||||
}
|
}
|
||||||
|
|
||||||
This sums every line and every char read from stdin. When the port is closed, the result is printed using the show function from (std fmt).
|
This sums every line and every char read from stdin. When the port is closed, the result is printed using the show function from (std fmt).
|
||||||
|
|
|
||||||
2
manual
2
manual
|
|
@ -1 +1 @@
|
||||||
Subproject commit cefa2313add8eeac492ae7e60a215583394f494c25ac3b1e1df312a3d34581f4
|
Subproject commit 82adbb03a4912010d55935170159a2c172e392fefb512939d5f3c3c19c8935ec
|
||||||
Loading…
Add table
Add a link
Reference in a new issue