Emgm Haskell-bibliotheek die exploiteert op uitbreidbare en modulaire generiek voor de massa
Download nu

Emgm Rangschikking & Samenvatting

Emgm Tags

ontwikkeling ontwikkelen bibliotheek app-ontwikkeling klasse type programmering functie ontwikkelen

Emgm Beschrijving

Haskell-bibliotheek die extribiliteit en modulaire generiek implementeert voor de massa's EMGM is een gratis en open source Algemeen-Purpose Haskell-bibliotheek voor generieke programmering met typeklassen. Het ontwerp is gebaseerd op het idee van het modelleren van algebraïsche datatypes als sum-of-productstructuren. Veel datatypes kunnen op deze manier worden gemodelleerd, en omdat ze allemaal een gemeenschappelijke structuur delen, kunnen we generieke functies schrijven die aan deze structuur werken. De bibliotheek biedt drie hoofdcomponenten: · Gemeenschappelijk - een gemeenschappelijke basis voor het bouwen van generieke functies en het toevoegen van ondersteuning voor datatypes . Dit omvat de verzameling van datatypes (bijvoorbeeld som, product, eenheid) en typeklassen (bijvoorbeeld generieke, vertegenwoordiger), die in de hele bibliotheek worden gebruikt. Dit is wat u nodig hebt om uw eigen generieke functies te definiëren, om generieke ondersteuning voor uw datatype toe te voegen of om ad-hoc-gevallen te definiëren. · Gegevens - Ondersteuning voor het genereren van standaardgegevens. Typen zoals , tuples en misschien zijn in Haskell gebouwd of komen opgenomen in de standaardbibliotheken. EMGM biedt volledige ondersteuning voor generieke functies op deze datatypes. De modules in deze component zijn ook nuttig als gidsen bij het toevoegen van generieke ondersteuning voor uw eigen datatypes. · Functies - een verzameling nuttige generieke functies. Deze werkzaamheden met een verscheidenheid aan datatypes en bieden een breed scala aan operaties. Er is bijvoorbeeld verpletterend, een generalisatie van de vouwfuncties. Het is een van de meest bruikbare functies, omdat het u in staat stelt om de elementen van een polymorfe container flexibel te extraheren. Hier zijn enkele belangrijke kenmerken van "EMGM": · DATATYPE-Generic-programmering met behulp van views sum-of-product · Grote verzameling van kant-en-klare generieke functies · Inclusief ondersteuning voor standaardgegevens: lijsten, misschien, tuples · Eenvoudig om ondersteuning voor nieuwe datatypes toe te voegen · Type klassen maken het schrijven van nieuwe functies rechtlijnig in een structureel inductieve stijl · Generieke functies zijn uitgebreid met ad-hoc-gevallen voor willekeurige datatypes · Goede prestaties van generieke functies Vereisten: · GHC

Emgm Gerelateerde software