Infer, a static analysis tool, has a DSL for declaring forbidden patterns: https://code.facebook.com/posts/277643589367408/ (it models ASTs with *temporal* logic!)
Related Posts
I've been building an 'extract function' refactor feature. It's surprisingly nuanced.
Where do you put the extracted function? Once you've done the static analysis, what order do you use for the parameters?
It is *really* hard to find a good screenshot for a CLI tool when users are on a mobile browser.
This is the best I've come up with so far. I'm showing the terminal GUI to show where you'd use the tool.
I'm also trying several standalone screenshots to make it more comprehensible.
The games console market is fascinating: there's incentive to *not* provide upgraded models.
You want the guarantee that a game for $X just works on any $X purchased.
E.g. the Switch OLED has a bigger screen, and a better CPU than the original, but it's downclocked to match the original Switch's CPU.