Typed Set Theory in C++11(bleedingmind.com)
bleedingmind.com
Typed Set Theory in C++11
http://www.bleedingmind.com/index.php/2012/03/04/set-theory-in-cpp11/
2 comments
This article was pretty good run, it's like using Haskell inside C++. Not exactly real-world useful, except in very limited scenarios, but still an interesting read.