3 ms·
> why type classes have laws. No idea about other communities, but C++ programmers have understood this for ages. Stepanov put it quite nicely: “Algorithms are
by catnaroek 11y ago
> why type classes have laws.
No idea about other communities, but C++ programmers have understood this for ages. Stepanov put it quite nicely: “Algorithms are defined on algebraic structures.” And algebraic structures are defined by their equational laws.
- Sirenos 11y agoI always found it a bit amusing that learning Haskell actually helped me get a deeper understanding of C++ templates and metaprogramming.