Can someone provide me with references for a succinct, lucid introduction to the ML module system and what problems it solves, and what shortcomings is has that are (partially?-)resolved by later variants?
Danny Gratzer wrote about this a while back: