Finally, we need a list of people. Since all people are descendants of
albert, let’s say so.

people==descendants"albert"

Type: Void

We have used == to define the database and some functions to query the
database. But no computation is done until we ask for some information.
Then, once and for all, the functions are analyzed and compiled to
machine code for run-time efficiency. Notice that no types are given
anywhere in this example. They are not needed.