The application of monads to C++ metaprogramming could be described as cargo cult programming, even if this post is a well-thought-out explanation of how it wor

The application of monads to C++ metaprogramming could be described as cargo cult programming, even if this post is a well-thought-out explanation of how it works. While it is true that they work to help organize libraries like Boost Proto, it is questionable whether that's the best or even a good way to accomplish that library's goals. There's a reason the metaprogramming-heavy parts of Boost are still generally avoided in many parts of the programming world. I see this as cargo cult because it appears as "monads are cool, and C++ templates are a weird functional language, let's do it that way" without much regard to whether monads, template metaprogramming or EDSLs are the right tools here.