Indeed. The only objectively valid measure of a programming language's simplicity is the size of its formal semantics, with a large penalty for any behavior lef

Indeed. The only objectively valid measure of a programming language's simplicity is the size of its formal semantics, with a large penalty for any behavior left undefined. Mathematics, unlike English, doesn't let you sweep details under the rug.