Why AI is pushing developers toward typed languages

This is something I’d had an instinctive feeling about for a while: stricter languages provide that much more automatic feedback to REPL-style agentic systems.

Another piece of advise I have is to offload as much as you can from your AGENT.md file into type-checking, linters, etc. A bit of a contrived example but instead of putting something like this:

  Avoid the use of nested ternary logic like U ? V : X ? Y : null

Add the `no-nested-ternary` rule to your `eslintrc.json` instead.

Some discussion earlier: https://news.ycombinator.com/item?id=46547981