Larol Language Specification¶

Welcome to the Larol language specification. Larol is a general purpose programming language focused on explicit capabilities and region-based memory management.

Sections¶

Lexical¶

• Identifiers
• Comments

Types¶

• Primitive Types
• Handle Types
• Capability Types
• Function Pointer Types

Expressions¶

• Primary Expressions
• Operators

Statements¶

• Variables and Assignment
• Control Flow
• Move Semantics
• Region Scopes

Declarations¶

• Functions
• Structs
• Constants

Compilation¶

• Modules and Directives
• Model and Output

Terminology¶

The keywords MUST, MUST NOT, REQUIRED, SHALL, SHALL NOT, SHOULD, SHOULD NOT, RECOMMENDED, MAY, and OPTIONAL, when appearing in bold and all capitals, are to be interpreted as described in RFC 2119.

Compliance¶

A compliant implementation of this specification MUST implement all mandatory language features defined herein and MUST enforce all normative constraints specified by this specification.