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
Replying to
even immutable references to effectful entities produce dependency graphs like that
Replying to
Aren't those perceivable effects a result of some mutable reference somewhere? If all are eliminated, is the graph changed?
2
I suspected the answer is No - mutation is only part of the cause, and that nominal subtyping is a contributing factor too.
1
Show replies