Morloc: Foreign languages unified under common functional type system (opens in new tab)

This is fine if all you care about is functions. Very little in Python is just functions though, and the same is true in C++. The issue with FFI is always adapting the different concepts from one language to another. I can't see how (or if they try) to unify other language's OOP with a functional language over the top.

I like the idea though - one functional language to rule them all is a great dream!

This idea is amazing, and amazingly ambitious.

I wonder if the morloc language (as distinct from the tool) really has to be a new language, or if it could be represented in Haskell or a more flexible variant like Agda or Idris.

Slightly off topic but the docs are really well formatted.

[0] Link: https://morloc-project.github.io/docs/

[1] Code: https://github.com/morloc-project/docs/

Morloc as in "more lines of code"?

Please make a Nix derivation so we don't have to think about those horrible installation instructions.

I'm not sure how this works with functions that have side effects. Perhaps they're banned?

Sounds like someone was finally smart enough to tackle "The Next 700 Libraries"[0] problem.

[0]: https://dl.acm.org/doi/10.1145/1622123.1622147

From the README it seems that Python, C++, and R are supported. Which others? It seems like the documentation should have the definitive list, and explain what's supported in each language.

rust and haskell will love each other