Morloc is a language that allows function composition across languages under a common type system. You write idiomatic Python, C++, R, or Rust functions, source them into a Morloc module, add a type signature, and they become first class citizens. You can then build modules that export arbitrarily complex programs composed from these functions. These modules may be imported into other modules or compiled into programs with generated command line interfaces and HTTP/TCP/UDS/MCP servers.
The interface is derived. The same module is a command line tool, a server over HTTP, TCP, and Unix sockets, and a set of MCP tool definitions. Each is projected from checked types, so none can drift from the functions. More
Scale complexity with a modern functional language. Morloc supports generics, higher-order functions, typeclasses, sum types and tail-call optimized recursion in a fully polyglot setting. More
Fine grained logging, benchmarking and debugging. Add hooks to expressions and monitor their runtime, caching behavior, and more. Full multi-language tracebacks with optional input data capture at failure points. More
Design with types, reuse across implementations. Write a test suite once against a type signature and run it against every language that implements it. More