What is a “multisorted algebra”, and how do I use it to solve “real problems”?
I believe he was talking about generic programming (he coined the term), whether meant in the context of this talk about the STL, or ‘at large’, in the sense of: programming against a sort of interface that describes something that could fit all (and hopefully several) types (hence multi-sorted), … … provided they have some … Read more