v6 Types

Goal

Static checking on a dynamic runtime.

Types

• number, bool, string, nil
• array<T>
• map<K,V>
• fn(T...) -> T

Where

• let/var annotations
• param annotations
• return type required

Inference

• from initializer
• empty array/map needs annotation

Operators

• numeric math only
• string concat only
• boolean logic only