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
I suspected the answer is No - mutation is only part of the cause, and that nominal subtyping is a contributing factor too.
1
Though my theory: Nominal has some benefits vs. structural.
Choose two: Structural subtypes, Fast Compile, Fast Field Access
1
1
could you have a compiler that lets you choose at compile time between the second two? E.g. Same syntax
1
1
Awesome! Also if func arguments happened to be constrained enough, I suspect they could be optimized without slowing compiles.
1
Replying to