That's great for category theory.
If most people are confused why they're in a programming language, maybe it's time to admit that a language is influential but not made for general purpose productivity.
If most people are confused why they're in a programming language, maybe it's time to admit that a language is influential but not made for general purpose productivity.
Quite sure a lot of people hate C++'s template programming.
> They’re simple enough that they can be explained in a short article, so that causes people to write lots of articles about them.
Or ... there are a lot of articles because people keep finding new ones to read because they still don't get it after reading the previous 100 articles.
The extremes of template meta programming are self imposed by people being fancy while writing libraries and the value is questionable. On top of that no one thinks that C++ templates are the ideal way to do complex meta programming.
That's a bit of an understatement, seeing as it's... I mean is it even possible to write a non-trivial application without accidentally implementing a monad?
Most people write monads all the time, and then their head explodes when someone calls it by its name.