>The key point here is our programmers are Googlers, they’re not researchers. They’re typically, fairly young, fresh out of school, probably learned Java, maybe learned C or C++, probably learned Python. They’re not capable of understanding a brilliant language but we want to use them to build good software. So, the language that we give them has to be easy for them to understand and easy to adopt.
- Rob Pike
lionkor · 3d ago
So they made it easy to have data races in a language all about concurrency, bravo. Not buying it.
ad_hockey · 3d ago
It's possible to have data races if you ignore the language conventions[1]. But even then, Go has provided an effective data race detection tool since 1.1: https://go.dev/blog/race-detector
I've been using Go on a large codebase for a number of years, and I haven't found data races to be a problem in practice.
That's fantastic, good job! "Just be good enough at your job" is why C++ is fully concurrency- and memory safe, too. But, you know, its not, that's not how juniors use it, and boy do they write a lot of codebases I end up maintaining.
tyre · 3d ago
sorry is the point here that enums are too complicated to understand?
pjmlp · 3d ago
Apparently, like most modern language features in the last 50 years or so.
o11c · 3d ago
To be fair, enums represent a different and incompatible concept in every language I know.
It's possible to support everybody's needs in a single language, but I'm not aware of any language that has done it yet.
bsaul · 3d ago
"enums represent a different and incompatible concept in every language I know."
Enums has always felt very natural in every modern languages i've tried (swift and rust, for example), even with associated values. The underlying "sum type" concept also is very intuitive, and seems very complementary to structs for example.
Can you expand a bit on what you mean ?
__s · 3d ago
Sum types are cool. Many languages implement enums which are not tagged union sum types (even when language has rich sum types)
This. I find Swift and Rust enums, which are indeed very similar, to be incredibly good at modelling the real world. For example the standard geospatial vector types which are heterogeneous and even recursive in the case of GeometryCollections can be modelled and operated upon very cleanly.
protolyticmind · 3d ago
Rust has IMHO the best implementation of enums ... Mixed with match it is super powerful
aldanor · 3d ago
Don't forget, Rust was first implemented in OCaml, you can guess where those best enums come from.
sureglymop · 2d ago
Kotlins enum classes are quite similar, probably even inspired by rust or prior ML languages. And there's `when` as an alternative to match.
Kotlins syntax is in general a bit underrated imo and I disagree that Java is up to par.
za3faran · 3d ago
Have you tried them in Java?
sebazzz · 3d ago
Java enums are more or less a “multiton” (as in singleton - for each value each)
vips7L · 3d ago
And if you want rust style enums in Java you can use sealed types.
ikiris · 3d ago
it kind of does and doesn't
saghm · 3d ago
I'm not sure what you mean by this. It definitely doesn't have enums, not even in the C sense of "type alias for integers with names for specific constant values. Yes, it has iota, but that's orthogonal to enums; you could use it to define bitmasks, for example. While you can certainly use it in combination with a type alias to make something resembling an enum, I'd argue that's still not actually "having enums"; you could do the same thing in C with typedefs and constants even if it didn't have enums.
pjmlp · 3d ago
I hardly consider the iota / const dance meaningful, it is like telling macro assemblers kind of have.
Granted, Niklaus Wirth removed them from Oberon-07, then again even as big fan of his work, that isn't the Oberon version I prefer, rather Active Oberon.
nsingh2 · 3d ago
Go seems like such a strange language to me. I like its simple syntax, but it's strange that they compromised and added generics to the language but balk at basic things like sum types, pattern matching and type safe enums. Their simplicity design philosophy seems a bit incoherent.
sureglymop · 2d ago
It's just weirdly bolted on. For example, it's challenging to make fully generic methods when interfaces are implicitly implemented. They should have designed the language better from the start. It also has too many C-isms imo. It had a bit of an identity crisis as to what it wants to be from the start.
JyB · 3d ago
The generics addition is extremely incoherent indeed. Makes sense why there was a lot of push back.
hfgjbcgjbvg · 3d ago
They never should’ve done it but the way they did do it is the best way they could’ve done it.
lionkor · 3d ago
They might be trying to do another C, that is so simple that it will be ubiquitous? They're failing to understand that C would never take off it invented today. Go is nowhere on my list of languages I would use - there is simply nothing it's great at. Serialization/deserialization? Rust. Multithreading? Rust. Low level high performance stuff? C, Zig. Quick scripts? Bash, python, JavaScript, Rust. Really fast concurrency? C++ or Rust. Web servers and services? Either nodejs, something static on an existing webserver, or rust for backends.
I completely fail to see where Go excels. Large, statically linked binaries that aren't even concurrency safe...? Really? No enums? Odd syntax (I like Rust, C++ and Haskell, I find Go's syntax odd still).
Like so many Google products, it solves a problem that nobody I know has. And I guess they can afford concurrency bugs, who cares, its only a language primarily for concurrency.
tacitusarc · 3d ago
Have you used Go? Most of your criticisms are, in my experience, incorrect. But ultimately there are tradeoffs, and Go seems to be a divisive language.
In my experience, Go excels at pushing you towards solving the problem rather than yak shaving. And in my opinion that is worth it’s relatively minor frustrations.
pjmlp · 3d ago
Many of us that critise Go, no only have been around the ecosystem since the pre-1.0 days, we also happen to have a broad experience in programming languages since the days writing complete applications in Assembly was pretty much daily business.
homebrewer · 3d ago
It is a passable replacement for CLI utilities (so basically Python or bash) thanks to the rich ecosystem, easy cross-compilation, and static linking, which makes deploying the result easy while also avoiding the horrible mess and pain of handling Python dependencies, or remembering dozens of tiny incompatibilities between various flavors of UNIX utilities.
Unlike Rust, one is not required to have three digit IQ to use the language, so that's why I've been using it where previously I would have resorted to Python (and then either copy venvs around, or write packages for my packages to ship dependencies of my dependencies).
I too fail to see why would anybody use it for anything else, especially compilers or more complicated server stuff where you really benefit from having a proper type system, but people do, so I must be missing something...
sambeau · 3d ago
Go is a tiny language. I can easily hold it all in my head. I don't think I can say that about any other language I've used. Not even C.
alpaca128 · 3d ago
C has tagged unions, though. That's the wild thing about Go, it doesn't even cover all basic C features.
Yasuraka · 3d ago
> Web servers and services?
That's it, mostly. CRUD is also a huge part of the industry, unlike "Serialization/deserialization", which are a means to an end.
> Either nodejs, something static on an existing webserver, or rust for backends.
Horrendous choices, I daresay.
Why do people use Java and C# ?
zarldev · 3d ago
>That's it mostly...
Whole kubernetes, docker, traefik and many other cloud native tools are written in go.
Yasuraka · 2d ago
They are my daily bread and I sloppily lumped them in with "web [...] services", but in hindsight they ought to be a separate category - fundamentally about a different layer,infrastructure, and might not even be networked.
pjmlp · 2d ago
Many tools on DevOps ecosystem are now going through the RIIR phenomenon, and I bet, had Rust 1.0 been available when Kubernetes decided to migrate away from Java, after Go heads joined the team (see FOSDEM talk on the matter), or Docker moving away from Python, most of those tools would have been written in Rust instead.
Yasuraka · 2d ago
> most of those tools would have been written in Rust
I seriously doubt it for the same reason that Google, with all of its expertise and tooling for it, didn't choose C++, twice.
pjmlp · 2d ago
You may doubt it, I keep my certainty, given how much Go is being used at Google, versus Java, Kotlin, C++ and Rust.
Yasuraka · 1d ago
The Rust of today wouldn't be chosen over the Go of a decade ago, it is fundamentally a bad fit, for similar reasons that the already mature C++ wasn't. Java (similar to C#) would've been viable mainly due to maturity and ecosystem effects, Kotlin/Native might be a contender in another half decade, sooner if the team were to shift priorities.
I say this not just for Kubernetes etc., but greenfield projects today as well.
Let's just entertain the idea and pretend that this is a notable project and that one would count it as DevOps tooling.
Here are the top 10 across the CNCF in terms of size, courtesy of GitHub's API:
Go: 30
Rust: 4 (once to implement another lang)
Python: 2
Java: 1
and 2 that are mixed (Go+{C,Rust})
Fun fact, one of the 30 is Eraser - by Deis Labs.
pjmlp · 3d ago
Even back in its heyday what helped C take off was AT&T not being allowed to profit from their Bell Labs research.
Do you think UNIX was sold at VMS, MVS, System/360 prices, even with university discounts, every university on the planet would have been rushing to adopt it on their timesharing systems?
The lawsuits done by AT&T years later, the prohibition of Lion's book, and Sun introducing the concept UNIX developer license, shows how it would have gone.
za3faran · 3d ago
It's a better Python, that's where I see most of the real world use cases. After dealing with Python for a while now, I would take golang any day of the week lol. But for backend systems, there are far superior alternatives.
pjmlp · 3d ago
The only thing it does better than Python is being a compiled language.
ironmagma · 3d ago
Compilation time is fast, and it’s debuggable. Typescript would be the main competitor in my mind, but compilation with TS is slow and you have no parallelism without native extensions.
niux · 2d ago
Not anymore, since the Typescript compiler has been re-written... in Go.
ironmagma · 2d ago
That’s still a work in progress. And is it really faster than Go compilation? Just because it’s written in Go doesn’t guarantee that.
flkenosad · 3d ago
It's great for large software projects that need tons of random contributers. For example, Gitea.
- Rob Pike
I've been using Go on a large codebase for a number of years, and I haven't found data races to be a problem in practice.
[1] https://go.dev/doc/effective_go#sharing
It's possible to support everybody's needs in a single language, but I'm not aware of any language that has done it yet.
Enums has always felt very natural in every modern languages i've tried (swift and rust, for example), even with associated values. The underlying "sum type" concept also is very intuitive, and seems very complementary to structs for example.
Can you expand a bit on what you mean ?
https://en.cppreference.com/w/c/language/enum
https://learn.microsoft.com/en-us/dotnet/csharp/language-ref...
https://docs.python.org/3/library/enum.html
https://api.rubyonrails.org/v5.2.4.5/classes/ActiveRecord/En... https://sorbet.org/docs/tenum
https://docs.oracle.com/javase/tutorial/java/javaOO/enum.htm...
https://dart.dev/language/enums
https://www.postgresql.org/docs/current/datatype-enum.html
https://dev.mysql.com/doc/refman/8.4/en/enum.html
https://zig.guide/language-basics/enums
https://www.erlang.org/eeps/eep-0013
https://hackage.haskell.org/package/planet-mitchell-0.1.0/do...
https://www.ibm.com/docs/en/openxl-fortran-aix/17.1.1?topic=...
Kotlins syntax is in general a bit underrated imo and I disagree that Java is up to par.
Granted, Niklaus Wirth removed them from Oberon-07, then again even as big fan of his work, that isn't the Oberon version I prefer, rather Active Oberon.
I completely fail to see where Go excels. Large, statically linked binaries that aren't even concurrency safe...? Really? No enums? Odd syntax (I like Rust, C++ and Haskell, I find Go's syntax odd still).
Like so many Google products, it solves a problem that nobody I know has. And I guess they can afford concurrency bugs, who cares, its only a language primarily for concurrency.
In my experience, Go excels at pushing you towards solving the problem rather than yak shaving. And in my opinion that is worth it’s relatively minor frustrations.
Unlike Rust, one is not required to have three digit IQ to use the language, so that's why I've been using it where previously I would have resorted to Python (and then either copy venvs around, or write packages for my packages to ship dependencies of my dependencies).
I too fail to see why would anybody use it for anything else, especially compilers or more complicated server stuff where you really benefit from having a proper type system, but people do, so I must be missing something...
That's it, mostly. CRUD is also a huge part of the industry, unlike "Serialization/deserialization", which are a means to an end.
> Either nodejs, something static on an existing webserver, or rust for backends.
Horrendous choices, I daresay.
Why do people use Java and C# ?
Whole kubernetes, docker, traefik and many other cloud native tools are written in go.
I seriously doubt it for the same reason that Google, with all of its expertise and tooling for it, didn't choose C++, twice.
I say this not just for Kubernetes etc., but greenfield projects today as well.
https://deislabs.io/posts/still-rusting-one-year-later/
I gather you are aware of Deis Labs history, Microsoft acquisition and such, do you want other CNCF companies that have pivoted into Rust?
> [Warning] This project is currently not actively maintained.
But there is a library by them to build containerd shims with which is maintained: https://github.com/containerd/runwasi
Let's just entertain the idea and pretend that this is a notable project and that one would count it as DevOps tooling. Here are the top 10 across the CNCF in terms of size, courtesy of GitHub's API:
This is the best-case scenario, including irrelevant categories like databases and VMMs that ought to be written in Rust (or C++).As far as Microsoft itself goes, they have a new push to ~~lock-in~~ embrace and extend cloud customers:
https://blog.radapp.io/posts/2024/04/16/radius-accepted-as-c...
As far as recent projects that gained traction with the CNCF go, I found some nice write-ups:
https://blog.palark.com/cncf-sandbox-2023-h1/
https://blog.palark.com/cncf-sandbox-2023-h2/
https://blog.palark.com/cncf-sandbox-2024-h1/
Fun fact, one of the 30 is Eraser - by Deis Labs.Do you think UNIX was sold at VMS, MVS, System/360 prices, even with university discounts, every university on the planet would have been rushing to adopt it on their timesharing systems?
The lawsuits done by AT&T years later, the prohibition of Lion's book, and Sun introducing the concept UNIX developer license, shows how it would have gone.