gcsl syntax update

[srliao]

Short documentation of discussions/thoughts re #1148

Variables

A variable is a storage for hold a value. Set of permissible values is determined by the variable's type. Certain variable type can have the value nil which has no type.

Types

• number
• string
• bool
• map
• fn
• character
• action

map

A map is an unordered group of elements of one type, called the element type, indexed by a set of unique keys of another type, called the key type. The value of an uninitialized map is nil

fn

A function type is the set of all functions with the same parameter and result types (the signature). Value of uninitialized variable of a function type is nil

for example:

fn (number) number
fn () number
fn (bool) char

each of these is a distinct type

character

A character is a special type with the following special methods:

• character.skill() where skill() has type fn() action
• character.burst() where burst() has type fn() action
• etc...

It is not possible to create new characters

action

An action is a special type with the following special methods:

• action.exec(p) where exec(p) has type fn(map)