はてなブックマーク

Almost Solving Instant Insanity with C++ templates In the latest edition of the Monad Reader, Conrad Parker wrote a solution to Instant Insanity using only Haskell's type system. While reading, I was immediately struck by how closely Haskell's parameterized types correspond to C++ templates. To see how far I could push this connection, I endeavoured to translate Conrad's code into a C++ metaprogr