Always Bag, or you'll end up with little side effects running around
Myelin is a side-effectful language, with the ability to denote certain constructs as Safe.
The formal definition of the syntax of the language.
The formal definition of the static and dynamic semantics of the language.
The implementation of the parser of the language.
The implementation of an interpreter for the language.
The implementation of a compiler for the language.