Programming Warmup, CSC430, Winter 2024
1 Guidelines
For this and all remaining assignments, every function you develop must come with the following things:
A commented purpose statement line that expresses the result of the function in terms of its inputs, written in English. Be as precise as you can within the space of a line or two,
type declarations for argument and return types, and
test cases. A function without test cases is incomplete. Write the test cases first (please!).
For this assignment, you must develop your solutions using the typed/racket language. Your test cases must use the (check-equal? ...) or (check-= ...) form. Use check-= to check for equality of numbers, especially when they can be inexact (floating-point) numbers.
Your solution should take the form of a single file. Solve each problem separately, ands make sure that each solution appears in a separate part of the file, with comments separating each problem’s solution.
Hand in your solution using the handin server. For help with the handin server, please see the course web page.
1.1 Mutation
There’s no need for mutation in any of the first three assignments in this class. Don’t mutate bindings, and don’t mutate structure fields. Not sure what this means? That’s okay, just don’t call functions that have "set" and an exclamation point (bang) in them.
1.2 A note on Numbers
For this assignment (as well as all the others), there’s no need for complex numbers. Accordingly, you should use the type Real rather than the type Number. This will save you some hassle in using the check-= form that checks for numeric near-equality.
2 Assignment
2.1 Some Textbook Problems
Solve the following two problems from an older copy of the textbook How To Design Programs, available online at www.htdp.org:
Note: These problems come with solutions. I would encourage you to write your own solutions first, including all of the steps of the design recipe. Then, go ahead and take a look at the ones linked to on the web page.
2.2 Magic Tricks
Here is a data definition for magic tricks:
; a magic-trick is either ; - (Card-Trick decks volunteers), ; where decks is a number and volunteers is an integer, ; representing a card trick that requires the given ; number of card decks and audience volunteers, or ; - (Guillotine realism has-tiger?), ; where realism is a number indicating the level of ; realism from 0 up to 10 and has-tiger? is a boolean, ; representing a guillotine trick with the given level ; of realism and an optional tiger.
Develop the function trick-minutes, that computes how long a trick will take. Assume that a card trick requires one minute per deck of cards and that its length is doubled for every volunteer required, and that a guillotine trick requires ten minutes unless it has a tiger, in which case it requires 20.
2.3 Low-degree Polynomials
Develop a data definition for a polynomial (with type name Polynomial) that includes variants for linear (Ax + B) and quadratic (Ax^2 + Bx + C) polynomials of one variable. Call the variants Linear and Quadratic; each should accept the coefficients in the order given here (i.e., A comes first). For the purposes of this and the next problem, you should assume that the first coefficient (A) of a quadratic polynomial is never zero. The first coefficient of a linear polynomial, however, may be zero.
Next, define the function interp that accepts a polynomial and a value for the variable and produces the result of plugging in the value for the variable.
2.4 Derivative
Using the data definition you developed in the last problem, develop the function derivative that accepts a polynomial and returns another polynomial that represents its derivative. Ensure that your derivative function does not return a quadratic polynomial whose first coefficient is zero.
2.5 Binary Tree
Develop a data definition for a full binary tree called BTree with symbols in each node but no values at the leaves. Its variants should be named Leaf and Node. Every node has exactly two children. The symbol should be the first argument to your Node structure. Include a define-type and at least three examples of the data.
2.6 Max-Right-Skew-Depth
Using the BTree data definition, develop the max-right-skew-depth function that accepts a binary tree and returns the value of the highest-value path from the root to a leaf, where a left-branch is worth one point, and a right branch is worth 1.5 points. So, for instance, a path from root to leaf that went left-right-right would be worth 4 points.
2.7 Double Containment
Using the same data definition, develop the contains-twice? function that accepts a binary tree and a symbol and returns true when the given tree contains at least two nodes with the given symbol.
2.8 Substitution
Using the same data definition, develop the subst function that accepts a source BTree and a symbol and a replacement BTree and returns a new tree where every node of the source tree containing the symbol is replaced (along with all of its descendants) by the replacement tree. (Make sure the source tree is the first argument to the subst function, or my tests will all fail....)
2.9 All Path Lengths
OPTIONAL: Using the BTree data definition, develop the all-path-lengths function that accepts a binary tree and returns a list containing the lengths of all of the paths from the root to each leaf. A tree that is simply a leaf has a single path length of zero.
This problem will probably require one or more helper functions; try to make sure that your helper functions are well-named, with good purpose statements.