running.
Formerly, static typing required the programmer to add lots of annotations in
-her source code explicitly specifying what they type of each function argument
+her source code explicitly specifying what the type of each function argument
is, what the type of the function's return value was, and so on. This is
tedious, and partly for this reason dynamically typed languages have become
popular and are thought of as easier to work with. However, nowadays statically