4 ms·
The tools make it very hard to do both at the same time. To pick a topic, is there something I could write shell-style scripts in that leans towards correctness
by justahuman74 4y ago
The tools make it very hard to do both at the same time.
To pick a topic, is there something I could write shell-style scripts in that leans towards correctness?
- csours 4y agoCorrectness needs a specification. Correctness hates side effects. Shell type scripts are all about side effects.
- pharmakom 4y agoYes! F# scripts Some features: - open-source - cross-platform - quick editing with syntax highlighting, type annotations etc. in VS Code - run in a single command (‘dotnet fsi script.fsx’) - type-safe but with global type inference - grab dependencies using directives in the script (no project manifests or global dependencies) The added safety of a typed language is fantastic for scripting because it’s not worth writing tests for most scripts.
- simonmic 4y agoHaskell (using https://docs.haskellstack.org/en/stable/GUIDE/#script-interpreter https://docs.haskellstack.org/en/stable/GUIDE/#script-interp...). The downside: requires 1. installing stack and 2. waiting for it to install ghc and libs on first run of the script.