Comment by ngruhn
7 hours ago
I wonder how well this fares
try to make illegal states unrepresentable
In my experience, agents know how to do it. They just don't if it's not the default style of the language.
7 hours ago
I wonder how well this fares
try to make illegal states unrepresentable
In my experience, agents know how to do it. They just don't if it's not the default style of the language.
Go is an amazing AI language for this reason.
The tests that get created also tend to be higher quality than say the slop I see in python.
Though I do suspect my codebases are doing heavy lifting in terms of steering towards quality outcomes.
I've found the opposite. Go doesn't even have sum types, so it's hard to use constructive data modeling techniques to model the domain. The only tool available for ensuring exhaustive handling of all cases is interfaces (Visitor pattern) which is verbose.
> Go is an amazing AI language for this reason.
I'd be interested to hear more about why? because my experience with Go has been the opposite, I found it pretty bad for "making illegal states unrepresentable". In fact, its zero-values system often makes illegal states the _default_