The project page for morloc, a language where you can compose functions across languages under a common type system