I hadn't heard of the example of rms' technical insight there, which is interesting. Not knowing enough about Ada, I wonder how the specification and implement

I hadn't heard of the example of rms' technical insight there, which is interesting. Not knowing enough about Ada, I wonder how the specification and implementation compare with Fortran 90 modules.