[jayd16]

Why not just use a language with checked nullability? What's the point of an LLM using a duck typing language anyway?

[aSanchezStern]

This post actually mostly uses the subset of Python where nullability is checked. The point is not to introduce new LLM capabilities, but to understand more about how existing LLMs are reasoning about code.