Lecture 3 (Pre-Recorded)

Compound Functions

Rules of computation in Racket

• If it’s a constant (a number or string)
• It’s its own value
• Return it

​

• If it’s a variable name (e.g. a word, hyphenated-phrase, or symbol like +)
• Look up its value in the dictionary
• Return (output) it

​

• If it has parens
• (i.e. it looks like "(a b c …)”)
• Find the values of a, b, c, etc. using these same rules
• The value of a had better be a function
• Call it with the values of b, c, etc. as inputs
• Return its output

How do we make a square?

How do we make a row of squares?

How do we make a grid?

Wow, that’s a lot of typing…

(above (beside (square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black"))

(beside (square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black"))

(beside (square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black"))

(beside (square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black")))

Wow, that’s a lot of typing…

(above (beside (square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black"))

(beside (square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black"))

(beside (square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black"))

(beside (square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black")

(square 50 "outline" "black")))

Why isn't there some way of telling Racket: "whenever I say quack I really mean 'draw a square in outline mode that's black and is size 50'"...

defining new names

Defining new names

(define name value)

• Tells system that name now refers to value
• name must be a valid variable name
• But value can be an arbitrary expression
• Has to be executed to take effect
• Naming is the most basic abstraction mechanism
• Here we're naming a variable – after we define it, anytime we use this name Racket will use whatever value we stored inside it
• Example: (define netid "abc1234") means that after I run this line of code, whenever Racket reads the name netid and substitute in the value "abc1234"

Simplifying with names

(define unit �(square 50 "outline" "black"))

(above (beside unit unit unit unit)

(beside unit unit unit unit)

(beside unit unit unit unit)

(beside unit unit unit unit))

define isn’t a function

Why?

Rules of computation in Racket

• If it’s a constant (a number or string)
• It’s its own value
• Return it

​

• If it’s a variable name (e.g. a word, hyphenated-phrase, or symbol like +)
• Look up its value in the dictionary
• Return (output) it

​

• If it has parens
• (i.e. it looks like "(a b c …)”)
• Find the values of a, b, c, etc. using these same rules
• The value of a had better be a function
• Call it with the values of b, c, etc. as inputs
• Return its output

Special forms

• Define is a special case that works differently from function calls
• For a function call you always replace input expressions with their values
• But if you’re defining a variable, it doesn’t have a value yet!

​

• There are a few special kinds of expressions like this, called special forms
• We’ll learn a few more, but not very many

This...still isn't that nice to write.

(define unit �(square 50 "outline" "black"))

(above (beside unit unit unit unit)

(beside unit unit unit unit)

(beside unit unit unit unit)

(beside unit unit unit unit))

How can we do better?

(Don’t say “loop”; we won’t get to those until next time

Name the row

(define unit� (square 50 "outline" "black"))

(define row (beside unit unit unit unit))

(above row row row row)

Your client called

Now they also want one with circles rather than squares

New and improved

(define circ-unit� (circle 25 � "outline" � "black"))

(define circ-row� (beside circ-unit circ-unit� circ-unit circ-unit))

(above circ-row circ-row � circ-row circ-row)

Your client called

Now they want a grid of grids of circles rather than squares

What’s wrong with this?

• Defining unit and row saves us a little bit of work, but …
• What we really want to do is to name the pattern of making a grids of shapes…
• We need more abstraction

What we want to be able to say

(grid (circle 25 "outline" "black"))

What kind of a thing is grid?

• Well, it takes inputs
• It returns an output
• It must be a function!!!

​

• In fact, we even know what it should do
• It should make a row from its input
• Then make a stack of the rows
• And return it back to us

lambda expressions

Compound functions

(lambda (name₁ name₂ … name_n) output-expression)

(λ (name₁ name₂ … name_n) output-expression)

Remember, functions are just another data object!

You can construct new functions from old code using λ expressions

• name₁ name₂ … name_n are names to give to the inputs of the function when it’s called
• output-expression is an expression to compute the output of the function

​

Note: you type the λ symbol by typing command-\ on Macs or control-\ on Windows

Compound functions

(lambda (name₁ name₂ … name_n) output-expression)

(λ (name₁ name₂ … name_n) output-expression)

Remember, functions are just another data object!

When called, the function

• Substitutes its inputs for name₁ name₂ … name_n in output-expression
• Computes the value of the resulting expression
• Returns it

Compound functions

(lambda (name₁ name₂ … name_n) output-expression)

(λ (name₁ name₂ … name_n) output-expression)

If you call (λ (x) (+ x 1)) with an input of 2

• It take the output expression, (+ x 1)
• Substitutes 2 in for x to get (+ 2 1)
• And runs it to get 3
• 3 is the output of the call

So ((λ (x) (+ x 1)) 2) is a function call

• The function is (λ (x) (+ x 1))
• The input is 2
• It simplifies it to (+ 2 1)
• And outputs 3

Defining grid

(define row� (λ (unit)� (beside unit unit unit unit)))

​

(define stack� (λ (unit)� (above unit unit unit unit)))

​

(define grid�(λ (unit)� (stack (row unit))))

​

Using / Running grid

(define row� (λ (unit)� (beside unit unit unit unit)))

​

(define stack� (λ (unit)� (above unit unit unit unit)))

​

(define grid�(λ (unit)� (stack (row unit))))

(grid (circle 25 "solid" "blue"))

Using / Running grid

(define row� (λ (unit)� (beside unit unit unit unit)))

​

(define stack� (λ (unit)� (above unit unit unit unit)))

​

(define grid�(λ (unit)� (stack (row unit))))

(grid (circle 25 "solid" "blue"))

notating�type signatures

Type signatures

• It’s important to keep track of what types of inputs and outputs are required by each function
• We call this a function's type signature
• You should always think about the type signature of a function when you use it
• And whether the types of the inputs match up

​

Code comments

• Racket ignores anything after a semicolon (;) in your code
• Up to the end of the line
• These are known as comments
• Nearly all programming languages have them
• You can use that as a way of writing notes to yourself in the code

Notating type signatures in code

• It’s good practice when writing functions to notate their type signatures
• We do that in Racket by using an ->

function name: input types … -> output type

​

square: number string color -> image

Notating type signatures in code

• So we’re going to notate that grid, row, and stack expect images as inputs and produce images as outputs:

grid: image -> image

row: image -> image

stack: image -> image

​

Signature and purpose

; grid: image -> image�; Make a grid of identical pictures

(define grid� (λ (unit)� (stack (row unit))))

• In this class, when you write a function, you should always start with a comment:
• Noting its type signature
• And a short purpose statement: what does the function do?
• This helps you clarify your thinking about what you’re trying to write
• If you can’t write these, then you aren’t ready to write the function!

Defining grid

; grid: image -> image�; Make a grid of identical pictures

(define grid�(λ (unit)� (stack (row unit))))

; row: image -> image�; Make a row of identical pictures

(define row� (λ (unit)� (beside unit unit unit unit)))

; stack: image-> image�; Make a stack of identical pictures

(define stack� (λ (unit)� (above unit unit unit unit)))

​