[jonstewart]

Hana Dusikova did this in C++ several years ago, with her CTRE library.

https://github.com/hanickadot/compile-time-regular-expressio...

Of course, it has all the usual tradeoffs of compile-time template programming.

[gpderetta]

Also relevant Boost.Expressive, by Eric Niebler, from 2007.