Twitter is writing their own Scala compiler, with a parallel type checker! https://github.com/twitter/reasonable-scala