Typprüfung/Inferenz (Beispiel)

next :: Integer -> Integer
next x = x + 1

twice :: (a -> a) -> (a -> a)
twice f x = f (f x)

main = print $ twice twice twice twice next 0

Fragen:

• Welcher Wert wird ausgegeben?
• Welchen Typ hat das linke twice?
• Wie sieht entsprechendes Programm in Java aus? (Hinweis: verwende Funktionsobjekte)

  interface F<A,B> { B apply(A x); }
  

• Wie in C#?
• Welche für Java 7 angekündigten Neuerungen könnten helfen?