I would correct a couple of things here. > The language is on par with F#, It's on par in some ways, and fairly they're different in other ways. E.g. F# has r

I would correct a couple of things here. > The language is on par with F#, It's on par in some ways, and fairly they're different in other ways. E.g. F# has reified generics while OCaml erases all types at runtime. > notably less expressive than Scala. Personally I find it super difficult to express a lot of things in Scala that I can bang out in a few simple lines of OCaml. One of the simplest possible things for an FP language, try writing a sum type that type-checks properly when you put it in a list. Scala: scala> sealed trait PaymentMethod object PaymentMethod { case object Cash extends PaymentMethod case class CreditCard(name: String, number: String, expiry: String) extends PaymentMethod } scala> Seq(PaymentMethod.Cash, PaymentMethod.CreditCard(name = "Bob", number = "1111111111111111", expiry = "10/21")) res0: Seq[Product with PaymentMethod with java.io.Serializable] = ... OCaml: # module PaymentMethod = struct type t = | Cash | CreditCard of { name : string; number : string; expiry : string } end;; # [Cash; PaymentMethod.CreditCard { name = "Bob"; number = "1111111111111111"; expiry = "10/21" }];; - : PaymentMethod.t list = ...