How does a programming language prevent the vast majority of bugs? I feel like we would all be using that language!

onlyrealcuzzo 21 hours ago | parent | next [-]

See Rust with Use-after-Free, fearless concurrency, etc.

My language is a step ahead of Rust, but not as strict as Ada, while being easier to read than Swift (especially where concurrency is involved).

▲

rurban 5 hours ago | parent [-]

And whenever someone tells you to lookup "Fearless concurrency", replace it internally with "Locking concurrency". Thanks to the Rust marketing department

	▲	onlyrealcuzzo 3 hours ago \| parent [-]
		When you combine that with guaranteed lock elision when you're doing things as expected, it's not a problem.

▲

Chaosvex 10 hours ago | parent | prev | next [-]

How? That's easy. You just need a huge dollop of hubris.

▲

gf000 a day ago | parent | prev [-]

I agree with your questioning of it being capable of preventing bugs, but your second point is quite likely false -- we have developed a bunch of very useful abstractions in "research" languages 50 years ago, only to re-discover them today (no null, algebraic data types, pattern matching, etc).