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.
Data modelling is helpful for humans that can expand that kind of context on the fly and with recall. For the midwit models I use it just creates context that is expressed once and then glossed over.
Having to over express the data model everywhere is precisely what makes AI good at using it.
Does the code suck to read? Sure, but I don't really do that very often anymore anyway.
In this case, the verbosity of go is a feature not a bug.
I guess it depends what your optimizing for, good code or fast turn around without needing to constantly remind the AI about certain type behaviors.
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_
Comments
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.
Data modelling is helpful for humans that can expand that kind of context on the fly and with recall. For the midwit models I use it just creates context that is expressed once and then glossed over.
Having to over express the data model everywhere is precisely what makes AI good at using it.
Does the code suck to read? Sure, but I don't really do that very often anymore anyway.
In this case, the verbosity of go is a feature not a bug.
I guess it depends what your optimizing for, good code or fast turn around without needing to constantly remind the AI about certain type behaviors.
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_