Answer
(a) Definiere zun ¨ achst die parametrisierte Signatur (incomplete-list-of t) der unvollst ¨ andigen Listen mit Elementen der Signatur t durch ((list-of t) -> (list-of t)). (b) Definiere nun eine Funktion h ¨ oherer Ordnung list->incomplete mit der Signatur (: list - > in com ple te (( list - of %a) -> ( inc omplete - list - of %a) )) die eine gegebene regul ¨ are Liste xs in eine unvollst ¨ andige Liste l umwandelt. Das Ergebnis von list->incomplete ist eine Funktion l, die als Argument eine weitere Liste ys erwartet und diese am Ende der Liste xs anh ¨ angt, um diese zu vervollst ¨ andigen. (c) Definiere eine Funktion h ¨ oherer Ordnung (: incomplete - ap p e n d (( incomplet e - list - of % a) ( incomplete - list - of %a) -> ( incomplete -list -of % a)) )