modernisation

本文探讨了Fortran在科学计算中受欢迎度下降的现状，并提出借助依赖类型对其进行现代化，以解决熟练Fortran程序员短缺的问题。