[dontlaugh]

Java sum types and pattern matching are almost impossible to use in practice, sadly. Exceptions aren't a good thing, it's only good that they're typed. Go has exceptions too, they're just used rarely.

The rest is not very interesting or particularly complex.

[pjmlp]

Word salad, hand waving that Java has indeed a much better type system.

[dontlaugh]

It’s a little better, for sure. It’s nowhere near something sane like OCaml or Rust.

I don’t particularly like Go or Java.

I don’t see what salad has to do with anything I said. Go does have exceptions and unlike Java, they are untyped and rarely used. They’re not great in either language.