Add a paragraph about interpretation

This commit is contained in:
joeduffy 2017-01-01 14:17:08 -08:00
parent 36534145a5
commit 82135ab219

View file

@ -31,6 +31,13 @@ this document will use a YAML syntax for brevity's sake.
TODO: hello, world.
## Interpretation
MuPack and MuIL are interpreted representations. That means we do not compile them to assembly and, in certain cases,
we have made design decisions that favor correctness over performance. The toolchain has a built in verifier that
enforces these design decisions at runtime. This is unlike most runtimes that leverage an independent static
verification step to avoid runtime penalties. That said, the `mu verify` command will run the verifier independently.
## Metadata
Each package may contain self-describing metadata, such as a name, and optional attributes that are common in package