why no function types?

Antoras mail at antoras.de
Wed Mar 7 13:48:29 PST 2012

In the archive of the mailing list I found a topic which answers why 
there are no function types [1].

But I don't really understand the reason mentioned there (something 
about erased function types after type erasure). Therefore I have to ask 
again. Can someone explain me what happens when we write something like

return_value map((A -> B) f);

instead of

return_value map(Mapper<A, B> f);

I thought the first one could easily translated to the second one.

Thanks in advance


More information about the lambda-dev mailing list