ps : it seems to me that this is exactly what the haskell compiler do with type classes <- layman opinion
To resume my goal (last lonely message I promise), how can you
statically check a type implement an interface without making
this type inherit the interface (otherwise std.traits would do
it) ?
- D's type classes pattern ? matovitch via Digitalmars-d-learn
- Re: D's type classes pattern ? matovitch via Digitalmars-d-learn
- Re: D's type classes pattern... matovitch via Digitalmars-d-learn
- Re: D's type classes pat... matovitch via Digitalmars-d-learn
- Re: D's type classes... matovitch via Digitalmars-d-learn
- Re: D's type classes pattern ? weaselcat via Digitalmars-d-learn
- Re: D's type classes pattern... matovitch via Digitalmars-d-learn
- Re: D's type classes pat... matovitch via Digitalmars-d-learn
- Re: D's type classes pat... Ali Çehreli via Digitalmars-d-learn
- Re: D's type classes pat... anonymous via Digitalmars-d-learn
- Re: D's type classes... matovitch via Digitalmars-d-learn
- Re: D's type cl... bearophile via Digitalmars-d-learn
- Re: D's typ... matovitch via Digitalmars-d-learn
- Re: D's type classes pattern ? Ali Çehreli via Digitalmars-d-learn