effective-rust
effective-rust copied to clipboard
Results
3
effective-rust issues
Sort by
recently updated
recently updated
newest added
According to `miri`, there is a soundness bug around `as_mut` inside `perform_from!`, but the bug is hard to investigate as the type names in the log is too long to...
I'm experimenting with making a type checker using eff. Eventually I want to try implementing "[An Algebraic Approach to Typechecking and Elaboration](https://bentnib.org/posts/2015-04-19-algebraic-approach-typechecking-and-elaboration.html)" using it. ```rust use eff::{eff, Effect}; #[derive(Debug)] pub...
Currently, the effects of `Handled` is just `{effects of source computation} - {effects handled by handler}`. This makes performing effects within the handler difficult. A workaround is to call `embed()`...