惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

J
Java Code Geeks
aimingoo的专栏
aimingoo的专栏
Martin Fowler
Martin Fowler
C
Check Point Blog
G
Google Developers Blog
V
Visual Studio Blog
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
Google DeepMind News
Google DeepMind News
人人都是产品经理
人人都是产品经理
有赞技术团队
有赞技术团队
MongoDB | Blog
MongoDB | Blog
月光博客
月光博客
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
大猫的无限游戏
大猫的无限游戏
D
Docker
Hugging Face - Blog
Hugging Face - Blog
The GitHub Blog
The GitHub Blog
博客园 - 三生石上(FineUI控件)
A
About on SuperTechFans
Recent Announcements
Recent Announcements
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
阮一峰的网络日志
阮一峰的网络日志
Stack Overflow Blog
Stack Overflow Blog
Vercel News
Vercel News

DEV Community

Authentication Security Deep Dive: From Brute Force to Salted Hashing (With Java Examples) Why AI Systems Don’t Fail — They Drift Spilling beans for how i learn for exam😁"Reinforcement Learning Cheat Sheet" I Replaced Chrome with Safari for AI Browser Automation. Here's What Broke (and What Finally Worked) How Python Borrows Other People's Work The $40 Architecture: Processing 1 Billion API Requests with 99.99% Uptime Vibe Coding: A Workflow Guide (From Zero to SaaS) Most webhook security guides protect the wrong side. The scary part is delivery. Headless CMS for TanStack Start: Build a Blog with Cosmic EU Age Verification App "Hacked in 2 Minutes" — What Actually Happened Comfy Cloud’s delete function does not actually remove files Running AI Models on GPU Cloud Servers: A Beginner Guide Event-driven media intelligence with AWS Step Functions and Bedrock I scored 500 AI prompts across 8 quality dimensions — here's what broke How to Call Google Gemini API from Next.js (Free Tier, No Backend Needed) The Portal Protocol: Reclaiming Human Connection in the Age of AI How to Fix Your Team's Scattered Knowledge Problem With a Self-Hosted Forum Intro to tc Cloud Functors: A Graph-First Mental Model for the Modern Cloud Designing Multi-Tenant Backends With Both Ownership and Team Access I Built a Neumorphic CSS Library with 77+ Components — Here's What I Learned PostgreSQL Performance Optimization: Why Connection Pooling Is Critical at Scale Cómo construí un SaaS multi-rubro para gestionar expensas en Argentina con FastAPI + Vue 3 🚀 I Built an Ethical Hacking Scanner Tool – Open Source Project I Replaced /usage and /context in Claude Code With a Single Statusline A Pythonic Way to Handle Emails (IMAP/SMTP) with Auto-Discovery and AI-Ready Design I Collected 8.9 Million Polymarket Price Points — Here's What I Found About How Markets Really Move EcoTrack AI — Carbon Footprint Tracker & Dashboard Everyone's Using AI. No One Agrees How. 5 self-hosted ebook managers worth trying in 2026 Building Your First AI Agent with LangChain: From Chatbot to Autonomous Assistant
From Rigidity to Explicitness: How AI Changes the Role of...
Remo H. Jans · 2026-05-06 · via DEV Community

For a long time, software engineering has talked about a familiar trade-off: rigid vs flexible systems.

  • Static typing vs dynamic typing
  • Relational databases vs schema-less storage
  • Strict architectures vs “just ship it” codebases

The usual story is simple: rigidity slows you down, flexibility speeds you up.

But this framing is becoming less useful.

In the context of AI-assisted development, the real axis of optimization is shifting away from rigidity vs flexibility and toward something more precise:

implicit systems vs explicit systems

And that shift changes how we should think about many foundational technologies.


The old model: speed vs structure

Traditionally, we’ve optimized software systems around a few competing forces:

  • Solo developers prefer speed and flexibility
  • Teams prefer structure and predictability
  • Large systems gradually accumulate constraints to manage complexity

This is why tools like :contentReference[oaicite:0]{index=0} have thrived for rapid iteration, while systems like :contentReference[oaicite:1]{index=1} gained adoption as teams and codebases scaled.

Similarly:

  • NoSQL systems optimized for flexibility and scaling
  • SQL systems optimized for consistency and relational integrity

The underlying assumption was always the same:

Structure slows you down locally, but helps you scale globally.

That assumption is still true—but incomplete.


The missing variable: AI changes the bottleneck

AI tools fundamentally change what part of the development process is expensive.

Writing code is becoming cheaper.

What remains expensive is:

  • verifying correctness
  • ensuring integration consistency
  • understanding system behavior
  • validating assumptions across components

In other words:

the bottleneck is shifting from generation to verification

