I think of FP practices as being young, but *Fortran* supports annotations for explicit inputs, outputs and purity!
miniblog.
Related Posts
Amusingly, parts of atom-beautify use Emacs to format code! https://github.com/Glavin001/atom-beautify/search?q=emacs&unscoped_q=emacs
Presumably there aren't many options for formatting of Verilog, VHDL or Fortran.
I've started reading Construction of Thinned Gated Single-Assignment Form by Paul Havlak, because I hear this SSA form is way underrated.
It uses a crazy archaic 3-way IF from Fortran as a motivating example:
IF (I) 10, 20, 30
This goes to 10/20/30 based on i being +ve/-ve/0!
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!)
