Ghost type system example

types.ghost

// Short assignment example
a := "hello"

// Type system assignment example
b : string                    = "world"
c : number                    = 123
d : list[string]              = ["foo", "bar"]
e : map{string: list[number]} = {
    "foo": [10, 20],
    "bar": [30, 40],
}

// Ghost's basic types are:
// - boolean
// - string
// - number
// - list
// - map