Programming languages for AI

This article by Mark Seemann examines the suitability of various programming languages for AI-driven code generation, particularly by large language models (LLMs). It challenges the notion that high-level languages are only beneficial for human readability, discussing portability, static type systems, and linting as key features. The author argues that languages like C offer portability, while static type systems provide rigorous guardrails even when no human reviews the code. The piece critically evaluates the trend of 'vibe coding' and whether generating machine code directly is practical, considering non-determinism and platform dependencies. It is a technical analysis relevant to software engineering, AI, and programming language design.