Dark is a very cool project. I had the opportunity to consult with them and Paul is an extremely bright engineer. I agree with the premise of the problems they want to solve and hope they can get there.
It’s interesting to me though that a project that includes its own programming language has changed languages twice. (Elm to OCaml on the front end, OCaml to F# on the backend) and does kind of call out the fact that anything built on the dark platform is locked into Dark the language.
Dark has shown that changing languages can provide benefits like the ones quoted in the blog, so maybe it would be worth exploring more language support. Reading past comments and feedback, it seems like embracing a whole new language was a high barrier to entry for most.