Home

FAI Language Wiki

Wiki contributing guidelines

Get Started

• Running FAI
• Quick start

Draft 1.0 Specification

Types

• Number
• Function
• Boolean
• String
• Union*
  • Undefined**
• Vector
• Tuple

* Ignoring implementation details, a union is not a type per say, but rather multiple values bound into a common name.

** The precise meaning of undefined is still in flux, but the primary idea is that undefined represents a lack of any values so, similar to unions, undefined would not exactly be a "type."

Statements

• Import
• Definition

Non-Literal Expressions

• Invoke expression
• Relational operators
• Binary operators
• Prefix operators
• Piecewise expression
• Index operator

Externally-provided constraints and features

• Reserved names
• Built-ins (Standard Library)
  • Number built-ins
  • Collection built-ins
  • Type built-ins
• Importers

Other Details

• Order of operations
• Errors
• Type evaluation