MMT uses generic literals. That means that the MMT syntax does not commit to a particular set of literals. This is a deviation from most other languages, which usually use a fixed built-in set of literals. For example, OpenMath fixes unlimited precision integers, floating point numbers, strings, and byte arrays as literals.
MMT literals are
To use literals, first create a Scala instance of
uom.SemanticType,, which captures the set of literals and optionally defines a lexing rule for them.
Various ready-to-use semantic types (e.g., for numbers, strings), operators on semantic types (e.g., for subtypes, quotients, and products (e.g., for defining rational number literals)), and lexing rules (e.g., for numbers, quoted strings) can be found by following the API documentation.
Then create a Scala instance of
uom.RealizedType, which ties an MMT symbol Syn to a semantic type Sem. Declare that Scala object as a rule in your MMT theory Thy to make the set of Sem-values legal Thy-terms of Thy-type Syn.
The lexing rule
StringInterpolationLexer allows for Scala-style string interpolation.
The result is usually not a literal, but an application of an MMT symbol to some literals and other terms.
MMT notations are available as literals via the rule
That allows using notations inside MMT terms (e.g., when writing record terms) or obtain notations that are the result of computations.