I want strongly and staticly typed shell scripts.
@liw How does that interact with external commands? Do you write typing wrappers for them?
@liw Who doesn't want it ?
@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.
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.