Simon Thompson

Week 12 summary
Week 12 summary
Finite, infinite and partial lists
Finite, infinite and partial lists
Two exercises
Two exercises
Map and ++ proof
Map and ++ proof
Proving properties of rotate
Proving properties of rotate
Map and function composition proof
Map and function composition proof
Proof by induction
Proof by induction
Week 11 summary
Week 11 summary
Foldable
Foldable
Monads
Monads
Applicative
Applicative
Functor
Functor
Abstraction
Abstraction
Lazy evaluation and efficiency.
Lazy evaluation and efficiency.
Lazy evaluation
Lazy evaluation
Week 10 summary
Week 10 summary
Lazy evaluation and efficiency.
Lazy evaluation and efficiency.
Solving a maze
Solving a maze
Streams
Streams
Infinite lists
Infinite lists
Permutations
Permutations
Lazy evaluation
Lazy evaluation
Type checking and type classes
Type checking and type classes
Three type checking examples
Three type checking examples
Unification
Unification
Polymorphic type checking
Polymorphic type checking
Type class tour I
Type class tour I
Week 9 summary
Week 9 summary
Type checking and type classes
Type checking and type classes
Unification
Unification