Comment by Yoric
3 months ago
Well, many of the benefits of Rust, but in a simpler and garbage-collected language. Possibly the best language (alongside Haskell) if you need pattern-matching. Not quite as good if you need lots of libraries or interaction with other languages.
It does have a lively ecosystem in some niches. Formal verification is one of them.
For example, https://opam.ocaml.org/packages/why3 is a little marvel of engineering.
Does Haskell have or-patterns yet? Last I checked OCaml still has the lead in pattern matching power :-)
https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/or_p...
I'm confused about something. According to https://www.haskell.org/ghc/ version 9.10.3 was released on 2025-09-10. How is there a version 9.12.1 listed for the or-patterns feature? Are these versions for different things?
5 replies →