And that shift matters more than it first appears.

Because once verification becomes the limiting factor, the value of “good structure” changes.


The rise of underused verification practices

If AI reduces the cost of producing code, then the relative value of practices that verify, constrain, and stabilize systems increases.

This doesn’t just affect language or database choices—it also changes which engineering practices become mainstream.

Techniques that were historically seen as “too expensive” or “overkill” in many teams may become default:

  • architecture-level unit testing (validating system boundaries, not just functions)
  • stronger contract testing between services
  • more explicit dependency boundaries and enforcement
  • formalized integration testing as a first-class design tool
  • schema- and contract-driven development workflows

Many of these practices already exist, but they are often underused because they slow down early iteration.

However, in an AI-assisted environment:

generating code becomes cheap, but validating system correctness does not.

So the bottleneck shifts toward practices that reduce ambiguity and enforce correctness at system boundaries.

In that context, what used to feel like “over-engineering” starts to look like:

necessary structure for managing AI-generated complexity


Rigidity is the wrong abstraction

The term “rigid” bundles together several different properties:

  • explicitness
  • constraint density
  • flexibility loss
  • verification ease

These are not the same thing.

A better distinction is:

  • Implicit systems → rely on inference, conventions, and runtime discovery
  • Explicit systems → encode structure, constraints, and intent directly

This matters because AI systems don’t “understand” code in a human sense—they infer meaning from signals.

So the question becomes:

How much of the system’s intent is explicitly encoded vs left to inference?


Why explicit systems matter more in an AI-assisted world

AI systems are especially good at pattern completion, but weaker at:

  • resolving ambiguous intent
  • inferring hidden constraints reliably
  • maintaining global consistency across evolving systems

So explicit systems act as:

high-signal context providers for both humans and AI

For example:

  • A SQL schema provides a machine-readable model of relationships
  • Type systems provide executable contracts for data flow
  • API specs define integration boundaries unambiguously
  • effect systems make side effects visible instead of implicit

In this framing, constraints are not overhead.

They are context compression mechanisms.


A concrete implication: revisiting “flexibility-first” choices

If verification becomes the dominant cost in development, then systems that maximize explicit structure become increasingly valuable.

This leads to a natural reevaluation of several long-standing trade-offs:

  • Relational databases over schema-less designs when correctness and reasoning matter
  • Static typing over dynamic typing for improving integration safety and AI-assisted code generation
  • Explicit effect systems (as seen in functional programming patterns) for making side effects observable
  • Contract-based communication (e.g. gRPC-style interfaces) over loosely structured HTTP conventions
  • Actor-model-style architectures for isolating state and making concurrency behavior explicit

This is not a claim that one category replaces another universally.

It is a shift in evaluation criteria:

How easily can correctness be verified by both humans and machines?


SQL vs NoSQL is not about rigidity

Take databases as an example.

Relational systems like SQL are often described as “rigid” because they enforce schemas and constraints.

But another way to see them is:

they make assumptions explicit and queryable

That explicitness has downstream effects:

  • relationships are defined, not inferred
  • constraints are enforced, not assumed
  • structure is inspectable by tools and systems

NoSQL systems trade some of this explicitness for flexibility and schema evolution speed.

Neither is inherently better.

But in an AI-assisted workflow, explicit structure becomes more valuable because it reduces the cost of verification and integration.


Static vs dynamic typing: a similar shift

The same pattern appears in typing systems.

A static system like :contentReference[oaicite:2]{index=2} encodes:

  • data shape
  • interface contracts
  • integration constraints

A dynamic system like :contentReference[oaicite:3]{index=3} leaves much of that implicit until runtime.

In a human-only workflow, both are viable depending on team size and discipline.

But in an AI-assisted workflow, static structure becomes more than safety—it becomes machine-readable intent.


The deeper shift: from human-readable to machine-verifiable systems

What’s actually changing is not that constraints are becoming more important in general.

It’s that constraints are now serving a second audience:

AI systems that need structured, unambiguous context to assist effectively.

This introduces a new design pressure:

  • not just “is this readable for humans?”
  • but “is this verifiable and interpretable for machines?”

That changes how we evaluate architecture, APIs, and even language design.


Conclusion: toward explicit-by-design systems

The old framing of software trade-offs as rigidity vs flexibility is becoming less useful.

A more accurate model is emerging:

implicit inference vs explicit structure

AI shifts the balance because it reduces the cost of generating code—but increases the importance of verifying it.

In that world, the most effective systems are not necessarily the most flexible or the most rigid.

They are the ones that are:

explicit enough to be verifiable, but not so constrained that they reduce productive expression

That balance—not rigidity—is what will define good architecture in the AI-assisted era.