In the context of programming, a function is a named sequence of statements that performs a computation. When you define a function, you specify the name and the sequence of statements. Later, you can “call” the function by name.
We have already seen one example of a function call:
julia>
println
(
"Hello, World!"
)
Hello, World!
The name of the function is println
. The expression in parentheses is called the argument of the function.
It is common to say that a function “takes” an argument and “returns” a result. The result is also called the return value.
Julia provides functions that convert values from one type to another. The parse
function takes a string and converts it to any number type, if it can, or complains otherwise:
julia>
parse
(
Int64
,
"32"
)
32
julia>
parse
(
Float64
,
"3.14159"
)
3.14159
julia>
parse
(
Int64
,
"Hello"
)
ERROR: ArgumentError: invalid base 10 digit 'H' in "Hello"
trunc
can convert floating-point values to integers, but it doesn’t round off; it chops off the fraction part:
julia>
trunc
(
Int64
,
3.99999
)
3
julia>
trunc
(
Int64
,
-
2.3
)
-2
float
converts integers to floating-point numbers:
julia>
float
(
32
)
32.0
Finally, string
converts its argument to a string:
julia>
string
(
32
)
"32"
julia>
string
(
3.14159
)
"3.14159"
In Julia, most of the familiar mathematical functions are directly available. The following example uses log10
to compute a signal-to-noise ratio in decibels (assuming that signal_power
and noise_power
are defined). log
, which computes natural logarithms, is also provided:
ratio
=
signal_power
/
noise_power
decibels
=
10
*
log10
(
ratio
)
This next example finds the sine of radians
. The name of the variable is a hint that sin
and the other trigonometric functions (cos
, tan
, etc.) take arguments in radians:
radians
=
0.7
height
=
sin
(
radians
)
To convert from degrees to radians, divide by 180 and multiply by :
julia>
degrees
=
45
45
julia>
radians
=
degrees
/
180
*
π
0.7853981633974483
julia>
sin
(
radians
)
0.7071067811865475
The value of the variable π
is a floating-point approximation of , accurate to about 16 digits.
If you know trigonometry, you can check the previous result by comparing it to the square root of 2 divided by 2:
julia>
sqrt
(
2
)
/
2
0.7071067811865476
So far, we have looked at the elements of a program—variables, expressions, and statements—in isolation, without talking about how to combine them.
One of the most useful features of programming languages is their ability to take small building blocks and compose them. For example, the argument of a function can be any kind of expression, including arithmetic operators:
x
=
sin
(
degrees
/
360
*
2
*
π
)
and even function calls:
x
=
exp
(
log
(
x
+
1
))
Almost anywhere you can put a value, you can put an arbitrary expression, with one exception: the left side of an assignment statement has to be a variable name. We’ll see exceptions to this later, but as a general rule any other expression on the left side is a syntax error:
julia>
minutes
=
hours
*
60
# right
120
julia>
hours
*
60
=
minutes
# wrong!
ERROR: syntax: "60" is not a valid function argument name
So far, we have only been using the functions that come with Julia, but it is also possible to add new functions. A function definition specifies the name of a new function and the sequence of statements that run when the function is called. Here is an example:
function
printlyrics
()
println
(
"I'm a lumberjack, and I'm okay."
)
println
(
"I sleep all night and I work all day."
)
end
function
is a keyword that indicates that this is a function definition. The name of the function is printlyrics
. The rules for function names are the same as for variable names: they can contain almost all Unicode characters (see “Characters”), but the first character can’t be a number. You can’t use a keyword as the name of a function, and you should avoid having a variable and a function with the same name.
The empty parentheses after the name indicate that this function doesn’t take any arguments.
The first line of the function definition is called the header; the rest is called the body. The body is terminated with the keyword end
, and it can contain any number of statements. For readability the body of the function should be indented.
The quotation marks must be "
straight quotes,"
usually located next to Enter on the keyboard. “Curly quotes,” like the ones in this sentence, are not legal in Julia.
If you type a function definition in interactive mode, the REPL indents to let you know that the definition isn’t complete:
julia>
function
printlyrics
()
println
(
"I'm a lumberjack, and I'm okay."
)
To end the function, you have to enter end
.
The syntax for calling the new function is the same as for built-in functions:
julia>
printlyrics
()
I'm a lumberjack, and I'm okay.
I sleep all night and I work all day.
Once you have defined a function, you can use it inside another function. For example, to repeat the previous refrain, we could write a function called repeatlyrics
:
function
repeatlyrics
()
printlyrics
()
printlyrics
()
end
And then call repeatlyrics
:
julia>
repeatlyrics
()
I'm a lumberjack, and I'm okay.
I sleep all night and I work all day.
I'm a lumberjack, and I'm okay.
I sleep all night and I work all day.
But that’s not really how the song goes.
Pulling together the code fragments from the previous section, the whole program looks like this:
function
printlyrics
()
println
(
"I'm a lumberjack, and I'm okay."
)
println
(
"I sleep all night and I work all day."
)
end
function
repeatlyrics
()
printlyrics
()
printlyrics
()
end
repeatlyrics
()
This program contains two function definitions: printlyrics
and repeatlyrics
. Function definitions get executed just like other statements, but the effect is to create function objects. The statements inside the function do not run until the function is called, and the function definition generates no output.
As you might expect, you have to create a function before you can run it. In other words, the function definition has to run before the function gets called.
Restart the REPL and move the last line of this program to the top, so the function call appears before the definitions. Run the program and see what error message you get.
Now move the function call back to the bottom and move the definition of printlyrics
after the definition of repeatlyrics
. What happens when you run this program?
To ensure that a function is defined before its first use, you have to know the order statements run in, which is called the flow of execution.
Execution always begins at the first statement of the program. Statements are run one at a time, in order, from top to bottom.
Function definitions do not alter the flow of execution of the program, but remember that statements inside a function don’t run until the function is called.
A function call is like a detour in the flow of execution. Instead of going to the next statement, the flow jumps to the body of the function, runs the statements there, and then comes back to pick up where it left off.
That sounds simple enough, until you remember that one function can call another. While in the middle of one function, the program might have to run the statements in another function. Then, while running that new function, the program might have to run yet another function!
Fortunately, Julia is good at keeping track of where it is, so each time a function completes, the program picks up where it left off in the function that called it. When it gets to the end of the program, it terminates.
In summary, when you read a program, you don’t always want to read from top to bottom. Sometimes it makes more sense if you follow the flow of execution.
Some of the functions we have seen require arguments. For example, when you call sin
you pass a number as an argument. Some functions take more than one argument: parse
takes two, a number type and a string.
Inside the function, the arguments are assigned to variables called parameters. Here is a definition for a function that takes an argument:
function
printtwice
(
bruce
)
println
(
bruce
)
println
(
bruce
)
end
This function assigns the argument to a parameter named bruce
. When the function is called, it prints the value of the parameter (whatever it is) twice.
This function works with any value that can be printed:
julia>
printtwice
(
"Spam"
)
Spam
Spam
julia>
printtwice
(
42
)
42
42
julia>
printtwice
(
π
)
π = 3.1415926535897...
π = 3.1415926535897...
The same rules of composition that apply to built-in functions also apply to programmer-defined functions, so we can use any kind of expression as an argument for printtwice
:
julia>
printtwice
(
"Spam "
^
4
)
Spam Spam Spam Spam
Spam Spam Spam Spam
julia>
printtwice
(
cos
(
π
))
-1.0
-1.0
The argument is evaluated before the function is called, so in these examples the expressions "Spam "^4
and cos(π)
are only evaluated once.
You can also use a variable as an argument:
julia>
michael
=
"Eric, the half a bee."
"Eric, the half a bee."
julia>
printtwice
(
michael
)
Eric, the half a bee.
Eric, the half a bee.
The name of the variable we pass as an argument (michael
) has nothing to do with the name of the parameter (bruce
). It doesn’t matter what the value was called back home (in the caller); here in printtwice
, we call everybody bruce
.
When you create a variable inside a function, it is local, which means that it only exists inside the function. For example:
function
cattwice
(
part1
,
part2
)
concat
=
part1
*
part2
printtwice
(
concat
)
end
This function takes two arguments, concatenates them, and prints the result twice. Here is an example that uses it:
julia>
line1
=
"Bing tiddle "
"Bing tiddle "
julia>
line2
=
"tiddle bang."
"tiddle bang."
julia>
cattwice
(
line1
,
line2
)
Bing tiddle tiddle bang.
Bing tiddle tiddle bang.
When cattwice
terminates, the variable concat
is destroyed. If we try to print it, we get an exception:
julia>
println
(
concat
)
ERROR: UndefVarError: concat not defined
Parameters are also local. For example, outside printtwice
, there is no such thing as bruce
.
To keep track of which variables can be used where, it is sometimes useful to draw a stack diagram. Like state diagrams, stack diagrams show the value of each variable, but they also show the function each variable belongs to.
Each function is represented by a frame. A frame is a box with the name of a function beside it and the parameters and variables of the function inside it. The stack diagram for the previous example is shown in Figure 3-1.
The frames are arranged in a stack that indicates which function called which. In this example, printtwice
was called by cattwice
, and cattwice
was called by Main
, which is a special name for the topmost frame. When you create a variable outside of any function, it belongs to Main
.
Each parameter refers to the same value as its corresponding argument. So, part1
has the same value as line1
, part2
has the same value as line2
, and bruce
has the same value as concat
.
If an error occurs during a function call, Julia prints the name of the function, the name of the function that called it, and the name of the function that called that, all the way back to Main
.
For example, if you try to access concat
from within printtwice
, you get an UndefVarError
:
ERROR: UndefVarError: concat not defined
Stacktrace:
[1] printtwice at ./REPL[1]:2 [inlined]
[2] cattwice(::String, ::String) at ./REPL[2]:3
This list of functions is called a stacktrace. It tells you what program file the error occurred in, and what line, and what functions were executing at the time. It also shows the line of code that caused the error.
The order of the functions in the stacktrace is the inverse of the order of the frames in the stack diagram. The function that is currently running is at the top.
Some of the functions we have used, such as the math functions, return results; for lack of a better name, I call them fruitful functions. Other functions, like printtwice
, perform an action but don’t return a value. They are called void functions.
When you call a fruitful function, you almost always want to do something with the result. For example, you might assign it to a variable or use it as part of an expression:
x
=
cos
(
radians
)
golden
=
(
sqrt
(
5
)
+
1
)
/
2
When you call a function in interactive mode, Julia displays the result:
julia>
sqrt
(
5
)
2.23606797749979
But in a script, if you call a fruitful function all by itself, the return value is lost forever!
sqrt
(
5
)
This script computes the square root of 5
, but since it doesn’t store or display the result, it is not very useful.
Void functions might display something on the screen or have some other effect, but they don’t have a return value. If you assign the result to a variable, you get a special value called nothing
:
julia>
result
=
printtwice
(
"Bing"
)
Bing
Bing
julia>
show
(
result
)
nothing
To print the value nothing
, you have to use the function show
, which is like print
but can handle this special value.
The value nothing
is not the same as the string "nothing"
. It is a special value that has its own type:
julia>
typeof
(
nothing
)
Nothing
The functions we have written so far are all void. We will start writing fruitful functions in a few chapters.
It may not be clear why it is worth the trouble to divide a program into functions. There are several reasons:
Creating a new function gives you an opportunity to name a group of statements, which makes your program easier to read and debug.
Functions can make a program smaller by eliminating repetitive code. Later, if you make a change, you only have to make it in one place.
Dividing a long program into functions allows you to debug the parts one at a time and then assemble them into a working whole.
Well-designed functions are often useful for many programs. Once you write and debug one, you can reuse it.
In Julia, functions can improve performance a lot.
One of the most important skills you will acquire is debugging. Although it can be frustrating, debugging is one of the most intellectually rich, challenging, and interesting parts of programming.
In some ways debugging is like detective work. You are confronted with clues and you have to infer the processes and events that led to the results you see.
Debugging is also like an experimental science. Once you have an idea about what is going wrong, you modify your program and try again. If your hypothesis was correct, you can predict the result of the modification, and you take a step closer to a working program. If your hypothesis was wrong, you have to come up with a new one. As Sherlock Holmes pointed out,
When you have eliminated the impossible, whatever remains, however improbable, must be the truth.
A. Conan Doyle, The Sign of Four
For some people, programming and debugging are the same thing. That is, programming is the process of gradually debugging a program until it does what you want. The idea is that you should start with a working program and make small modifications, debugging them as you go.
For example, Linux is an operating system that contains millions of lines of code, but it started out as a simple program Linus Torvalds used to explore the Intel 80386 chip. According to Larry Greenfield in The Linux Users’ Guide (version beta-1), “One of Linus’s earlier projects was a program that would switch between printing AAAA and BBBB. This later evolved to Linux.”
A named sequence of statements that performs some useful operation. Functions may or may not take arguments and may or may not produce a result.
A statement that runs a function. It consists of the function name followed by an argument list in parentheses.
A value provided to a function when the function is called. This value is assigned to the corresponding parameter in the function.
The result of a function. If a function call is used as an expression, the return value is the value of the expression.
Using an expression as part of a larger expression, or a statement as part of a larger statement.
A statement that creates a new function, specifying its name, parameters, and the statements it contains.
A value created by a function definition. The name of the function is a variable that refers to a function object.
A name used inside a function to refer to the value passed as an argument.
A variable defined inside a function. A local variable can only be used inside its function.
A graphical representation of a stack of functions, their variables, and the values they refer to.
A box in a stack diagram that represents a function call. It contains the local variables and parameters of the function.
A list of the functions that are executing, printed when an exception occurs.
nothing
These exercises should be done using only the statements and other features introduced so far.
Write a function named rightjustify
that takes a string named s
as a parameter and prints the string with enough leading spaces so that the last letter of the string is in column 70 of the display:
julia>
rightjustify
(
"monty"
)
monty
Use string concatenation and repetition. Also, Julia provides a built-in function called length
that returns the length of a string, so the value of length("monty")
is 5
.
A function object is a value you can assign to a variable or pass as an argument. For example, dotwice
is a function that takes a function object as an argument and calls it twice:
function
dotwice
(
f
)
f
()
f
()
end
Here’s an example that uses dotwice
to call a function named printspam
twice:
function
printspam
()
println
(
"spam"
)
end
dotwice
(
printspam
)
Type this example into a script and test it.
Modify dotwice
so that it takes two arguments, a function object and a value, and calls the function twice, passing the value as an argument.
Copy the definition of printtwice
from earlier in this chapter to your script.
Use the modified version of dotwice
to call printtwice
twice, passing "spam"
as an argument.
Define a new function called dofour
that takes a function object and a value and calls the function four times, passing the value as a parameter. There should be only two statements in the body of this function, not four.
Write a function printgrid
that draws a grid like the following:
julia>
printgrid
()
+ - - - - + - - - - +
| | |
| | |
| | |
| | |
+ - - - - + - - - - +
| | |
| | |
| | |
| | |
+ - - - - + - - - - +
Write a function that draws a similar grid with four rows and four columns.
Credit: This exercise is based on an exercise in Practical C Programming, by Steve Oualline (O’Reilly).
To print more than one value on a line, you can print a comma-separated sequence of values:
println
(
"+"
,
"-"
)
The function print
does not advance to the next line:
(
"+ "
)
println
(
"-"
)
The output of these statements is "+ -"
on the same line. The output from the next print statement would begin on the next line.