I want strongly and staticly typed shell scripts.

@joeyh That's a step in the right direction, but doesn't get where I (unrealistically) want to be: it uses the Haskell type system to generate shell scripts, but that's not enough to check that the generated shell scripts only invoke command that exist, and the commands' comand line arguments are correct.

Sign in to participate in the conversation
Octodon

Octodon is a nice general purpose instance. more