Typed Set Theory in C++11

Posted by mahrz on Sunday March 11, 2012 @12:30PM
from the bleedingmind.com dept.

http://www.bleedingmind.com/index.php/2012/03/04/set-theory-in-cpp11/

( 3 comments | 43 points | on HN )

Re:Typed Set Theory in C++11 by CountHackulus on Sunday March 11, 2012 @05:26PM (#3691334)

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.

[ Parent | on HN ]

Re:Typed Set Theory in C++11 by zrb on Monday March 12, 2012 @04:23AM (#3692713)

But isn't this what BOOST MPL does, at least partially?

[ Parent | on HN ]

Re:Typed Set Theory in C++11 by mahrz on Monday March 12, 2012 @06:43AM (#3692960)

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.

[ Parent | on HN ]