Hacker News new | ask | show | jobs
by LelouBil 75 days ago
While not directly related to GP, I would guess that a codebase developped with a coding agent (I assume Claude code is used to work on itself) would benefit from a stricter type system (one important point of Rust)
1 comments

TypeScript is typed.. It's in the name ?
Yes, but if you put type strictness on a line, Rust would be further along I think.

Not to say that Typescript is bad or anything, but I would like to see data on my gut feeling that "stricter languages would make coding agents work better"

This is actually a curious one, I think you might have that gut feeling towards the compiler/transpiler ?

> Yes, but if you put type strictness on a line, Rust would be further along I think.

There are huge differences between build times, as we know, Rust likes to compile with effort, by design, it's important for the compiler to navigate all the nuances. Typescript with bun for example, can run a bit faster. Is the compiler making you think it's more 'type safe' ?

It's that Rust has more rules that allo you to use it's type system to constrain your logic.

Things like borrowing and ownership, having an affine type system, the GADTs, it's more tools in your toolbox to constrain your problem space.