I want strongly and staticly typed shell scripts.

@liw How does that interact with external commands? Do you write typing wrappers for them?

@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
Social Nasqueron

Nasqueron is a budding community of creative people, writers, developers and thinkers. We focus on free culture, ethics and to be a positive change. We share values like respect, justice and equity.