This is confusingly phrased. Do you mean "If Go people were ever shown ... ML"? I would totally drop Go for an ML language if any of them had a sane syntax, usable build tooling (including native, static compilation by default), and a (single) decent standard library.
A super awesome type system is worthless without the basic requirements for scalable software development.
A super awesome type system is worthless without the basic requirements for scalable software development.