I assume the same benefit applies to humans as well!
I assume the same benefit applies to humans as well!
When the LLM can verify its own output by running static analysis they produce better results. They also seem to understand type definitions and avoid going to the source which, in theory, should reduce context size.
So yeah others are catching on the importance of a type system to enforce that successful contract for AI agents.
This is coming from someone working 13 years as Ruby dev. I love the language, but I want to be honest that I didn’t had experience with other languages before and seeing statically typed languages (Java, TypeScript), Elixir opened my mind to the amount of cargo cult inside Ruby community stemming mostly from people limited to knowing only 1 language.
Tbh we need to do some real research about it, because all those articles are just feelings that it seems to work better. But mostly it feels better, because we got stronger models and improved agent harnesses