Tag
This article examines the declining popularity of Fortran in scientific computing and proposes modernizing it with dependent types to address the shortage of skilled Fortran programmers.