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.
Kostis Sagonas kostis
kostis
/ map_spec_extension_proposal.md
Last active
April 13, 2016 20:15
— forked from margnus1/map_spec_extension_proposal.md
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.