OCaml

“ran into a bunch of problems with build tooling, standard library, syntax noise, ideological/unhelpful community”

“OCaml is the LLM secret weapon right now. They are better at writing it than they are any other language.”

“OCaml is easy and flexible which makes it good imo as a door towards the more formal part of comp sci”

“ocaml has excellent compilation speed, and in my experience the code is very maintainable due to the module and type systems”

“I have never programmed Ocaml but my understanding is introspection is kind of a weak spot for the language.”

“Basically I liked Ocaml so I have huge appreciation for all that Rust tries to bring into the mainstream on that front.”

“Haskell and ocaml would definitely be next on my list, but they do take a very good hit in performance”

“it's always better to use the safest possible language so that the compiler can catch most of the errors”

“Can confirm that OCaml is a good language to work with. And it's not so difficult to get your head around, especially with LLMs to hold your hand.”

“hiring for OCaml developers was easier because the signal to noise ratio in the OCaml community is so much better”

“OCaml has an expressive type system that lets you build abstractions that just aren’t possible with Go”

“Strongly typed, including GADTs and various flavors of polymorphism, but not as inscrutable as Haskell”

“I find its lack of syntax sugar makes it easy to read nearly any OCaml code I come across in the wild”

“opam doesn't produce proper lock files (only version numbers) and it seemed silly to not be able to even include another file”

“if your goal is to learn a language that will genuinely improve your programming skills, I'd say OCaml is one of the best options”

“For me, the match syntax, the function signatures, the |> operator, and OCaml’s approach to shadowing are all very readable”

“Ocaml's type system is actually really simple, which is probably why the compiler can be so fast.”

“anyone trying to learn Haskell, OCaml, or other language with minimal/"batteries depleted" stdlib will suffer.”

“By that time it supported parametric generics, multiple inheritance, named parameters, optionals instead of nulls everywhere”

“it already had better static analysis and correctness on object oriented stuff than what Java struggles to approach today”

“Possibly the best language (alongside Haskell) if you need pattern-matching. Not quite as good if you need lots of libraries”

“I miss from OCaml: faster compile times, non-recursive `let` by default, polymorphic variants, labeled arguments”

“being constrained to pattern matching in places where imperative programming would be more natural”

“the OCaml compiler devs have made it very clear they are open to well-motivated extensions of the stdlib”

“writing imperative code in OCaml feels quite right. Maybe it's just me, but it always feels significantly clunkier than the functional equivalent”

“None of my day jobs have ever been a situation where the smaller ecosystem and community of ocaml was offset by anything ocaml did better”

“the benefits of functional programming and the type guarantees that it's ilk provides cannot be understated”

“people have been using OCaml software as parts of tech stacks in critical industries for around 20 years”

“got rid of its global lock, got a really fast-compiling native toolchain with stable and improving editor tooling”

“Bigger native ecosystem. C#/.net integration is a double edged sword: a lot of libraries, but the libraries are not written in canonical F#.”

“In ocaml5 if you use domain, it is down to experience skill, and some luck to be sure you used atomic when necessary.”

“they do not in any way give you the same level of guarantees that OCaml, Haskell, or Rust would give you.”

“OCaml's only major advantage IMO is compile time. That doesn't seem compelling enough to put up with the downsides to me.”

“Yes, the syntax is relatively easy to learn. But when I look at what Jane St etc have created for libs, the tooling, etc.”

“ML syntax has been designed to teach programming to fresh students with just a background in math.”

“I do think maybe it should have stayed single threaded, or only allowed parallel iteration/loopsbfor fine grained parallelism.”

“I've used OCaml for writing small compilers and it was really clean but that's a toy thing that will not see much real world usage.”

“I personally find OCaml's syntax to be great. Very easy to write and read once you're used to it.”

“That's one of the greatest strenght of ML actually and especially Ocaml where parametrised modules are everywhere and a required building block of generic code.”

“What I liked is that the OCaml ecosystem doen't look like it wants to control or ought to fear the next big thing.”