effect-routines-exploration
An experimental alternative to Rust sans-io that enables the direct style
Star
Fork
Watch

Commits on main

Brooklyn Zelenka
PDF guide
committed
Brooklyn Zelenka
Tagline
committed
Brooklyn Zelenka
Improve legibility
committed
Brooklyn Zelenka
Include Send/!Send proxy recommendation experiments
committed
Brooklyn Zelenka
Rename experiments/ to hosts/, promote scale/, and add a root README
committed
Brooklyn Zelenka
Add scale/: the same question on a larger program
committed
Brooklyn Zelenka
Bench the sans-io hosts, the end-to-end flow, and rerun on a quiet machine
committed
Brooklyn Zelenka
Trim the driver and the typed layer
committed
Brooklyn Zelenka
Benchmark every layer and every host
committed
Brooklyn Zelenka
Test every core, record and replay, and scope tokens to their driver
committed
Brooklyn Zelenka
Fix the host hangs, honour fan-out, and delete the dead reply API
committed
Brooklyn Zelenka
Move the mechanism out of the program crates
committed
Brooklyn Zelenka
Measure and judge the four styles
committed
Brooklyn Zelenka
Add the effects and coeffects styles, with every host
committed
Brooklyn Zelenka
Write up the prior art for the hosts experiments
committed
Brooklyn Zelenka
Put the typed Machine behind the byte layer
committed
Brooklyn Zelenka
Add Lua, Go and Elixir hosts, and the generated-binding variants
committed
Brooklyn Zelenka
Extract the mechanism into driver and host_ffi
committed
Brooklyn Zelenka
Add hosts/: a sans-io control and a capability greeter behind a C ABI
committed
Brooklyn Zelenka
Add actor deadlock analysis
committed
Brooklyn Zelenka
improve ER wasm bindings
committed
Brooklyn Zelenka
Add wasm reference impls
committed
Brooklyn Zelenka
Flesh out comparison table
committed
Brooklyn Zelenka
Use nicer human legble types
committed
Brooklyn Zelenka
Effect routines
committed
Brooklyn Zelenka
Experimenting...
committed