Summary: Fortgeschrittenenpraktikum
Implementierung eines Type Checkers f˜ ur das
System F #
Jan Peter Gutzmann
19.12.03

Inhaltsverzeichnis
1 Einleitung 3
1.1 Der Lambda­Kalk˜ ul . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Der Ungetypte Lambda­Kalk˜ ul . . . . . . . . . . . . . . . 4
1.1.2 De Bruijn­Repr˜ asentation . . . . . . . . . . . . . . . . . . 5
1.1.3 Der Getypte Lambda­Kalk˜ ul . . . . . . . . . . . . . . . . 5
1.2 Ziele des Fortgeschrittenenpraktikums . . . . . . . . . . . . . . . 6
2 Das System F# 7
2.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Typ­Abstraktion und Typ­Applikation . . . . . . . . . . . . . . . 7
2.3 Funktionen auf Typ­Ebene . . . . . . . . . . . . . . . . . . . . . 8
2.4 Kinds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.5 System F# . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3 Details der Implementierung 10

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

Collections: Computer Technologies and Information Sciences