Dark’s new backend will be in F#

Re:Dark’s new backend will be in F# by eatonphil on Tuesday November 03, 2020 @10:03AM (#24980220)

Sure, but there's no equivalently mature OCaml-like language for the JVM (Scala doesn't count)

[ Parent | on HN ]

Re:Dark’s new backend will be in F# by Ivoah on Tuesday November 03, 2020 @10:10AM (#24980293)

Asking as someone with no OCaml experience but who quite enjoys Scala, why does it not count?

[ Parent | on HN ]

Re:Dark’s new backend will be in F# by eatonphil on Tuesday November 03, 2020 @10:30AM (#24980494)

They are radically different languages, even if they're from the same family. Scala is about as similar to OCaml as Rust is to OCaml. Rust and Scala are a world apart from OCaml and Standard ML in terms of language complexity.

And then F# literally has an OCaml compat mode because they are so similar (F# has a bunch of convenient syntax extensions if you don't mind not using the compat mode).

[ Parent | on HN ]

Re:Dark’s new backend will be in F# by dkarl on Tuesday November 03, 2020 @10:24AM (#24980441)

I don't know OCaml, so I can't give you a great answer, but I know that OCaml has a different type system that has some features that Scala 2 lacks, such as union types.

[ Parent | on HN ]

Re:Dark’s new backend will be in F# by yawaramin on Wednesday November 04, 2020 @11:45PM (#24995725)

OCaml doesn't have union types. It has what it calls variants, and what is generally known as Algebraic Data Types. So does Scala 2.

[ Parent | on HN ]