Of course we can. Do we want to? (My original aim was only to enable using it and not to force using it.)
I have heard somewhere that IO is many times slower (I think it was in the lecture on the compile-time regular-expressions). I'd really like to see something like this benchmark but with libc++ 9 or 10.
Once I'm done, we will see very rough numbers based on the integration tests. After that, I would like to at least use stdc++ with clang builds just to be sure we are compatible.
So with the libc++-10, some issues were resolved, however, alib2gui fails to link with libjsoncpp (it is built with libstdc++ and they have incompatible ABI).
Another issue is with a fixed ordering of regexp nodes (a+\eps) vs (\eps+a) in some regexp tests.
Last, integration tests somehow fail with timeouts as well. Have to investigate further.