Question: 2. (6 points) Given the following programs do they type and what is their most general type? (a) Given that my foldr::b-> (a->b->b)-> [a]-> b

 2. (6 points) Given the following programs do they type and

what is their most general type? (a) Given that my foldr::b-> (a->b->b)->

[a]-> b give the type of fin: f = myfoldr id g

where g a h x = h (a:x) (b) Given that my

2. (6 points) Given the following programs do they type and what is their most general type? (a) Given that my foldr::b-> (a->b->b)-> [a]-> b give the type of fin: f = myfoldr id g where g a h x = h (a:x) (b) Given that my map:: (a->b) ->[a] -> [b] give the type of f in: f mymap (mymap (mymap h)) (C) Given mymap as above what is the type of f in f = mymap mymap

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!