
19 May
2010
19 May
'10
12:35 a.m.
This looks suspiciously like homework...
2010/5/19 R J
What are some simple functions that would naturally have the following type signatures: f :: (Integer -> Integer) -> Integer
I can only think of one solution to this but it doesn't guarantee that it returns a value...
g :: (Integer -> Integer) -> (Integer -> Integer)
Infinite possible functions. Don't forget, this is equivalent to: g :: (Integer -> Integer) -> Integer -> Integer -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com