A Forlorn Hope of Fortran Modernisation
Summary
A long-form proposal advocates modernising Fortran with dependently typed FP concepts, arguing that backward compatibility is hindering progress and proposing a ML-inspired syntax, coarray parallelism, and a plan to gradually adopt modern features. The piece surveys manual vs automatic translation paths and emphasizes verification and modular design.