type-safe command-line verifier

[silky]

sometimes you want to run a command-line program and you send it args

oftentimes, you get those args wrong and the program does the wrong thing, or crashes

it'd be great if there was a way to verify the args, before you run it

some options:

• arg-parsing libraries could offer this as extra functionality: program -a a -b b -b b -c "hello" --verify would output it's interpretation; a bit like --dry-run for some programs
• some external tool that would just look at --help and do a best-guess to see if you got it right
• ???

[dcousens]

like @types/ packages in TypeScript, except for binary arguments