3 ms·

I wouldn't call the "cost of abandoning global coherence" to be "high." Outside of data structures that depend on typeclass instances (like Set), it doesn't esp

I wouldn't call the "cost of abandoning global coherence" to be "high." Outside of data structures that depend on typeclass instances (like Set), it doesn't especially harm my ability to reason about my or others' code in my experience. And the data structures issue (what happens when I join two Sets with potentially different Order instances) can be solved with Scala's dependent type features I believe.

lmm 11y ago
> And the data structures issue (what happens when I join two Sets with potentially different Order instances) can be solved with Scala's dependent type features I believe. Not really. There's no way to enforce that each Order has a singleton type which is what you'd need to resolve that.