I think OCaml is slept on in the LLM-hype discussion as it allows for very high level human readable abstractions and specifications, and feel all the ML inspired languages might be due for a resurgence of popularity.

Also a bit funny to monitor my own reactions as a spoiled F# dev, chunk by chunk, oscillating between “wow, that’s great I want to use that always” and “ew, yuck” for both languages. The grass is always greener, but also that which I’ve already nitpicked has fewer nits to pick, apparently.