Comment by randomNumber7

> communication barrier between academics who are in a position to discuss 1ML in depth and people who are in a position to write new compilers

I think there is s.th. wrong when people working on type systems can't write compilers.