TIL Fortran has a keyword PURE that allows you specify if code has side-effects: https://stackoverflow.com/a/30315370/509706 (effect-based languages are rare!)
miniblog.
Related Posts
It's weird how even pure languages tend to treat the Unix execution model as ambient state.
Are there any PLs that define a main function like this?
fn main(args, stdin, stdout, env) -> exit code
Old news, but I really like how node v12.17 will speculatively execute pure functions in the REPL.
We pack 5 introduces a slew of new static analysis features, including /*#__pure__*/
https://webpack.js.org/blog/2020-10-10-webpack-5-release/
(Every sufficiently advanced dev tool contains an ad-hoc, informally specified compiler?)