Get the latest tech news
Death to type classes
Have you ever seen a Number grazing in the fields? Or a Functor chirping in the trees? No? That’s because they’re LIES. LIES told by the bourgeoisie to keep common folk down.
Now it’s worth pointing out that we’ve got to do a fair bit of cabal work to make the compiler realize the instance. This is a lot nicer to use than having to use that strange mixin DSL, which is not hard, the Cabal errors are just bad in formatting and output prioritization. I’d actually love to see someone take Backpack more seriously and build an effect system on top of that, providing a bunch of default signatures and implementations.
Or read this on Hacker News
