CS52 - Fall 2015 - Class 4

Example code in this lecture

   infiltrate.sml

Lecture notes

  • admin
       - assignment 1 due Friday at 5pm
          - Work through the recursion by hand and/or small problems by hand (e.g. for comb1 and combList)
       - SML requires thinking NOT hacking
       - BYTE (CS mentoring), deadline is September 19th (not May 19th)
       - assignment 2 out tomorrow
          - you can start already!   
       - academic honesty
          - be mindful!
       - class participation

  • What does the following function do?
       fun mystery [] = false
        | mystery [x] = true
        | mystery (x::y::xs) = mystery xs;

       - What is the type signature of this function?
          val mystery = fn: 'a list -> bool

       - What are the three patterns matching?
          - []: empty list
          - (x::y::xs): a list with at least two elements in it
             - x gets the first element
             - y get the second element
          - [x]: a list with one element

       - What does it do?
          - returns true if the list has an odd length, false if it has an even length

  • match nonexhaustive
       - What if we'd mistakenly typed:
       fun mystery [] = false
        | mystery (x::y::xs) = mystery xs;

       i.e. left off the second pattern?

       - It will compile, but SML will issue a warning!
          mystery2.sml:1.6-2.36 Warning: match nonexhaustive
        nil => ...
        x :: y :: xs => ...

           val mystery = fn : 'a list -> bool

       - What's the issue?
          - We cannot call mystery with every type of list
          - In particular, if we were to call it with an odd length list, we'd get to a point where there wasn't a pattern to match!


  • warnings in SML
       - In general, most warnings you CANNOT ignore
          - Almost all of them point at a problem with your code

       - there are two exceptions, i.e. warnings you *can* ignore:
          > [] = [];
          stdIn:13.4 Warning: calling polyEqual
          val it = true : bool

          > [] @ [];
          stdIn:11.1-11.8 Warning: type vars not generalized because of
           value restriction are instantiated to dummy types (X1,X2,...)
          val it = [] : ?.X1 list

  • write a function appendAll that takes a list of lists as a parameter and appends them all into a single list
       - type signature?
          - val appendAll = fn: 'a list list -> 'a list

       - look at appendAll function in perm-examples.sml
       
       - why @ and not ::?
          - x is a list that we want to add to, not treat x as an individual element

  • infiltrate
       - Let's write a function called infiltrate:
          - it takes two parameters, a number and a list and inserts that number into all possible positions in the list, e.g.
          > infiltrate 0 [1, 2, 3];
          val it = [[0,1,2,3],[1,0,2,3],[1,2,0,3],[1,2,3,0]] : int list list
          > infiltrate "a" ["b", "c", "d"];
          val it = [["a","b","c","d"],["b","a","c","d"],["b","c","a","d"],["b","c","d","a"]] : string list list


       - Walk through the four recursion steps:

       1. function header/type signature
          val infiltrate = fn: 'a -> 'a list -> 'a list list

       2. recursive case
          - infiltrate x (y::ys) => ?

          - What would we get if we called (infiltrate x ys)?
             - A list of lists with x inserted into all possible positions of ys
             - e.g. infiltrate 0 [2, 3]
                - [[0, 2, 3], [2, 0, 3], [2, 3, 0]]

          - Given this answer, how could we get our answer to the bigger problem (e.g. infiltrate 0 [1, 2, 3])?
             - We're missing the 1 from all of the examples:
                [[0, 2, 3], [2, 0, 3], [2, 3, 0]] =>
                [[1, 0, 2, 3], [1, 2, 0, 3], [1, 2, 3, 0]]

             - are we done?
                - missing [0, 1, 2, 3]

          - How can we do this?
             (x::y::ys) :: (consAllk y (infiltrate x ys))

       3. base case
          - how is the problem getting smaller?
             - the list is getting smaller
             

          - when this is the case, often base case of []

          - What should infiltrate x nil give us?
             - [[x]]
             - why not [x]?
                - we're supposed to be returning a list of lists

       4. put it all together!
          - look at the infiltrate function in infiltrate.sml code


  • map
       - SML has a built-in function called map, here is the type signature:
          fn : ('a -> 'b) -> 'a list -> 'b list
       - curried or uncurried? How many parameters?
          - curried
          - two parameters
       - What are the parameters?
          - ('a -> 'b)
             - some function!
          - 'a list
             - a list of things
       - Any guesses to what map does?
          - map applies the function to each of the elements in the list
       - For example:
          > fun negate x = ~x;
          val negate = fn : int -> int
          > negate 7;
          val it = ~7 : int
          > map negate [1, 2, 3, 4];
          val it = [~1,,~2,~3,~4] : int list

  • Another map example
       - I want to write a function called calc_areas that takes a list of (base, height) tuples representing the sides of rectangles and then calculates the area of these rectangles
          - What will be the type signature?

          val calc_areas = fn: (int * int) list -> int list

       - Let's do this *using map*?
       - First, let's write a function that just calculates the area given a tuple, calculate the area:
          fun area (w, h) = w*h;
       - Now, Let's put it together using map
          > fun calc_areas lst = map area lst;
          val calc_areas = fn : (int * int) list -> int list

          > calc_areas [(1, 2), (4, 5), (6, 2)];
          val it = [2,20,12] : int list

  • One last example:
       - What does the mystery function do (and what is its type signature)?
          fun add a b = a + b;
          fun mystery lst = map (add 47) lst;

       - First, what does (add 47) give us?
          - it gives us a function that takes a single argument (and int) and add 47 to it
          - for example,
             > val add47 = add 47;
             val add47 = fn: int -> int
       - We could have also written this:
          > val mystery = map (add 47);
          val mystery = fn: int list -> int list

          - Why?
             - map is a curried function
             - we've supplied the first argument therefore we're left with a function requiring a second argument, a list
             - how does SML know it's an int list?
                - (add 47) is a function int -> int

  • Our own map
       - What does this function do:

          fun mystery f [] = []
           | mystery f (x::xs) = (f x) :: (mystery f xs);

       - It's the map function!

       - Notice a few things:
          - even though map is very powerful, it's very easy to write in SML
          - functions are first order values so we can make them parameters (f above) and use them

  • anonymous functions
       - sometimes we only need a function for one simple use case, e.g. when we were trying to add 47 to all the elements in a list
       - we could write the function as:
          fun add47 x = x+47;

       - and then use it in map like we did
       - we can also just create a function on the fly, what is called an anonymous function (because it doesn't have a name!)
       - the syntax is:
          fn <parameters> => <body>
       - for example, we could write the add47 function as:

          fn x => x+47;

       - We can embed this in a statement, for example:
          fun add47TOAll lst = map (fn x => x+47) lst
       
       - or even more interesting
          fun addToAll k lst = map (fn x => x+k) lst

       - or if you want to get fancy
          val addToAll k = map (fn x => x+k)