Comment by cutler

How to turn a kid off programming for life - choose Java as the teaching language. This kid had already started with Python, which is the natural choice for a first language, so why not just:

  import typing