kostis

Current Syntax

Existing map specification syntax, as was introduced in 17.0, allows the following different syntaxes:

• map() or #{}: the type of any map (of any size).

• #{a => integer(), b => list()}

A map that may only contain keys a and b. If it contains a key a, then it must be mapped to an integer value. Analogously for b.

kostis

Erlang lab

0. Warm-up

In this warm-up section, we introduce some basic tools that facilitate programming in Erlang. After reading this section, you will know how to compile Erlang modules and invoke functions in the Erlang shell, use a Makefile to do repetitive tasks conveniently, and use EUnit and PropEr for testing.