[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.