Critique of Static Type Systems: Extending Beyond OOP to Functional Programming
By
ksymph
An everything bagel for the brain. Substantive, layered, well-seasoned.
Summary
The article critiques the limitations of static type systems, extending Casey Muratori's critique from OOP to functional programming. It discusses the 'correctness hierarchy' of type systems, with languages like Idris and Haskell at the top, and highlights the challenges in making 'illegal states unrepresentable.' The piece argues that this issue is pervasive across programming paradigms.
Key quotes
· 3 pulledType systems are often ranked in a 'correctness hierarchy', with Idris/Haskell at the top, Java/C# in the middle, Python/JavaScript at the bottom.
The problem extends beyond OOP to encompass a broader pattern in static type systems, particularly functional programming approaches that attempt to 'make illegal states unrepresentable.'
Building on Casey Muratori's critique of 'compile time hierarchies that match the domain model,' this problem extends beyond OOP.
You might also wanna read
NVIDIA Announces "Hack for Impact" London Event for Autonomous AI Agent Development
NVIDIA is hosting a "Hack for Impact" event in London, challenging participants to build autonomous agentic applications using open-source m
luma.com·50m ago
Four practical steps to control Azure Foundry token costs for agentic AI workloads
This article provides practical guidance on controlling token costs in Microsoft Azure Foundry, particularly for agentic AI workloads where
purplefrogsystems.com·2h ago
MerLean-Prover: A Recursive Agent Harness for Lean 4 Theorem Proving Outperforms Baselines
MerLean-Prover is an end-to-end Lean4 theorem prover that replaces 'sorry' declarations with kernel-checkable proofs using three agent types
arxiv.org·2h ago
Why small pull request policies can backfire on software quality
The article critiques a common software engineering policy that limits pull requests (PRs) to small sizes (e.g., 500 lines, few files). Whil
apenwarr.ca·4h ago
How Anthropic contains Claude's expanding access across its products
Anthropic describes how it has evolved its approach to granting Claude, its AI assistant, increasingly broad access to internal systems over
anthropic.com·5h ago
Testing Cursor's Jira integration: How ticket quality affects AI agent performance
Cursor launched a Jira integration that lets developers assign tickets directly to an AI agent, eliminating context switching. The author te
bit.ly·5h ago