Due Tuesday, February 9, 2015, uploaded to Blackboard.
In this homework we ask you to prove a few things using equational reasoning and induction, and to use the HUnit and QuickCheck tesing frameworks.
1) Prove the following property: map f x ++ map f y = map f (x ++ y). Use the following steps:
2) Pick an example from the Laws Worksheet we looked at on Tuesday February 2, and prove it by induction (Be sure you don't choose one discussed in the notes on induction). If it requires a helper lemma, prove the helper lemma as well.
3) Using the same example from the Laws Worksheet construct a program that uses QuickCheck to randomly test that law.
4) Go back to Homework 3.
5) Put all this in one file that is an executable Haskell program, This means the proofs will have to be in comments.
Back to the Daily Record.
Back to the class web-page.