[bilekas]

Think about your question, depending on the tool, Rust might not be needed, is high level memory performance and safety needed in a coding agent ? Probably not.

It's high speed iteration of release ? Might be needed, Interpreted or JIT compiled ? might be needed.

Without knowing all the requirements its just your workspace preference making your decision and not objectively the right tool for the job.

[virtualritz]

I have a 16GB RAM laptop. It's a beast I bought in 2022.

It's all I need for my work.

RAM on this machine can't be upgraded. No issue when running a few Codex instances.

Claude: forget it.

That's why something like Rust makes a lot of sense.

Even more now, as RAM prices are becoming a concern.

[bilekas]

> Claude: forget it.

I don't know what else you're doing but the footprint of Claude is minor.

Anyway my point still stands, you're looking at it as if they are competing languages and one is better at all things. That just not how things work.

[LelouBil]

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)

[bilekas]

TypeScript is typed.. It's in the name ?

[LelouBil]

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"

[bilekas]

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' ?

[LelouBil]

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.