top | item 36285698

(no title)

bertday | 2 years ago

Sure, writing bug-free code is not possible for most programmers. The language can reduce the occurrence of bugs.

discuss

I agree with the first sentence. I don't think in 2023 a new programming language will help humans in a significant way.

bertday|2 years ago

It doesn’t have to be a totally new language. Javascript is an example where there are multiple front-end languages. You can go as far as formally prove the implementation is correct, too. Language theory is an abstraction for mathematical logic and proofs, so it touches anything logical at all.