graphix-stdlib 0.3.1

A dataflow language for UIs and network programming, standard library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

# Named Types

You can name types to avoid having to type them more than once. Named types are
just aliases for the full structure of the type they reference. The fully
written out type is the same as the alias and visa versa. Lets go back to our
foods example from the section on variants.

```
type FoodKind = [
  `Vegetable,
  `Fruit,
  `Meat,
  `Grain,
  `Other(string)
];

let v: FoodKind = `Vegetable;
let f = |food: FoodKind| ...
```

Aliases are very useful for more complex types that are used many times.
Selective annotations can also help the type checker make sense of complex
program structures.

In the next section you'll see that we can do a lot more with them.