ML mit Typklassen

Author: Gerhard Schneider

Editor:

Diese Arbeit beschreibt Design und Implementierung von TML. TML vereinigt das Typklassenkonzept von Haskell mit Standard ML. Haskell und Standard ML sind statisch getypte funktionale Programmiersprachen. Im Gegensatz zu Haskell verf\"ugt ML \"uber ein expressives, parametrisches Modulsystem, das die Entwicklung gro\"ser Softwaresysteme hervorragend unterst\"utzt. Andererseits verf\"ugt Haskell mit dem Typklassenkonzept \"uber einen expressiven parametrischen Polymorphismus, der ML fehlt. Bei TML handelt es sich um eine Erweiterung von SML um Typklassen, die mit dem Modulsystem von ML vertr\"aglich ist. Durch die Integration ins Modulsystem bieten sich interessante Programmiertechniken, die so weder in Haskell, noch in SML m\"oglich sind.