Seminar: Typen höherer Ordnung

• Welchen Typ hat die Funktion mit der Definition

  twice :: ...
  twice f x = f (f x)
  

  Berechnen Sie für

  twice twice succ 0
  

  die Typen aller Teilausdrücke und den Wert.

  Notation: das ist eigentlich so geklammert:

  (((twice twice) succ) 0
  

  dabei ist succ :: Integer -> Integer die Nachfolgerfunktion

• Definieren Sie eine Funktion mit diesem Typ:

  f :: (a -> b) -> (c -> a) -> c -> b
  f x y z = ...