[Club2] Mi: 15:00 Uhr im ZUSE

[Norbert Schirmer]

Hallo,

Diesen Mittwoch, 15:00 Uhr im Zuse (Zimmer 01.11.018):

Florian Haftmann:

Erklärung von Dictionary-Konstruktion in System F
-------------------------------------------------

Diszipliniertes Overloading wird in Haskell und vergleichbaren Sprachen
durch sog. Dictionaries realisiert; dabei wird Typinformation benutzt,
um überladene Operationen durch Projektionen aus Dictionary-Expressions
(Records) zu ersetzen.

Diese Vorgehensweise ist lange etabliert und implementiert. Das Konzept
ist "an almost trivial thing": eine Implementierung gelingt gewöhnlich
im vierten bis sechsten Anlauf. Anschließend wird die Konstruktion per
se nicht mehr in Frage gestellt, da es sich um eine "einfache
syntakische Umschreibung" handelt.

Ich werde eine Beschreibungsweise der Dictionary-Konstruktion
vorstellen, die die Problemstellung in order-sorted System F (System F
mit Typklassen) einbettet. Der eigentliche Transformationschritt besteht
dann i. W. darin, Typabstraktionen durch Termabstraktionen und
entsprechend Typapplikation durch Termapplikationen nach einem
bestimmten Schema zu ersetzen. Da die konzeptionellen Schritte
weitgehend innerhalb von order-sorted System F erklärt werden, gewinnt
die stillschweigende Annahme von "einfacher syntakischer Umschreibung"
eine größere Glaubwürdigkeit als konventionelle, kochrezeptartige
Transformationsverfahren.


   Norbert