--- title: "Programming languages for AI" url: https://daily.dev/posts/programming-languages-for-ai-knuqwjcd2 source_url: https://blog.ploeh.dk/2026/03/30/programming-languages-for-ai/ type: article source: "ploeh blog" published: 2026-03-30T06:04:11.606Z updated: 2026-03-30T06:04:36.807Z tags: ["llm", "vibe-coding"] reading_time: 7 upvotes: 9 comments: 1 language: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Programming languages for AI **[ploeh blog](https://daily.dev/sources/ploeh)** · 7 min read · 9 upvotes · 1 comments ## Summary Mark Seemann argues that if LLMs are writing all code, the choice of programming language still matters — not for human readability, but for portability, security, and verifiability. He critiques the notion that LLMs could just generate machine code or C, pointing out the safety and correctness risks. Instead, he advocates for languages with strong static type systems, algebraic data types, and ideally dependent or refinement types. He suggests an AI-first language should be designed for maximum verifiability rather than ease of writing, coining the idea of 'design by inconvenience' for machine-generated code. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Community discussion Top comments from developers on daily.dev. **@khauma** · 1 upvotes > Very interesting idea. ## Similar posts on daily.dev - [Programming Languages and Type Safety in the Era of LLMs](https://daily.dev/posts/programming-languages-and-type-safety-in-the-era-of-llms-4uc7pjbzi) · The Coded Message · 16 upvotes · 1 comments - [Does code quality still matter?](https://daily.dev/posts/does-code-quality-still-matter--az8tkl4ww) · ploeh blog · 10 upvotes · 11 comments - [Why Some Companies Are Pulling Back on AI Coding](https://daily.dev/posts/why-some-companies-are-pulling-back-on-ai-coding-pfrs6ovwx) · SD Times · 2 upvotes · 1 comments --- Tags: [#llm](https://daily.dev/tags/llm), [#vibe-coding](https://daily.dev/tags/vibe-coding) [View this post on daily.dev](https://daily.dev/posts/programming-languages-for-ai-knuqwjcd2)