On compositionality: from programming languages to nature and economics, by
julesh.com/2017/04/22/on- via
Conversation
What makes type-classes anti-compositional? The fact type-class instances aren't first class values?
1
1
I'm guessing it was because type classes require global coherence of instances across a package ecosystem.
Got it, thanks.
1