[Reki]

To make better languages

[fluffyspork]

Are programming languages really a limiting factor for anyone?

[bertday]

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

[gnulinux]

Of course, for example, if you're in need of an automated theorem prover, your only options are Coq, Agda, Isabelle/HOL etc for now all of which come with very serious trade-offs which leads to the development of newer languages such as Lean etc.

[7373737373]

It can be very insightful to understand the limitations of the language(s) one uses and the guarantees they can give

[JonChesterfield]

They're the limiting factor for everyone. At least, every programmer. It's the medium you think in.