I think running a typechecker on its target platforms has huge benefits.