ML isn't that popular though right? Would it be fair to say GHC had the most impressive optimizations of mainstream language? With that said I certainly wonder

ML isn't that popular though right? Would it be fair to say GHC had the most impressive optimizations of mainstream language? With that said I certainly wonder why ML isn't more popular!