It sounds like the feature you're highlighting here is static checking at compile-time of how routes are going to resolve at run-time. Is that right?

Afaict Perl 6 covers this case:

http://jnthn.net/papers/2015-fosdem-static-dynamic.pdf#page=...

Or am I missing something?