• View
• Edit
• History
• Print

Syntax and Semantics

To define the syntax we first need to define a notation and what kinds of tokens or terminal symbols appear in the language. Semantics will be defined by giving explanations in natural language.

• Notation of Syntax Rules
• Tokens

A program consists of a series of function definitions. Function definitions describe computations by using (nested) expressions that produce values.

• Explanation of Values
• Program and Function Definitions
• Guards
• Expressions
• The Main Function
• Standard Library Handling

The following sections summarize different aspects of the language.

• Syntactic Sugar for Constructors
• Syntactic Sugar for Operators
• Complete Grammar
• Complete Grammar for Bison

HomePage | Standard Library >