• Keine Ergebnisse gefunden

Funktionales Programmieren Sommersemester 2020 Leitfaden zur Pr¨ufungsvorbereitung

N/A
N/A
Protected

Academic year: 2021

Aktie "Funktionales Programmieren Sommersemester 2020 Leitfaden zur Pr¨ufungsvorbereitung"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Funktionales Programmieren

Sommersemester 2020

Leitfaden zur Pr¨ ufungsvorbereitung

Die folgenden Fragen sollte man sich selbst beim Lernen stellen und darauf achten, dass man diese auch formal beantworten kann. Die Liste hat keinen An- spruch auf Vollst¨andigkeit. Es k¨onnen also auch andere Fragen gestellt werden.

• Wie sehen Data-Deklarationen aus? Beispiele?

• Was sind Typklassen? Beispiele f¨ur Typklassen und Beispiele f¨ur ihre Im- plementierung. Man sollte in jedem Fall Functor, Applicative und Monad kennen.

• Welches Auswertungsschema wird in Haskell verwendet?

• Begriffe der Semantik: CPO, Kette, monotone und stetige Funktionen, Fixpunkte. Beispiele?

• Fixpunktsatz.

• Domains von Data-Deklarationen, mit und ohne Rekursion. Beispiele?

• Semantik von der vereinfachten Sprache. Man sollte hier die F¨alle im De- tail kennen.

• Begriffe von Typen: Typumgebung, Typurteile, Typvariablen.

• Die Typregeln des nicht polymorphen Typsystems sollte man im Detail kennen.

• Begriffe von Unifikation: Substitution, allgemeinster Typ, allgemeinste L¨osung.

• Die Regeln der Typinferenz sollte man im Detail kennen.

• Unifikationsalgorithmus. Auch hier sollte man die F¨alle im Detail kennen.

Referenzen

ÄHNLICHE DOKUMENTE

Eine Funktionsdeklaration heißt rekursiv, wenn sie direkt rekursiv ist oder Element einer Menge verschränkt rekursiver Funktionsdeklarationen ist.. Begriffsklärung:

Eine Funktion heißt rekursiv, wenn es rekursive Funktionsdeklarationen gibt, mit denen sie definiert werden

Eine Funktionsdeklaration heißt rekursiv, wenn sie direkt rekursiv ist oder Element einer Menge verschränkt rekursiver Funktionsdeklarationen ist. Begriffsklärung:

Insbesondere ist darauf zu achten, dass eine Mutter, die ihr Kind zur Adoption freigibt, nicht stigmatisiert

Eine nachträgliche Analyse mit entsprechender Berichterstattung der ersten Sanierungspakete der Neunzigerjahre – also derjenigen vor HS’99, LSP und NMH –

Was für direkte Kosten sind dem Kanton Bern bis heute anlässlich des Hochwassers 1999 erwachsen und wie beziffert der Regierungsrat im Detail (z.B. Bund, Kanton, Gemeinden,

März 2007 zwar auf eine Beschwerde der Nachbarsgemeinde eingetreten ist, diese aber mit der Begründung abgewiesen hat, dass es zulässig sei, Bauvorhaben in Zonen zu bewilligen,

Er ist im Gegenteil der Meinung, dass die öffentliche Ausschreibung einen wertvollen Beitrag für einen fairen Wettbewerb in der Hilfsmittelbranche leisten kann