Glossary

abstract

An abstract type describes properties common to many other types but cannot itself be represented.

alias

An alias is a local name for a symbol defined in another module. An alias may be specified on an import.

ambiguity

An ambiguity results when the language processor cannot uniquely determine which of several constructors to run for a given segment of text because the segment is recognized by more than one production. The competing productions do not have to be in the same rule. Ambiguities are resolved by refactoring the grammar and applying precedence directives.

apply

A computed value is applied to its arguments to yield a new value.

arity

Arity is the number of arguments a computed value requires.

ascribe

Ascribing a type ...

Get The “Oslo” Modeling Language now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.