Can Scala have a highly parallel typechecker?

If you’re interested in the details of how Scala works, such as its compiler, this article by Grzegorz Kossakowski is a good read. In the summary he states:

“I believe the architecture of Hack’s highly parallel and distributed typechecker can be stolen and brought to Scala. Scala’s rich type system poses some challenges that Hack’s typechecker implementators didn’t need to worry about but I don’t see inferred return types or path-depent types as showstoppers.”

Photo D8
Can Scala have a highly parallel typechecker