Safety and Security
Limbo programs are compiled to a RISC-like abstract machine, Dis.
Rich library of standard modules (e.g. for network communication, secure and encrypted communication, and graphics).
Safety is achieved by restrictions in the language (guaranteed by trusted authorities)
Security is achieved by treating all resources as files