Hacker News new | ask | show | jobs
by Rochus 804 days ago
Which require runtime to check, isn't it?

Anyway, such constraints are also available in GN, and in CMake or Autotools you can implement them yourself, but they suffer from the same restriction I mentioned (not amenable to static analysis, limited verifiability at runtime due to combinatorial explosion of possible system states, etc.).