Cooma Secure Programming Language

    

The Cooma project is investigating secure programming language design based on a pure functional core language and fine-grained object capabilities.

Participants

  • Anthony Sloane
  • Nicholas Weston (2021-2022)
  • Diego Ocampo Herrera (2019-2020)
  • Cameron Pappas (2019-2020)

Funding

Oracle

Status

  • Functional core with tail call optimisation
  • Row-based record and variant data types (literals, selection, concatenation, simple matching)
  • Object capabilities as records
  • File, database and web server command-line capabilities
  • Single shared frontend (parsing, semantic analysis, compilation to continuation-based IR)
  • Two IR back-ends (reference and Truffle/GraalVM)
  • File-based execution and read-eval-print loop (REPL)

See the Cooma Project on GitHub for details, including examples.

Software

The Cooma source code can be found on GitHub.

Cooma uses the following libraries and tools: