Am I understanding you correctly? The Go authors basically expected Go to be just a good starting point or source of ideas for real languages to stand on?
Facebook created Hack, a version of PHP with a quite nice static type system, which is virtually not used outside it. They also had an early statically typed version of JavaScript, called Flow, which enjoyed a limited success, but was supplanted by Typescript.
Haskell, OCaml, Erlang, Smalltalk, etc all enjoyed some success in specific narrow domains, while influencing heavily such mainstream languages as Python, Java, Typescript, Rust, and, well, Go.
Compared to this, Go is unreasonably, blindingly successful; it's now all over the place, but that was hard to predict back in the early days of the project.
It's impressive the go team managed to buck the trend and only got to V2 after so many years.
Well there’s at least Slack, and another huge project (which has eventually migrated away from it once PHP has improved) with tens of millions of users. There has to be others, too.
Go was also created at Google and for Google first and foremost, but ended up wildly popular in general.
(React was also created at Meta and for Meta. Same with Pytorch.)
at least single example in open source or in enterprise who is running Hack? haven't seen even one in 8 years
I shouldn't be surprised, that's like the ideal scenario for PHP. So of course they added strong typing to it.
You’re probably reading what you want to read