News for hackers. Stuff that matters.
Re:Formal methods only solve half my problems by pharmakom on Saturday June 04, 2022 @06:08AM (#31618683)
Yes! 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.

There are no comments on this comment yet.