[mattarm]

Some popular streamers have dabbled in OCaml this year, sometimes calling it "the Go of functional programming", which probably set off a small wave of people tinkering with the language. OCaml has also gotten gradually better in recent years in terms of tooling, documentation, standard library, etc.

[adambrod]

I think they were saying that Gleam was Go of functional programming? OCaml may be like Go compared to Haskell but IMHO Gleam really embraces simplicity and pragmatism.

[myaccountonhn]

I would say some other reasons OCaml is similar to Go is that the runtime is very simple, performance is on par and the compilation times are very fast. It also markets itself as a GC'd systems language similar to Go. I think a seasoned OCaml would be able to guess the generated assembler code.

I suspect that Gleam is quite different in that regard.

[pjmlp]

Thankfully it has a modern type system, though.

As for the GC systems language, there is even a book about it,

https://ocaml.github.io/ocamlunix/

[thesz]

The "Go of functional languages" title should go to Haskell.

The Haskell's STM and channels implemented in it allow for most (or all) of the Go "select" statement, but in a library, not language.

[nequo]

Go prioritizes simplicity and pragmatism which is much more like OCaml than Haskell.

Haskell is more like a Rust of FP. But Rust is also much more pragmatic than Haskell.