3 ms·
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 rel
by yodsanklai 8mo ago
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.
- acjohnson55 8mo agoWhy do you think that?
- yodsanklai 8mo agoBecause 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.
- butokai 8mo agoFunnily enough, when programming with agents in statically typed languages I always find myself in need of reminding the agent to check for type errors from the LSP. Seems like it's something they're not so fond of.