dark

Yes. Darklang was originally in OCaml using js_of_ocaml, and we ported it to F# using Blazor (https://github.com/darklang/dark/tree/main/backend/src/Wasm). It works. We found that in dotnet 6, the code was much slower, with long startup times and a much bigger download, than in js_of_ocaml. It also had a lot of issues in running in a Webworker, which wasn't the case for js_of_ocaml. In dotnet 7, the webworker issues are better and AOT is easier, so startup is faster. Download sizes are still bad, and it's still slower than js_of_ocaml. However, dotnet allows almost any code to run in WASM, which js_of_ocaml had large limitations. This meant a decent chunk of functionality had to be worked around to make separate js vs native targets, which also was a massive pain and took a long time. Dune's virtual targets wasn't ready at the time - I th

We still don't have all that many users (~100 active), so I'm not sure you'll find an answer here. But we collect that sort of feedback publicly, which might answer your question: https://github.com/darklang/dark/discussions/categories/feed...

Blog Post from 2019. https://github.com/darklang/dark Dark is not open source, but source available

All of darklang's infra is source available, feel free to read it. This [1] is a good entry point for the infra configuration and setup. [1] https://github.com/darklang/dark/#production-services

Monorepos are also great for small monorepos with just a few projects. The darklang monorepo [1] has a devcontainer that installs all the build tools for 4 projects which create 21 different services, using 6 languages, and building everything is one step. In fact, it makes it so easy to add new stuff that I didn't even realize we had 21 services til I counted. My first guess was 12. [1] https://github.com/darklang/dark

The license of Dark Lang is a non-free proprietary license -> https://github.com/darklang/dark/blob/main/LICENSE.md.

This is really nice. For comparison, this is what using ASP.NET directly in F# is like: https://github.com/darklang/dark/blob/main/fsharp-backend/sr...

Fyi, Dark isn't hibernating. It's actively being worked on. See the repo: https://GitHub.com/Darklang/dark

The thing that killed any interest I ever had in Dark was the license[1]. It’s beyond vendor lock-in, it’s suicide at an undetermined date. tldr: Help build it but don’t use it. -[1] https://github.com/darklang/dark/blob/main/LICENSE.md

Python is a bad choice for writing reliable software. If you need the reliability of type checking, just use an early-bound language, not a late-bound language with checking grafted on. And very few Python libraries have type annotations. And while 3 fixed some footguns, e.g. 'a' < 5 now throws a TypeError and there's a clear distinction between str and bytes, others remain, e.g. if you reuse a generator it will silently be empty. Looking at the repo[1] the languages tab shows: OCaml 78.6% F# 12.2% The F# hits are in a directory "fsharp-backend", and all in the last 3 weeks. 1: https://github.com/darklang/dark

This is exactly what we do for Dark: https://github.com/darklang/dark/tree/main/scripts Not only that, but each script automatically runs itself in our docker container so it's fully repeatable. They all start with . ./scripts/support/assert-in-container "$0" "$@" which is just this: if [[ ! -v IN_DEV_CONTAINER ]]; then scripts/run-in-docker "${@}" exit $? fi And this is run-in-docker: https://github.com/darklang/dark/blob/main/scripts/run-in-do...

I'm not aware of any, sorry. You can look at the dark repo to see how we do it though: https://github.com/darklang/dark