Regarding would get a lot more funding somebody once said that objects vs modules is like working class vs ruling class: objects do all the work, modules

Regarding would get a lot more funding somebody once said that objects vs modules is like working class vs ruling class: objects do all the work, modules get all the credit. In case people were wondering, the 1ML project can be found here: https://www.mpi-sws.org/~rossberg/1ml https://www.mpi-sws.org/~rossberg/1ml. The key idea here is that ML-style modules (which in the past were though to need a separate module language) can be coded up into System F-omega (the "workhorse of modern compilation"). I don't think any of the 3 main guys behind it (Russo, Dreyer, Rossberg) works on modules all that much right now. That may explain the relatively tardy speed of development.