I'm curious to see how AI is going to reshape research in programming languages. Statically typed languages with expressive type systems should be even more relevant for instance.
Because the type system gives you correctness properties, and gives fast feedback to the coding agent. Much faster to type check the code than let say write and run unit tests.
One possible disadvantage of static types is that it can make the code more verbose, but agents really don't care, quite the opposite.
acjohnson55|6 days ago
yodsanklai|6 days ago
One possible disadvantage of static types is that it can make the code more verbose, but agents really don't care, quite the opposite.