Anthony, an organic computer scientist and self-proclaimed Luddite, argues that while strongly typed programming languages like Lean can offer provable properties and even some automatic programming, they cannot capture the full spectrum of real-world "side effects." He likens functional programming to an intricate bureaucracy that shields programmers from reality, suggesting that neglecting the open-ended nature of the real world can lead to harm from digital technology. Anthony points to historical examples like Therac-25 and the philosophical underpinnings of functional programming to support his view that the bureaucracy of code can obscure the complexities of the actual world. AI
IMPACT Argues that current programming paradigms, including those related to AI, may obscure real-world complexities and lead to harm.
RANK_REASON The item is an opinion piece by a named individual discussing the limitations of programming languages and their relation to real-world harm.
Read on Mastodon — sigmoid.social →
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
