Functional Design and Architecture is released (+DotD 45% discount on paper and e-book)

[janus]

Do any of these books expand on the ‘Blub paradox’ that @jaror mentioned? I haven’t seen a Haskell book on Backpack yet.

Type classes vs interfaces

I find this topic fascinating, because I feel like this is an instance of the Blub paradox for me. I don’t know if this is related to your viewpoint @graninas, but a while ago I also encountered a difference between type classes and backpack modules. I came up with Semigroup as the example: class Semigroup a where (<>) :: a -> a -> a Now the thing type classes can do and backpack modules can’t is to instantiate this with another parametrised (what Java calls generic) type: instance Semigro…