Hacker News Reader

Those are evaluated at compile time, C++’s aren’t guaranteed to be, they’re runtime checks.

Yes, static checking when available will have to figure into the toolchain so the compiler knows what to do. It's similar with Ada right now.