TL;DR: Programming agents need strong typing and compiler-enforced correctness to get feedback.