philh comments on What Programming Language Characteristics Would Allow Provably Safe AI?