> What languages have materially different GC semantics

Others have mentioned a few, and I'll mention another: GC support for concurrency.

Try writing a performant Go interpreter in OCaml, for instance.