Artikel-Archiv iX 7/2011, Seite 110

  • Thumbnail, iX 7/2011, Seite 110

    Starke Typen

    Eine Embedded-DSL in Haskell

    Ein programmierbares Typsystem, wie es die funktionale Sprache Haskell bietet, erleichtert den Nachweis komplexer Programmeigenschaften. Die Überprüfung erledigt in diesem Fall der Compiler.

    Umfang: ca. 5 redaktionelle Seiten
    BibTeX anzeigen

    Erwerben Sie das Heft
    iX 7/2011,
    um Zugriff auf diesen Artikel zu erhalten.