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
Some unstructured notes about things we might want to support at some point:
Possible IDE features:
infer effects from effect holes
update effects (fix effects refactoring)
display inferred effects / types
what are better alternatives to stack traces?
Questions:
what effects are required by this function?
effect provenance: where does this effect come from? (racket like) -- since we already translate to capabilities, we can easily show this particular binding information to the user
what are potential handlers (call site analysis, called from)
given a handler: which calls to operations might be handled?
def bar(x: Int) = {
...
}
def foo(): Int / Print = <?
val x = foo();
x
?> // ?? =. <? () ?>
def bar() = {
val position = 42
position.<? { x => x + 1 } ?>
({ x => 42 })(5)
()
}
The text was updated successfully, but these errors were encountered:
Some unstructured notes about things we might want to support at some point:
Possible IDE features:
Questions:
The text was updated successfully, but these errors were encountered: