Homework 11 - Types

DUE: Dec 13 2PM (email or in class)

This homework is weighted less than others.

Problem 1

8.22 (2nd ed: 6.22)

Problem 2

Apply the Hindley-Milner algorithm to infer the signature of the Haskellish function foo where

foo a b c d e =

  if (d==5) then

    c:(a b)

  else

    ((head (bar c (tail b))),"ab"):(map e b)

You may assume that arithmetic operators are defined only for ints and that strings are lists of characters.

Make sure that you show each step of your inferencing.

Hints / Clarifications / Corrections

None!