Which models have you found work best with OCaml?

I also went through quite a process to select a language to work with LLMs[1] before settling on OCaml.

I am not unhappy with the choice and find it works quite well, with relevant skills loaded, but I am always interested in others’ experience and understanding what they’ve discovered works well.

[1] https://news.ycombinator.com/item?id=48105850

I was very happy with GLM 5.1 and Kimi 2.7. I did see an improvement in GLM 5.2. I found it to be more realistic about what was and wasn't good architectural choices.

I have a pretty elaborate harness setup, I use my own spec DSL to plan and execute code. So what works for me may not totally apply to others.

I haven't used the frontier models in a few months, so I can't speak at all to this latest batch. When I switched over from frontier I found that what I lost in training data, I more than made up for with Pi harness.

Your process seems more thorough than mine. Mine was literally "I like camels". Switching over to OCaml I found wonderful - I had not worked with FP before and I found it delightful, it kind of cured my programming burnout a bit. I hand built a CRUD app in OCaml/Dream but still feel like a rank beginner, especially when it comes to actually writing code, lol. But I'm getting much better at reading it.

I think the typing and structure of OCaml is a great fit for LLMs, but also the proximity to other things like DSLs, formal proofs, and algebraic structures has tons of untapped potential.

I'm having an absolute blast with it. I like programming again.

One more thing - just seeing your affinity for Julia. I built a fully interpreted Lisp in OCaml which you might find interesting. I added my email to my profile here, feel free to reach out.

LLM are string happy instead of using ADT with ocaml. That was my main pain point with it. Otherwise fairly happy, I would feel C#/.net core would be the best overall in term of language/platform.