Functions that Operate on Sized Lists

• Write the zip function in Concoqtion for sized lists
• Write the map function in Concoqtion for sized lists
• Time the zip function with sized lists and compare this to the zip function with unsized lists
• Write a size_it function that takes an unsized list and returns a sized list. The function size_it should have type 'a list->there_exists n.'a n slist.
• Write an at_size function that takes an unsized list and returns a sized list that only contains n elements. Be careful, n may be greater than the size of the unsized list. Because of this, the return type should be an option that either contains None or Some (see the notes for more details.)

-- JosephYoung - 01 Feb 2007