effective-rust

effective-rust copied to clipboard

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...

pandaman64

cannot infer an appropriate lifetime

4

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...

brendanzab

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()`...

pandaman64