You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
All the functions of hyogwa assume that given generators representing effectful computation are 'fresh' (i.e. never executed after the creation). Therefore, passing around effectful computation that was already evaluated have high possibility to cause unsound results. For this problem, we can help the users not to make invariants by adding invariant checkers that work at development mode.
function*foo(){constbar=baz()yield*baryield*bar// this can be problemetic}
The text was updated successfully, but these errors were encountered:
All the functions of hyogwa assume that given generators representing effectful computation are 'fresh' (i.e. never executed after the creation). Therefore, passing around effectful computation that was already evaluated have high possibility to cause unsound results. For this problem, we can help the users not to make invariants by adding invariant checkers that work at development mode.
The text was updated successfully, but these errors were encountered: