Comment by gkbrk

AI works much better when it gets immediate feedback from a good type checker