ML mit Typklassen
Autor: Gerhard Schneider
Herausgeber:
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.
|