I wonder how much of this effect can be attributed to the popularization of nominal subtyping instead of structural.
Conversation
I think it’s more about the ease of constructing data flow through reference.
1
mutable references specifically?
1
even immutable references to effectful entities produce dependency graphs like that
1
1
Aren't those perceivable effects a result of some mutable reference somewhere? If all are eliminated, is the graph changed?
2
Replying to
yeah, there’s mutation somewhere if the effect is perceivable, but the mutation might be in reality