Human Won’t Replace Python

The argument that natural language will replace formal programming languages like Python is gaining traction, suggesting a new level of abstraction in software development. This perspective posits that "Human" is the new programming language, democratizing software creation for everyone. However, a critical distinction exists between formal languages, which are fully-specified, and natural languages, which are inherently ambiguous and underspecified. This fundamental difference is why formal programming languages will remain essential for creating reliable and trustworthy software, as ambiguity in natural language leads to unpredictable AI behavior.