Fascinating discussion of how Hack's typechecker is fast and highly parallelised, and applying it to Scala: https://medium.com/@gkossakowski/can-scala-have-a-highly-parallel-typechecker-95cd7c146d20