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

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!