Cooma

The Cooma project is investigating secure programming language design based on fine-grained object capabilities.

Getting started

Prerequisites

Running

Clone this project.
Go to the cloned directory.
Run sbt.

Running interactively (REPL mode)

To enter REPL mode, type run.

root 0.1.0 2.13.9> run
[info] ... sbt messages ...
root 0.1.0 REPL - Reference backend

Enter definitions or expressions (:help for commands)

cooma> :help

exp                         evaluate exp, print value
val x = exp                 add new value definition
def f (x : Int) Int = exp   add new function definition
:help                       print this message
:lines                      enter multiple separate input lines until :end
:paste                      enter single multi-line input until :end
:quit                       quit the REPL (also Control-D)

cooma> val x = 20
x : Int = 20

cooma> x
res0 : Int = 20

cooma> def f (x : Int) Int = x
f : (Int) Int = <function>

cooma> f(x)
res1 : Int = 20

Running on files (compiler mode)

E.g., for the program src/test/resources/basic/multiArgCall.cooma which is a simple multiple argument function call:

{fun (x : Int, y : String) x} (10, "hello")

we get the following using the -r option to print the program result:

cooma 0.1.0 2.13.9> run -r src/test/resources/basic/multiArgCall.cooma
[info] ... sbt messages ...
10

Use run --help to see all of the options for printing the source AST.

Testing

Use the shell command ./test to run the automated tests.

Examples

See the tutorials for further examples.

NOTE: sbt [info] markers have been removed to simplify the output.

Blocks (values and function definitions)

{
    val x = 10
    val y = 20
    y
}

> run -r src/test/resources/basic/blockVal.cooma
20

{
    def f (x : Int) Int = x
    def g (y : Int) Int = f(y)
    g(10)
}

> run -r src/test/resources/basic/blockDef.cooma
10

Record argument and field reference

{fun (r : {x : Int, y : Int, z : String}) r.x} ({x = 20, y = 10, z = "Hi"})

> run -r src/test/resources/basic/recordArg.cooma
20

Record concatenation

{
    val r = {x = 10, y = 20}
    val s = {a = "Hi"}
    {r & s}.x
}

> run -r src/test/resources/basic/recordConcat.cooma
10

String command-line arguments

fun (s : String) s

> run -r src/test/resources/capability/stringCmdArg.cooma hello
"hello"

fun (s : String, t : String) t

> run -r src/test/resources/capability/multiStringCmdArg.cooma hello there
"there"

Capabilities

Capability arguments at the top-level are automatically linked with the command-line arguments and checked. E.g., a Writer capability allows the program to write to the named file or device. (The name "-" means standard output, or input for readers.)

fun (w : Writer) w.write("Hello world!\n")

> run -r src/test/resources/capability/writerCmdArg.cooma /dev/tty
Hello world!
{}

{} is the unit value returned by w.write.

If the specified file name is not writeable, the runtime system causes the execution to fail.

> run src/test/resources/capability/writerCmdArg.cooma /does/not/exist
cooma: Writer capability unavailable: can't write /does/not/exist

A file capability is only provided if the designated file can be read.

> run src/test/resources/capability/readerCmdArg.cooma /does/not/exist
cooma: Reader capability unavailable: can't read /does/not/exist

The Reader and Writer capabiities can be combined into a single argument using type concatenation.

fun (rw : Reader & Writer) {
    val result = rw.read()
    val _ = rw.write("Hello, world!\n")
    result
}

inkytonik/cooma