cs330_f2016:rackethof2
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
cs330_f2016:rackethof2 [2016/09/13 15:04] morse |
cs330_f2016:rackethof2 [2021/06/30 23:42] (current) |
||
|---|---|---|---|
| Line 16: | Line 16: | ||
| * ''default-parms'' - decorates a function to add default parameter values | * ''default-parms'' - decorates a function to add default parameter values | ||
| * ''type-parms'' - decorates a function to enforce parameter type checking | * ''type-parms'' - decorates a function to enforce parameter type checking | ||
| + | * ''new-sin2'' - a decorated version of your earlier ''new-sin'' that fills in default parameters and enforces correct types for all parameters | ||
| You will also chain these together to add both parameter type checking and default parameters to a function. | You will also chain these together to add both parameter type checking and default parameters to a function. | ||
| Line 43: | Line 44: | ||
| (define g (type-parms f (list number? string?)) | (define g (type-parms f (list number? string?)) | ||
| </code> | </code> | ||
| - | would result in a function ''g'' such that ''(g 0 "hello")'' behaves just like ''(f 0 "hello")'', but passing anything but a number for the first parameter or anything other than a string for the second parameter results in an error message. | + | would result in a function ''g'' such that ''(g 0 "hello")'' behaves just like ''(f 0 "hello")'', but passing anything but a number for the first parameter or anything other than a string for the second parameter results in an error message, by calling ``(error "ERROR MSG")``. |
| Hint: You may want to write a small helper function that takes a list of values and a list of type predicates, then makes sure each of the values satisfies the respective type predicate. This is straightforward to write recursively. Can you write it in shorter form by mapping a two-parameter function pairwise on the lists? | Hint: You may want to write a small helper function that takes a list of values and a list of type predicates, then makes sure each of the values satisfies the respective type predicate. This is straightforward to write recursively. Can you write it in shorter form by mapping a two-parameter function pairwise on the lists? | ||
| Line 54: | Line 55: | ||
| <code racket> | <code racket> | ||
| - | (define g (type-parms | + | (define g (default-parms |
| - | (default-parms f | + | (type-parms |
| - | (list 0 "")) | + | f |
| - | (list number? string?))) | + | (list number? string?)) |
| + | (list 0 ""))) | ||
| </code> | </code> | ||
| would result in a function ''g'' that fills in any missing parameters with ''0'' and ''""'' respectively, and then verifies that the passed parameters are a number and a string. | would result in a function ''g'' that fills in any missing parameters with ''0'' and ''""'' respectively, and then verifies that the passed parameters are a number and a string. | ||
| Line 64: | Line 66: | ||
| * uses ''0'' and '''radians'' as defaults for the parameters, and | * uses ''0'' and '''radians'' as defaults for the parameters, and | ||
| * verifies that the first parameter is a number and that the second parameter is a symbol. | * verifies that the first parameter is a number and that the second parameter is a symbol. | ||
| + | This must be created using ''default-parms'' and ''type-parms'', not hand-coded. | ||
| ---- | ---- | ||
| Line 72: | Line 75: | ||
| Your code only needs to return correct values given correct inputs. | Your code only needs to return correct values given correct inputs. | ||
| - | ---- | + | Note: catching incorrectly typed inputs is part of the specified functionality for the ''type-parms'' decorator, so the functions generated by it should specifically detect and report that type of error. |
| + | ---- | ||
| ====Hints:==== | ====Hints:==== | ||
cs330_f2016/rackethof2.1473779081.txt.gz · Last modified: 2021/06/30 23:40 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
