define
statements introduce identifiers into our programs.
In the reading, we developed an initial mental model of computation for Scheme programs by examining how expressions compute.
In today’s lab, we’ll gain practice using that model to predict the behavior of simple Scheme programs.
We’ll then enhance that model with the define
construct that we have seen throughout our readings.
For our labs, you will keep the same partner throughout the week so that you can coordinate your lab turn-ins with them. Recall that labs for the week are all due on Saturday, so make sure to talk with your partner about setting aside time outside of class to finish up labs, if needed!
Each lab will have an entry on Gradescope. Some labs will require you to turn in one or more source files that you develop. Other labs, such as this one, will have you work primarily on paper and then turn in an image or scan of your work. Note that even though this is a computer programming course, writing on paper is a powerful tool to foster creative thought! We encourage you to sketch out ideas, take notes, or otherwise brainstorm on paper whenever possible.
Finally, like our first lab, we will have distinguished driver/navigator roles where:
Each problem will designate person A or person B to be the driver, so make sure to choose who is person A and person B in your group!
For this problem, alternate drivers between each expression.
Consider the following arithmetic expressions.
(Recall that the function (expt a b)
computes \(a^b\).)
For each of these arithmetic expressions:
.scm
file.
Remember to use (display ...)
to output the results of the computation to the output pane!For this problem, alternate drivers between each expression.
In the reading, we introduced the syntax of expressions. It is easy to think of program constructs as fixed elements that must appear exactly as-presented in our programs. However, these program constructs are far more like highly-composable building blocks that, provided we understand how they connect, we can put together however we would like in order to express our computations.
In this problem, we’ll take a look at identifying the various parts of expressions of significant complexity. For each of the following expressions, identify:
In addition to this information, try to “read” the expression and in a sentence, describe what you believe the expression evaluates to. Check your work in Scamper.
(import image)
; (a)
(display
(string-length
(string-append "hello"
" "
"world!")))
; (b)
(display (+ 32 (* 8 60) (* (/ 1 2) 4 (expt 60 2))))
; (c)
(display (odd? (length (string-split "4,9,10,11,2,3" ","))))
; (d)
(define width 100)
(define height 100)
(define alpha 0.5)
(display
(overlay
(beside
(rectangle width height "solid" (color 255 0 0 alpha))
(rectangle (* width 0.75) (* height 0.75) "solid" (color 0 255 0 (* alpha 0.75)))
(rectangle (* width 0.5) (* height 0.5) "solid" (color 0 0 255 (* alpha 0.5)))
(rectangle (* width 0.25) (* height 0.25) "solid" (color 0 0 0 (* alpha 0.25))))
(beside
(rectangle (* width 0.25) (* height 0.25) "solid" (color 0 0 0 (* alpha 0.25)))
(rectangle (* width 0.5) (* height 0.5) "solid" (color 0 0 255 (* alpha 0.5)))
(rectangle (* width 0.75) (* height 0.75) "solid" (color 0 255 0 (* alpha 0.75)))
(rectangle width height "solid" (color 255 0 0 alpha)))))
Finally, with your partner, review your results for parts (a) and (c) and consider this statement:
When reading Scheme expressions, read them “inside-out” or “right-to-left.”
Explain why this statement makes sense given what you know about how expressions evaluate and how they are syntactically formed.
In previous readings, we introduced define
as a construct that allowed us to introduce variables or identifiers into our programs:
> (define x 10)
> (display (+ x 1))
11
Let’s go through the process of trying to understanding how define
in Scheme programs.
Along the way we’ll update our mental model of computation to account for what we observe in our experimentation.
Note that this problem is a microcosm of the language-learning experience.
As you learn new constructs and techniques, you’ll find that your current understanding of how program works does not account for these things, and you will evolve your learning.
Usually this evolution amounts to abstracting your understanding so that it applies to more scenarios than before!
Driver: A
At first glance the define
construct above looks similar to the operator form or function call form of expressions we identified in the reading:
(<identifier> <expr1> ... <exprk>)
If this was the case, this implies that we can use define
anywhere an expression is considered.
For example, perhaps we can get the same effect as the code above by inlining the define
into the addition:
> (+ (define x 10) 1)
define
as an expression, similar to the give example case.
For inspiration, try replacing a value in an expression you’ve written already with (define x <value>)
.define
form an expression?Driver: B
From the previous part, you should have concluded that define
is not an expression!
We certainly do not seem to be able to put a define
form anywhere an expression is expected.
Consequently, we must ask ourselves: what syntactic category is a define
and how does it relate to expressions?
It turns out that define
is an example of a syntactic category distinct from expressions; it is a statement!
A statement is a construct that produces an effect in our program.
We’ll have more to say about “effects” in our programs later in the course.
For now, we’ll say that the “effect” of a define
statement is simple: it binds a value to an identifier.
In the example that started this problem, we bound 10
to the identifier x
.
Consequently, whenever we mention x
in our program, we really mean the value that is bound to that identifier, 10
in this case.
First let’s address the syntax of a define
.
So we far, we have seen that define
takes the following form:
(define <??> <??>)
Where we haven’t quite defined what goes in the <??>
yet.
We assumed that a define
statements binds an identifier, so it stands to reason that the first placeholder should be an identifier:
(define <identifier> <??>)
With your partner, try out define
statements with different constructs in the last position.
You should try out various constructs that you’ve learned in the reading so far, in particular, the different forms of expressions.
From your experimentation, describe in a sentence what can appear in the final position of a define
statement and complete the syntax rule with the syntactic category allowed in that position.
Driver A
Now let’s think about how define
statements execute.
In short, we execute statements in our program in top-down fashion.
However, subtleties arise in this execution model that we should consider.
For each of the following programs:
Note that some of these programs produce errors; that is intentional!
; (i)
(define x 5)
(define y (* 5 8))
(define z (+ 1 1))
(display (+ x y z))
; (ii)
(define x 20)
(define y (* x 20))
(define z (* y y))
(display (+ x y z))
; (iii)
(define x 10)
(define y (+ x z))
(define z (* x 2))
(display (+ x y z))
; (iv)
(define x 10)
(define y (+ x 1))
(define x (* y 2))
(display (+ x y))
Driver B
Finally, with statements and their operations crystallized, let’s try to summarize everything we’ve learned between the reading and lab for today. We have a number of syntactic constructs and categories:
define
, identifier binding,First, write down the rules for well-formed expressions and well-formed statements. Recall, we wrote down the definition of well-formed expressions as follows:
Definition (Well-formed Expressions): a well-formed Scheme expression is either:
"<text>"
, or(<identifier> <expr1> ... <exprk>)
.Update this definition in light of your experimentation with define
statements.
Are there any other constructs from the list that we should allow as expressions?
Next, we’ll summarize what a well-formed Scheme program is:
Definition (Well-formed Program): a well-formed Scheme program is a collection of statements.
With this definition, we just need to define what are the allowable forms for a statement. Complete this definition based on your experimentation:
Definition (Well-formed Statements): a well-formed Scheme statement is … .
Note that we have actually seen two statement forms in Scheme!
Think about what our programs looked like before we introduced define
statements.
What other syntactic category is considered a statement in Scheme?
Finally, for this additional statement form, write down what the effect that is produces when it is evaluated.
The effect that a define
produces is “create an identifier for subsequent use in the program.”
What do you observe in the output window when you evaluate this statement form?