oh my god hejlsberg pitches type-checking as enabling AI. he's not wrong, but this is where we are at now