[Haskell-cafe] Intuitive function given type signature

Ivan Miljenovic ivan.miljenovic at gmail.com
Wed May 19 00:44:18 EDT 2010


2010/5/19 Miguel Mitrofanov <miguelimo38 at yandex.ru>:
>
> On 19 May 2010, at 08:35, Ivan Miljenovic wrote:
>>
>> 2010/5/19 R J <rj248842 at hotmail.com>:
>>>
>>> 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...
>
> I can think of infinitely many solutions.

Dammit, you're right; I was trying to be too clever :s



-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
IvanMiljenovic.wordpress.com


More information about the Haskell-Cafe mailing list