← Back to context Comment by whateveracct 10 hours ago You just do dictionary passing. 2 comments whateveracct Reply foldr 10 hours ago Like this, you mean? https://haskellforall.com/2012/05/scrap-your-type-classesFine in principle, but AFAIK it never really caught on because the ergonomics suck. Interfaces/traits/type classes do seem to be a popular feature across languages, for what it's worth. whateveracct 1 hour ago right but type classes are basically vtables aka dictionary passing but the compiler figures out which dictionary to summon for youbut the key is they build seamlessly on top of real parametric polymorphism. you still get a real "forall a." in your proposition language.Go fucked up early on with their core language design due to an inability to learn from the 1970s so now it's terminally dookie sadly
foldr 10 hours ago Like this, you mean? https://haskellforall.com/2012/05/scrap-your-type-classesFine in principle, but AFAIK it never really caught on because the ergonomics suck. Interfaces/traits/type classes do seem to be a popular feature across languages, for what it's worth. whateveracct 1 hour ago right but type classes are basically vtables aka dictionary passing but the compiler figures out which dictionary to summon for youbut the key is they build seamlessly on top of real parametric polymorphism. you still get a real "forall a." in your proposition language.Go fucked up early on with their core language design due to an inability to learn from the 1970s so now it's terminally dookie sadly
whateveracct 1 hour ago right but type classes are basically vtables aka dictionary passing but the compiler figures out which dictionary to summon for youbut the key is they build seamlessly on top of real parametric polymorphism. you still get a real "forall a." in your proposition language.Go fucked up early on with their core language design due to an inability to learn from the 1970s so now it's terminally dookie sadly
Like this, you mean? https://haskellforall.com/2012/05/scrap-your-type-classes
Fine in principle, but AFAIK it never really caught on because the ergonomics suck. Interfaces/traits/type classes do seem to be a popular feature across languages, for what it's worth.
right but type classes are basically vtables aka dictionary passing but the compiler figures out which dictionary to summon for you
but the key is they build seamlessly on top of real parametric polymorphism. you still get a real "forall a." in your proposition language.
Go fucked up early on with their core language design due to an inability to learn from the 1970s so now it's terminally dookie sadly