Is it possible to have a proper compile time ACL for C++?
Arguably the Badge pattern as presented in the article is just an honor system that provides zero security, since it's trivial to forge a fake Badge: https://repl.it/repls/BountifulQuerulousCron
Of course, type systems are orthogonal to any real security, at least in most languages, and certainly all languages with no-holds-barred interface to machine code.
As a programmer, I would feel frustrated to have to figure this out instead of spending time on something a user would actually care about.