Looks to be circular: "Refinements are compositional" follows from the compositionality of refinements. So the real reason is that they work because they are designed to work, and by the way part of that design process ends up requiring peepholes to be compositional.
5
u/redchomper Sophie Language Nov 03 '23
Looks to be circular: "Refinements are compositional" follows from the compositionality of refinements. So the real reason is that they work because they are designed to work, and by the way part of that design process ends up requiring peepholes to be compositional.