Do you think we Cursive will be able to use specs to provide some of the benefits usually associated with statically typed language IDEs. (aka is spec useful enough in static analysis to pretend it’s static)
I’m shooting from the hip but broadly things like:
- Function called with args of wrong type
- Right-click “generate spec for defn”
- There’s a code path which won’t return the expected type
- (mumbles) this destructuring looks wrong
- code completion based on s/keys etc