Typed Set Theory in C++11
bleedingmind.com
Typed Set Theory in C++11
1–4 of 4 posts
Re: Typed Set Theory in C++11
#2This 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.
Re: Typed Set Theory in C++11
#3But isn't this what BOOST MPL does, at least partially?
Re: Typed Set Theory in C++11
#4But isn't this what BOOST MPL does, at least partially?
Boost MPL provides similar things with its type_list (more on the practical side though). But as far as I know, it's not yet C++11, so the overall syntax is a bit more clumsy.