Dark Lang switches its backend from OCaml to F#

Dark is a tool for removing complexity, specifically accidental complexity. It’s a kind of complexity we shouldn’t really have to think of. It's mostly infrastructure and related things like deployment. You need to know tools. The list of tools is endless. It’s a holistic system that contains an editor, an infrastructure and programming language all rolled into one.

In this video we are discussing an article «Dark's new backend will be in F#» by Paul Biggar.

DarkLang

F#

ML Family

ReasonML

A brief history of F# by Rachel Reese

[aum]

I have little experience with OCaml and F#, but something I would like to point out is that F# is heavily insipired by OCaml, but it is NOT OCaml because you can't map it 1-to-1. In particular, you don't have one of the key OCaml features: module functors (i.e. functions that take one or more modules and build another module out of them). This doesn't mean that OCaml is better for your project, because F# has different features / strengths: they're different and it depends on your specific situation. But for the sake of spreading some objective knowledge, I think this should be said. ReasonML is instead just different syntax for OCaml, they're 100% equivalent.
I love both and I hope I'll be able to use both F# and OCaml.

[valcron-]

I read somewhere that Walmart decided to ditch F# since the rest of their tech stack is written in Java.

[acilcenter]

Dude halfway into the video still no substance, you need to try to keep more focused.