Quiz18

JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.

Quiz18

This quiz is due Wednesday, November 7, 2012 at 10:00AM EST.

Enter your course PIN: *

Q1: Which are valid types to infer for mapper if it returned l instead of empty in the empty? case? (Choose ALL that apply) *

('b -> 'b) (listof 'b) -> (listof 'b)

('a -> 'b) (listof 'a) -> (listof 'a)

('a -> 'b) (listof 'b) -> (listof 'b)

('a -> 'a) (listof 'a) -> (listof 'a)

Required

Q2: How many different constraints are generated by cg for the expression (lamC 'x (plusC (idC 'x) (numC 1)))? *

Q3: In each of the constraints, does the order of the left and the right pieces have meaning? *

Yes, and I know why

Yes, and I don't know why, but the code must have that order for a reason

No, because equality is symmetric

Submit

Clear form

Never submit passwords through Google Forms.

This content is neither created nor endorsed by Google. - Terms of Service - Privacy Policy

Does this form look suspicious? Report